「計算科学/ソフトウェア工学」 インデックス
檜山正幸 (HIYAMA Masayuki)
Since: Wed Dec 29 2004
更新状況などは、こちら
(Hatena::Diary 「檜山正幸のキマイラ飼育記」)でご確認ください。
「キマイラ飼育記」のRSSは http://d.hatena.ne.jp/m-hiyama/rss から取得
できます。
このインデックスの並び順は、アップロードされた時間の順です。新しい記
事は最後に追加されます。
-
ソフトウェア工学について思うこと (他サイト)
- ETBダイアグラム
- Janus(ヤヌス)の紹介 -- stdin/stdoutからの入門
- 双面神Janus
- 高次元のパイピング
- パイプ&フィルターの思い出
- メソッド呼び出し一元論
- Janus(ヤヌス)の紹介 2 -- フィルターからコンポネントへ
- Janusについて雑多なこと
- Janusのなかの計算系
- 動的発展
- Janusパイプラインの例
- 刺激反応系
- 遷移系と遷移翻訳系
- アクセッサについて その2 (他サイト)
- 「形式的」とは何だろう
- XMLフレンドリーな型システム -- 「折れ線の例」から導かれること --
- 型システムの相剋と棲み分け
- JavaCCによる構文記述
- 代数と余代数 最初の一歩
- セオリーの圏
- JavaとJML