MATSUMOTO Ryosuke

Just for Fun.

My words:

HTTP，Apache，nginx，node.js，C10k，I/O，mruby，mod_mruby，ngx_mruby，Kernel，cgroup，Capability，DevOps，irc.media，kyoto-u，Ph.D. student，Engineer, Register Underflow admin

Develop:
Apache HTTP Server, Apache module, APR, Hadoop, Linux Kernel, LFS, DRBD, Heart Beat, Alfresco, Zabbix, Eucalyptus, OpenStack, CloudStack.

Research:
IEICE, Network Security, IDS, IPS, Open Flow, sFlow, Packet analysis, Data Mining, Statistics, Outlier Detection, Change Detection, SDAR Algorithme, ChangeFinder.

If such a system is also capable of proving certain basic facts about the natural numbers, then one particular arithmetic truth the system cannot prove is the consistency of the system itself.