エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
自己紹介
自己紹介的なリソースがあると分かりやすいという事で書いてみる事にしました。 名前。坂口和彦。pi8027... 自己紹介的なリソースがあると分かりやすいという事で書いてみる事にしました。 名前。坂口和彦。pi8027 などと名乗っている時もあります。1992年生まれ。 普段は大体プログラムとか書いているようです。高2の夏のアルバイトで Haskell を教えられてからλ教徒に。 その前は C を良く書いていたようです。あとは Scheme も書いていましたが、一応使える程度であまり手に馴染まず。 Agda は厳密さも依存型の強力さもモジュールシステムもどれを取っても好きですが、強力過ぎるが故に何も書けないのが残念です。もっと書けるようになりたい。 OCaml は言語としても速度の面でもそれなりに良いのが好きです。モジュールシステムも分からないなりに素敵な感じがします。しかし書いてみるとライブラリへの不満が大きい。 PostScript は遊びとしては楽しめます。動的に命令列を生成できるのがとても良い
2011/07/10 リンク