スポンサーリンク
日本ソフトウェア科学会 | 論文
- 教育・ソフトウェア・ネットワーク
- あみぐるみのための3次元モデリングと製作支援インタフェース(インタラクティブシステムとソフトウェア)
- 属性文法の系統的デバッグ法におけるバグ絞り込みの効率化(プログラミングおよびプログラミング言語)
- COINSコンパイラ・インフラストラクチャの開発(ソフトウェア論文,最新コンパイラ技術とCOINSによる実践)
- 文字列パターン照合アルゴリズム
- 部分評価と混合計算に関するワークショップに参加して
- 第5回ロジックプログラミング国際会議に出席して
- オブジェクト指向計算に関するワークショップ
- オブジェクト指向計算ワークショップの報告
- オブジェクト指向言語
- Universal Algebra for Computer Scientists, Wolfgang Wechler, Springer-Verlag, 1992
- E単一化子の完全集合を求める推論規則
- チュートリアル : オブジェクト指向分散オペレーティングシステム (分散オペレーティングシステム)
- 大規模分散システムにおけるオブジェクトの名前づけ
- 第4回オブジェクト指向自己反映計算とメタレベルアーキテクチャに関するOOPSLAワークショップ
- パターン認識とともに歩んだ半生
- 国際会議報告Financial Cryptography 2002
- 第13回ソフトウェア工学国際会議(ICSE'90)
- オペレーティングシステムによる不正アクセス防止技術
- 並行オブジェクト指向言語 : Concurrent Smalltalk