国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(2)
1990年代
(22)
2000年代
(12)
2010年代
(5)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(32)
雑誌
新聞
和古書・漢籍
博士論文
(1)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(6)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(7)
紙
(32)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 39 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
和音進行における音楽的期待の計算論的研究
和音進行における音楽的期待の計算論的研究
デジタル
博士論文
障害者向け資料あり
森本, 智志
奈良先端科学技術大学院大学
2016-09-26
インターネットで読める
国立国会図書館
全国の図書館
件名
音楽知覚
計算モデル
音楽的期待 ベイズモデル 音楽理論
強力な並列
計算モデル
BSR[+]のアルゴリズム実行環境の実現に関する研究
強力な並列計算モデルBSR[+]のアルゴリズム実行環境の実現に関する研究
紙
図書
相利民, 九州産業大学 [著]
[相利民]
2002-2003
<Y151-H14580398>
国立国会図書館
件名
並列計算 / 並列
計算モデル
/ BSR / 並列アルゴリズム / PRAM / BRO...
歩行運動の計算理論と小脳・脊髄神経系のダイナミクス
歩行運動の計算理論と小脳・脊髄神経系のダイナミクス
紙
図書
野村, 泰伸, 大阪大学
2001-2002
<Y151-H13480295>
国立国会図書館
件名
歩行 CPG 脊髄
計算モデル
ダイナミクス 非線形力学系 ステイツフネス ZMP
構造的動作意味定義に基づく実時間並行ソフトウェアの構築
構造的動作意味定義に基づく実時間並行ソフトウェアの構築
紙
図書
結縁祥治, 名古屋大学 [著]
[結縁祥治]
2001-2003
<Y151-H13680408>
国立国会図書館
件名
並行
計算モデル
/ 構造的操作意味定義 / プロセス代数 / 実時間処理 ...
マイクロ-マクロ関連に基づく社会特性の創発に関する研究
マイクロ-マクロ関連に基づく社会特性の創発に関する研究
紙
図書
高木英至, 埼玉大学 [著]
[高木英至]
2003-2005
<Y151-H15330133>
国立国会図書館
件名
計算モデル
/ シミュレーション / 社会秩序 / 集団構造 / 社会...
フィリングインに着目した初期視覚メカニズムの実験的および計算論的研究
フィリングインに着目した初期視覚メカニズムの実験的および計算論的研究
紙
図書
阪口豊, 電気通信大学 [著]
[阪口豊]
2002-2004
<Y151-H14580412>
国立国会図書館
件名
フィリングイン / 初期視覚 / 心理物理実験 /
計算モデル
/ 両眼立体視 / 知覚的体制化
構成的並列分散プログラミング・システムの数理科学的研究
構成的並列分散プログラミング・システムの数理科学的研究
紙
図書
高山, 幸秀, 立命館大学
1997-1998
<Y151-H09640302>
国立国会図書館
件名
構成的プログラミング 並列
計算モデル
計算機代数
感情創発の自律エージエント・モデル的研究
感情創発の自律エージエント・モデル的研究
紙
図書
徃住, 彰文, 東京工業大学
1996-1998
<Y151-H08610074>
国立国会図書館
件名
感情 認知 創発
計算モデル
記号計算 文学 感性 認知科学
書換え計算の可視化に基づくプログラミング環境の実現
書換え計算の可視化に基づくプログラミング環境の実現
紙
図書
稲垣, 康善, 名古屋大学
1995-1997
<Y151-H07558037>
国立国会図書館
件名
可視化 書換え
計算モデル
プロセス代数 視覚的支援 プログラミング環境 関数型言語
計算モデル
代数的プログラミング
複列・網状河川の形成機構に関する研究
複列・網状河川の形成機構に関する研究
紙
図書
清水康行, 北海道大学 [著]
[清水康行]
2001-2003
<Y151-H13450198>
国立国会図書館
件名
複列砂州 / 植生 / 分岐流路 / 数値
計算モデル
/ 河岸侵食 / 非定常流量 / 履歴効果 / 流路交番現...
人工社会における権力システムの創発に関する研究
人工社会における権力システムの創発に関する研究
紙
図書
高木, 英至, 埼玉大学
2000-2001
<Y151-H12834004>
国立国会図書館
件名
権力 適応エージエント 人工社会 シミユレーシヨン
計算モデル
Social Impact 多数派-少数派
光ソリトンの非線形ローレンツ
計算モデル
によるシミユレーシヨン
光ソリトンの非線形ローレンツ計算モデルによるシミユレーシヨン
紙
図書
阿部, 宏尹, 龍谷大学
1996-1997
<Y151-H07832021>
国立国会図書館
件名
光ソリトン 非線形ローレンツ
計算モデル
シミユレーシヨン
分散制約解消系を融合する関数論理型プログラミング
分散制約解消系を融合する関数論理型プログラミング
紙
図書
井田, 哲雄, 筑波大学
1998-1998
<Y151-H10480053>
国立国会図書館
件名
関数論理型言語 制約解消系
計算モデル
ナローイング 求解完全性 Mathematica
自由蛇行のプロセスとその河幅維持機構に関する研究
自由蛇行のプロセスとその河幅維持機構に関する研究
紙
図書
清水, 康行, 北海道大学
1998-1999
<Y151-H10650497>
国立国会図書館
件名
混合粒径 細粒土 ウオツシユロード 浮遊砂 川幅維持 洪水観測 二次流 数値
計算モデル
高階関数・論理的プログラムの
計算モデル
高階関数・論理的プログラムの計算モデル
紙
図書
井田, 哲雄, 筑波大学
1996-1997
<Y151-H08458059>
国立国会図書館
件名
ナローイング 高階関数・論理型言語
計算モデル
条件付き項書換え系 完全性
論理学的手法を用いたプログラミング言語の
計算モデル
の理論
論理学的手法を用いたプログラミング言語の計算モデルの理論
紙
図書
岡田光弘, 慶応義塾大学
1997-1999
<Y151-H09480058>
国立国会図書館
件名
線形論理 相意味論 証明の正規化定理 (強) 停止性
計算モデル
高階論理 並行計算 カツト消去定理
移動エージエントに基づく開放型分散システムに関する基礎理論
移動エージエントに基づく開放型分散システムに関する基礎理論
紙
図書
富樫, 敦, 静岡大学
2000-2001
<Y151-H12680343>
国立国会図書館
件名
移動エージエント プロセス計算
計算モデル
開放系 分散システム ソフトウエアアーキテクチヤ 制約解消...
プロセツサ間通信機能をオンチツプ化したメツセージフロープロセツサの試作
プロセツサ間通信機能をオンチツプ化したメツセージフロープロセツサの試作
紙
図書
柴山, 潔, 京都工芸繊維大学
1997-1999
<Y151-H09558031>
国立国会図書館
件名
メツセージフロー オンチツプ プロセツサ間通信 コンピユータアーキテクチヤ スレツド
計算モデル
紫外線放射測温法によるレーザ溶融加工プロセスのモニタリング
紫外線放射測温法によるレーザ溶融加工プロセスのモニタリング
紙
図書
黄地, 尚義, 大阪大学
1998-2000
<Y151-H10450272>
国立国会図書館
件名
紫外線放射測温法 レーザ溶融加工 アーク溶接 モニタリング 数値
計算モデル
熱輸送 温度計測 最適入熱条件
抽象化学系のふるまいに関する研究
抽象化学系のふるまいに関する研究
紙
図書
鈴木, 泰博, 東京医科歯科大学
1999-2000
<Y151-H11837005>
国立国会図書館
件名
抽象化学反応系 膜
計算モデル
マルチセツト書き換え系 分子コンピユーテイング P Sys...
もっと見る(21件目~)
書誌情報を一括出力