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