利用者:ぼのたけ

自己紹介

ちょっと書きたくなって参加してみました。2004年8月が初参加です。 自分の専門分野は情報工学、特にソフトウェア工学とコンピュータ言語です。

最近疑問に思うこと：いつ「スタブ」を取り除いたらいいんですか？

主に貢献した/している記事

• ハードウェア記述言語
• 仕様記述言語
• ソフトウェア工学
• フラグメンテーション
• アントニー・ホーア
• 高階関数
• 圏論がらみ
  • 圏論
  • アブストラクト・ナンセンス
  • モルフィズム
  • 普遍性

現在書いている記事

• /作業中

これから書きたいと思っている記事

• VHDL、Verilog-HDL
• SystemC、SpecC言語
• コンピュータ言語学
• チューリング賞の各受賞者（有名どころ）
  • リチャード・ハミング
  • ロビン・ミルナー
• サブルーチン
• 圏論がらみ
  • 関手
  • 自然変換
  • 普遍性
  • 随伴関手
  • モナド (圏論)
  • 米田の補題
    • 参考：List of category theory topics
• モナド (プログラミング)

他、Wikipedia:執筆依頼で何か見かけたら