プログラミングが好きです。難しいことを考えると頭から湯気が出てくるので、大規模とか高速処理とかはスゴいプログラマな皆さんに任せて、 オレはλな猫を抱えて自分が楽しいプログラミングをします。主にSmalltalk、ちょくちょくVDM-SL、たまにPython、Haskell、VDM、Z。あー、最近またMirandaもツb
Site/Bloghttp://tomostavern.blogspot.jp/
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followees
- Kenji Sakamoto@rc-saka
Love Smalltalk(Pharo/Squeak)
- kuritar@kuritar
Smalltalk
- @sumim
Smalltalkのファン。パーソナルコンピューティングの歴史や未来に興味を持つ。Smalltalkはアラン・ケイらが理想のPC向け暫定的OSとして70年代に試作し以降、GUIやIDE、OOPやデザパタ、開発手法等を創出、模倣されることで世に広めた。Smalltalkは、教養や古典である一方でアグレッシブな pharo.org などとしても今なお進化を続け、同時に他者へ影響を与え続けている。
- @fumieval
一般的なHaskeller
- @newapplesho
Smalltalker.
- Hideyuki Tanaka@tanakh
Haskellプログラマです。
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- Keigo Imai@keigoi
大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。
