Deprecatad @deprecatad
出自はnScript(nsciprterではない)。 主兵装はJava。 副兵装はC++からC#になりました。 でもC++とても好き。 Haskell及び圏論などの理論系に興味があります。 Vim使ってます。
-
円環の理におけるメタな時間軸と円環の理後の世界の時間軸の交わりについて考察
1796pv 4 1 -
本日のまとめ - SKIコンビネータはなぜチューリング完全なのか考察
3231pv 17 1 user -
構造的だね
944pv 8 1
-
配分と糖衣式(とういしき?)
782pv 3 -
まさかりの成る木
695pv 2 -
何かをつぶやいているあいや - 自己同一性 -
707pv 4