国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(2)
1990年代
(7)
2000年代
(3)
2010年代
(1)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(14)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(1)
紙
(14)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 14 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
An introduction to computational origami (Texts and monographs in symbolic computation)
An introduction to computational origami (Texts and monographs in symbolic computation)
紙
図書
Tetsuo Ida.
Springer
[2020]
<MA91-D1>
国立国会図書館
著者標目(識別子)
00190628
チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
紙
図書
チャールズ・ペゾルド 著, 井田哲雄, 鈴木大郎, 奥居哲, 浜名誠, 山田俊行 訳
日経BP社
2012.6
<M121-J235>
国立国会図書館
全国の図書館
著者標目(識別子)
00473005
00190628
01142246 001113190
計算モデル論入門 : チューリング機械からラムダ計算へ (Information science & engineering ; F5)
計算モデル論入門 : チューリング機械からラムダ計算へ (Information science & engineering ; F5)
紙
図書
井田哲雄, 浜名誠 共著
サイエンス社
2006.8
<M121-H218>
国立国会図書館
全国の図書館
著者標目(識別子)
00190628
01054681
求解,証明,書換のインタラクションによる記号計算と記号計算グリッドの構築
求解,証明,書換のインタラクションによる記号計算と記号計算グリッドの構築
紙
図書
井田哲雄, 筑波大学 [著]
[井田哲雄]
2005-2007
<Y151-H17300004>
国立国会図書館
著者標目(識別子)
00190628
00265365
等式制約解消系のネツトワ-クによるグロ-バルコンピユ-テイング
等式制約解消系のネツトワ-クによるグロ-バルコンピユ-テイング
紙
図書
井田, 哲雄, 筑波大学
2000-2002
<Y151-H12480066>
国立国会図書館
著者標目(識別子)
00190628
分散制約解消系を融合する関数論理型プログラミング
分散制約解消系を融合する関数論理型プログラミング
紙
図書
井田, 哲雄, 筑波大学
1998-1998
<Y151-H10480053>
国立国会図書館
著者標目(識別子)
00190628
関数論理融合型言語のマルチメデイアプログラミング環境の構築
関数論理融合型言語のマルチメデイアプログラミング環境の構築
紙
図書
井田, 哲雄, 筑波大学
1995-1997
<Y151-H07558152>
国立国会図書館
著者標目(識別子)
00190628
高階関数・論理的プログラムの計算モデル
高階関数・論理的プログラムの計算モデル
紙
図書
井田, 哲雄, 筑波大学
1996-1997
<Y151-H08458059>
国立国会図書館
著者標目(識別子)
00190628
条件付き書換え系の宣言型プログラミングへの応用
条件付き書換え系の宣言型プログラミングへの応用
紙
図書
井田, 哲雄, 筑波大学
1994-1995
<Y151-H06680300>
国立国会図書館
著者標目(識別子)
00190628
宣言型プログラミング言語処理系の系統的生成
宣言型プログラミング言語処理系の系統的生成
紙
図書
井田, 哲雄, 筑波大学
1991-1992
<Y151-H03680022>
国立国会図書館
著者標目(識別子)
00190628
新しいプログラミング・パラダイム 続
新しいプログラミング・パラダイム 続
紙
図書
井田哲雄, 田中二郎 編
共立出版
1990.11
<M159-E876>
国立国会図書館
全国の図書館
著者標目(識別子)
00190628
00204922
新しいプログラミング・パラダイム
新しいプログラミング・パラダイム
紙
図書
井田哲雄 編
共立出版
1989.11
<M159-E876>
国立国会図書館
全国の図書館
著者標目(識別子)
00190628
メタ計算系における型導入によるプログラム変形導出
メタ計算系における型導入によるプログラム変形導出
紙
図書
井田, 哲雄, 筑波大学
1987-1988
<Y151-S62580030>
国立国会図書館
著者標目(識別子)
00190628
岩波講座ソフトウェア科学 12
岩波講座ソフトウェア科学 12
紙
デジタル
図書
長尾真 [ほか]編
岩波書店
1991.3
<M159-E227>
国立国会図書館
全国の図書館
著者標目(識別子)
00190628
検索結果は以上です。
書誌情報を一括出力