H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika
Research interests: Theoretical Computer Science, Category Theory, Mathematical Logic, Philosophy of Computation.
-
「唐揚げは揚げるだけでしょ」っていう人、工数ガン無視するから「プログラムなんてちょちょっと直すだけでしょ」と言いかね..
17045pv 73 6 users 161 -
型システム入門 プログラミング言語と型の理論 発売ニュースに沸き立つTL
6811pv 45 3 users 4 -
わかめのモナド浸し #わかめモナ化
5932pv 19 4 users 2
-
第一回関数型言語勉強会 大阪 まとめ #fpstudy
7505pv 30 5 users 3 -
末尾再帰最適化/末尾呼び出し最適化 on JVM
14787pv 60 21 users 4 -
GHCソースコードリーディング勉強会 第0回
2797pv 8 -
GHC 7.0.x―7.2.1 現在のスレッド実装について
5138pv 19 8 users 1 -
GHC 以外の処理系での IO 型/IO モナドの実装
5390pv 23 7 users 1 -
Haskell で可変長引数を扱う方法
10496pv 35 11 users 1 -
函数プログラミングの集い 2011 in Tokyo その3 fpm2011
5961pv 21 1 user -
函数プログラミングの集い 2011 in Tokyo その2 fpm2011
5343pv 14 2 users 1 -
函数プログラミングの集い 2011 in Tokyo #fpm2011
12413pv 32 4 users 3 -
Haskellのgeneric deriving
3201pv 6 1 user -
Advanced Tech Night でのScalaの発表に対する反応
3444pv 34 -
第0回 スタートHaskell まとめ#0-1
3045pv 4 2 users -
第0回 スタートHaskell まとめ#0
12387pv 39 16 users 1 -
リスト処理とか―Scala と C# と、時々、F#
5238pv 24 2 users -
型とクラスと集合と
4804pv 23 7 users