[ art / civ / cult / cyb / diy / drg / feels / layer / lit / λ / q / r / sci / sec / tech / w / zzz ] archive provided by lainchan.jp

lainchan archive - /sci/ - 698



File: 1484698943930.png (705.41 KB, 77x300, awwww-so-kawaii-granpa-p-anime-vividred-operation_o_2974121.jpg)

No.698

Why don't we have a thread where we share our own research? Published or not, doesn't matter.

Rule 1: If you want to publish it in the future, to prevent people plagiarizing from you, don't upload the whole paper, most importantly don't show your experiments, results and conclusion.

However it is OK to post the title and your general ideas. (Use my post(down below) as an example)

Rule 2: This is an anonymous imageboard, if you are going to upload the whole paper in pdf here, it is your responsibility to remove/not remove your name from it. Then again, if you manage to publish it in Eglish, it might be moot.(Hey, you should be proud on publishing a paper)

So here are the 3 papers I am researching ATM:

  No.699

1) Satellite internet:
This is a scientific article that talks about the issues with satellite internet and mostly how those issues can be remedied but not solved by using non-standard TCP implementations. It also talks about the improvements in sattellite internet in the last 15 years. It's actually just a scientific review.

Anyways, the paper is in English, I got the abstract accepted. And I am basically 95% done with it. The text body is done, I just need to format it into proper IEEE formatting.

2) IPFS-Implementation and applications:
This is a scientific paper that I am working on for the hot new protocol that wants to replace the aging http and bring us a new and permanent Web. The cool thing about it is that it hopefully will allow us to manipulate files on the web as if they were our local files, remove the need for having a server just for having a blog and prevent the digital dark age of 404 errors by implementing a git like version control and giving us a permanent web.

This one is not in English and I plan to publish it… It's 45% done. The text body is half finished, as I have just finished writing about the implementation. Now I have to do the experiment and write about some existing applications as well. The formatting, I have barely even begun formatting it into IEEE.

3) The influence of Japanese culture and anime culture on IT and Computer science:
Yeah this is from my only class from the humanities, the class is called 'Motivation and Teamwork'. And that class contains socilology as well. I will explore on how much Japanese culture has influenced IT and CS. I will also have a section about geek culture, but in geek culture I will mostly analyse scifi anime. Since this will be my first and maybe only ever paper in the humanities, I hope I won't fuarrrk anything up.

Anyways, this one also won't be in English. It will be a seminar paper and I won't publish it unless trough unofficial channels. I would say I am 10% done on it. The abstract is done and I started working on the introduction. I also finished the general concept of it. Formatting is on 0%.

  No.700

What do you think about my papers? Can you say anything about each of them?

Can you tell us about your own papers or current research?

Also if you can give me anime related science memes or reaction pics I would be grateful.

  No.701

File: 1484703991421.png (202.34 KB, 200x139, 1474750442732.jpg)

>>698

This is a really cool thread idea, OP!

I don't have any threads, and am sadly lacking in anime memes(I'll post what I find, though). However if you could go into more detail about how manipulating web files as if they were local files would hypothetically work, I'd be interested to hear it.

Another thing I'd be interested in is whether or not there's more IT/CS influence as a result of people in those fields typically being fans of Japanese culture, or if it's because of Japan's market presence in those fields - especially in the later 80's-90's when they were first being established.

  No.702

I'm supposed to be studying a programming language grammar in order to reduce its numer of productions, redundancies, and other kind of errors arising on parsing, then suggest improvements based on a mathematical analysis. I should be publish a paper on this, but currently I have nothing. There's no compiler for it, so I'd probably program one.

  No.703

>>701
Well first let me refer you to the creators of IPFS:
https://ipfs.io/#how
https://github.com/ipfs/papers/raw/master/ipfs-cap2pfs/ipfs-p2p-file-system.pdf

Basically since IPFS acts a lot like a p2p http, the users need their own local repository, for all the websites that they visit. All the files they download are automatically there. Whichever file you like, you can pin and it will stay in your repository. However any changes you do will automatically be online. Instead of there being the cloud and your local PC, your local PC and the cloud will merge into one.

I also asked the inventor of IPFS in their own IRC(#ipfs on freenode) whether or not IPFS is more 'Everything is a file.' than the current https, he said 'Yes. In IPFS everything is a hash chain.'.

  No.704

>>701
As for the cultural influence... I am not sure of which one there is more yet... but my research goal is to establish their presence, not quantity. Japan is the worlds 3rd economy, and their companies have surely influenced the world. However their task is not to spread culture, although it does happen as a symptom. Their influence however is closer to the industry rather than the science. Science however has oh so many times been influenced by scifi(star trek anyone?).

If I would have to put my finger on it(since I am far from done on the research on this subject) I would say that it is more about themarket presence.

Fun fact, some business practices like 'Kaizen business process reengineering' are coming from Japan to the rest of the world.

  No.706

This thread is to stay on topic as per the opening post.

Posting such imagery not very strictly related to science is appropriate on /cult/ and perhaps /r/, but not /sci/, as per the rules outlined in the board sticky.

  No.708

>>702
Noob question, but did you mean grammar=syntax?

  No.716

>>708
Yes... at least when speaking about programming laguages. In linguistics, grammar is concerned with the structure of words (morphology) and phrases and clauses (syntax).

  No.720

>>702
Sounds neat. I might be adding local type inference to a small macro-based language.

What do you mean "supposed to be"?

  No.726

I'm currently working on a tool to discover properties of concurrent Haskell functions using observational refinement. By providing different observations you can discover different properties. So far I have a representation of monadic Haskell expressions, and a way of generating and testing well-typed ones; but it currently comes up with loads of uninteresting properties as I'm not really doing much pruning of the search space.

For example, it might discover this:

readMVar v >> readMVar v        is equivalent to        readMVar v

...and then later it might discover these:

readMVar v >> readMVar v >> readMVar v        is equivalent to        readMVar v
readMVar v >> readMVar v >> readMVar v is equivalent to readMVar v >> readMVar v
readMVar v >> readMVar v >> readMVar v >> readMVar v is equivalent to readMVar v
readMVar v >> readMVar v >> readMVar v >> readMVar v is equivalent to readMVar v >> readMVar v
readMVar v >> readMVar v >> readMVar v >> readMVar v is equivalent to readMVar v >> readMVar v >> readMVar v

Those few can be inferred from the smaller one it first discovered.

>>699
>Satellite internet
>non-standard TCP
I was at a talk by Vint Cerf a few years back about the challenges of interplanetary Internet, and designing a network protocol that copes with 20-minute latencies and the movements of the planets. I have no idea how far that has progressed. Have you looked into that at all?

>The cool thing about it is that it hopefully will allow us to manipulate files on the web as if they were our local files, remove the need for having a server just for having a blog and prevent the digital dark age of 404 errors by implementing a git like version control and giving us a permanent web.

My issue with all these HTTP-alternatives that basically provide a DHT of files is that most websites aren't just collections of static files. You couldn't even replicate lainchan on such a system. How applicable is it really?

  No.727

>>726
>Have you looked into that at all?
What I looked into was the physical travelling of handshakes back and forth with various TCP implementations.

>How applicable is it really?

Dynamic website support is on its way. TL;DR While IPNS is already capable of some limited dynamic content support, they will build a signalling service on top of IPNS. IPFS is not just one monolithic protocol. And it's still in alpha.
You can read more on the issue here:
https://github.com/ipfs/faq/issues/28

  No.728

>>726
Basically I did not look at anything about IP to Mars. My research about satellite internet and IPFS is completely separate. Although it would be interesting in the future to see how IPFS relates to satellite internet.

There's an anecdote that one of the IPFS developers said:
Say that we colonise Mars one day. You live on Mars with a friend. Your friend has downloaded a cat pic from a server on Earth, and you want to download it too. Why should you download the cat pic from a server on Earth, where speed of light limits your latency, if you can instead just download it from your friends laptop?

  No.729

>>728
What I am saying is that, if science continues to develop, we are eventually gonna have to solve those issues. Sooner or later.

  No.773

I am making a poll. If you are a weeb and in CS/IT, please take my poll:
https://docs.google.com/forms/d/1_VPOmjCNtnGrkazS2cZnRGyOgr0u6YKPMDEsFN7kCTw/edit#responses