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