Jump to main content

yr 〜
yr

Search results 78

Geometric Algebraを核とする折紙計算論の展開

Geometric Algebraを核とする折紙計算論の展開
Digital文書・図像類
井田, 哲雄2023
Available onlineOther Libraries in Japan

An introduction to computational origami (Texts and monographs in symbolic computation)

An introduction to computational origami (Texts and monographs in symbolic computation)
Paper図書
Tetsuo Ida.Springer[2020]<MA91-D1>
National Diet Library

Formalization of geometric algebra with application to computational origami

Formalization of geometric algebra with application to computational origami
Digital文書・図像類
井田, 哲雄九州大学マス・フォア・インダストリ研究所2015-03-06MI lecture note series61p.119-126
Available onlineOther Libraries in Japan

記号計算の理論を駆使したウェブソフトウェアのモデル化と検証

記号計算の理論を駆使したウェブソフトウェアのモデル化と検証
Digital文書・図像類
井田, 哲雄2012
Available onlineOther Libraries in Japan

チューリングを読む : コンピュータサイエンスの金字塔を楽しもう

チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
Paper図書
チャールズ・ペゾルド 著, 井田哲雄, 鈴木大郎, 奥居哲, 浜名誠, 山田俊行 訳日経BP社2012.6<M121-J235>
National Diet LibraryOther Libraries in Japan

求解,証明,書換のインタラクションによる記号計算と記号計算グリッドの構築

求解,証明,書換のインタラクションによる記号計算と記号計算グリッドの構築
Paper図書
井田哲雄, 筑波大学 [著][井田哲雄]2005-2007<Y151-H17300004>
National Diet Library

計算モデル論入門 : チューリング機械からラムダ計算へ (Information science & engineering ; F5)

計算モデル論入門 : チューリング機械からラムダ計算へ (Information science & engineering ; F5)
Paper図書
井田哲雄, 浜名誠 共著サイエンス社2006.8<M121-H218>
National Diet LibraryOther Libraries in Japan

求解、証明、書換のインタラクションによる記号計算と記号計算グリットの構築

求解、証明、書換のインタラクションによる記号計算と記号計算グリットの構築
Paper図書
井田哲雄研究代表[井田哲雄]2008.5
Other Libraries in Japan

等式制約解消系のネツトワ-クによるグロ-バルコンピユ-テイング

等式制約解消系のネツトワ-クによるグロ-バルコンピユ-テイング
Paper図書
井田, 哲雄, 筑波大学2000-2002<Y151-H12480066>
National Diet Library

Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006, proceedings

Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006, proceedings
Paper図書
Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)Springerc2006
Other Libraries in Japan

等式制約解消系のネットワークによるグローバルコンピューティング

等式制約解消系のネットワークによるグローバルコンピューティング
Paper図書
井田哲雄研究代表者[井田哲雄]2003.3
Other Libraries in Japan

等式制約解消系のネットワークによるグローバルコンピューティング

等式制約解消系のネットワークによるグローバルコンピューティング
Digital文書・図像類
井田, 哲雄2003
Other Libraries in Japan

分散制約解消系を融合する関数論理型プログラミング

分散制約解消系を融合する関数論理型プログラミング
Paper図書
井田, 哲雄, 筑波大学1998-1998<Y151-H10480053>
National Diet Library

関数論理融合型言語のマルチメデイアプログラミング環境の構築

関数論理融合型言語のマルチメデイアプログラミング環境の構築
Paper図書
井田, 哲雄, 筑波大学1995-1997<Y151-H07558152>
National Diet Library

高階関数・論理的プログラムの計算モデル

高階関数・論理的プログラムの計算モデル
Paper図書
井田, 哲雄, 筑波大学1996-1997<Y151-H08458059>
National Diet Library

関数的プログラミングとリダクションマシンに関する研究

関数的プログラミングとリダクションマシンに関する研究
Paper図書
井田哲雄, 理化学研究所1984-1985<Y151-S59580027>
National Diet Library

分散制約解消系を融合する関数論理型プログラミング

分散制約解消系を融合する関数論理型プログラミング
Paper図書
[井田哲雄]2000.3
Other Libraries in Japan

分散制約解消系を融合する関数論理型プログラミング

分散制約解消系を融合する関数論理型プログラミング
Paper文書・図像類
井田, 哲雄2000
Other Libraries in Japan

条件付き書換え系の宣言型プログラミングへの応用

条件付き書換え系の宣言型プログラミングへの応用
Paper図書
井田, 哲雄, 筑波大学1994-1995<Y151-H06680300>
National Diet Library

岩波講座ソフトウェア科学 12

岩波講座ソフトウェア科学 12
PaperDigital図書
長尾真 [ほか]編岩波書店1991.3<M159-E227>
National Diet LibraryOther Libraries in Japan
  • Contents計算モデルの基礎理論 井田 哲雄/[著] 井田哲雄 〔著〕 井田哲雄 [著] 井田 哲雄 井田哲雄 著 井田 哲雄 [著] 井田哲雄∥[著] 井田　哲雄／［著］ 井田/哲雄∥[著] 参考書ｐ３７９〜３８１ 井田　哲雄　〔著〕 参考書：ｐ３７９～３８１ 井田哲雄 ［著］ 参考書...
RSS