- xhl_kogitsune
- 13159
- 2
- 10
- 0
とりあえずイカ娘をCS専攻に放り込もう! #functional_ikamusume #mathematical_ikamusume
2010-11-09 02:20:13関数型イカ娘大勝利! #functional_ikamusume #mathematical_ikamusume
2010-11-09 02:20:45ほら! 次回はイカ娘が東大に入ってLISPの研究をする回でゲソ!!! #functional_ikamusume
2010-11-09 02:28:38【予告】26:00からTV Tokyoで関数型イカ娘! 前回までのあらすじ: 数学とλ計算に突出した才能を示したイカ娘。しかし、海の家れもんの住人たちには相手にされず、イカ娘本人もまだ自分の真の力を理解していなかった.. #functional_ikamusume
2010-11-15 22:18:07今日関数型イカ娘の日だったか RT @xhl: 【予告】26:00からTV Tokyoで関数型イカ娘! 前回までのあらすじ: 数学とλ計算に突出した才能を示したイカ娘。しかし、海の家れもんの住人たちには相手にされず、イカ娘本人もまだ自分の真の力を理解していなかった.....
2010-11-15 22:19:54【予告】 今週のイカ娘ではイカ娘が数学科とか情報科学科を侵略して研究活動をします! 地下端末室でλプロセッサの設計について語るイカ娘とか胸熱... #functional_ikamusume
2010-11-15 22:22:49関 数 型 大 勝 利 ! #functional_ikamusume
2010-11-15 22:23:32. @tanakhさんがしきりに手続き型イカ娘について気にしていらっしゃる件 #functional_ikamusume #imperative_ikamusume
2010-11-15 23:06:37どうして狐愛好家であらせられる@xhlさんが、耳もしっぽなくもふもふでもないイカ娘をかくも深く愛するようになったのだろうか
2010-11-16 00:38:48@tanakh 「イカ娘ちゃんが関数型に染まってしまった」というよりかは、むしろ「@xhlが関数型イカ娘ちゃんに染まってしまった」の方が正しいのかもしれない(ぉ
2010-11-16 00:48:58「Scheme実装のコンパイラでOCamlをSchemeにコンパイルしてλ計算をネイティブに行うプロセッサ上で実行するでゲソ! λ計算プロセッサとかかわいいじゃないか! うーん、これで人類侵略にまた一歩近づいたでゲソ!」 #functional_ikamusume
2010-11-16 01:56:38