|
|
つくばリポジトリ (Tulips-R) >
Browsing by Author "井田, 哲雄"
Showing results 1 to 9 of 9
| Issue Date | Title | Author(s) | | May-2011 | Morley’s theorem revisited: Origami construction and automated proof | Ida, Tetsuo; Kasem, Asem; Ghourabi, Fadoua; Takahashi, Hidekazu; 井田, 哲雄 |
| Apr-2010 | Origami fold as algebraic graph rewriting | Ida, Tetsuo; Takahashi, Hidekazu; 井田, 哲雄 |
| 1998 | 関数論理融合型言語のマルチメディアプログラミング環境の構築 | 井田, 哲雄; Ida, Tetsuo; イダ, テツオ |
| 2012 | 記号計算の理論を駆使したウェブソフトウェアのモデル化と検証 | 井田, 哲雄; IDA, TETSUO; イダ, テツオ |
| 13-Dec-2000 | 教育の情報化と情報リテラシー | 井田, 哲雄; Ida, Tetsuo; イダ, テツオ; 筑波大学電子・情報工学系 |
| 1998 | 高階関数・論理型プログラムの計算モデル | 井田, 哲雄; Ida, Tetsuo; イダ, テツオ |
| 2003 | 等式制約解消系のネットワークによるグローバルコンピューティング | 井田, 哲雄; Ida, Tetsuo; イダ, テツオ |
| 2000 | 分散制約解消系を融合する関数論理型プログラミング | 井田, 哲雄; Ida, Tetsuo; イダ, テツオ |
| Mar-2006 | ＜漫筆漫歩＞学問の系譜 ： コンピュータ研究のパイオニア後藤英一先生をしのびながら考えたこと | 井田, 哲雄; イダ, テツオ; システム情報工学研究科教授 |
Showing results 1 to 9 of 9
|
