|
|
JAIST Repository >
一覧: 日付
検索結果: 17074-17094 / 18591.
| 発行日 | タイトル |
著者 |
|---|
| Mar-1999 | 幾何学定理自動証明における問題記述の簡略化 | 木村, 敦夫; きむら, あつお |
| Mar-1999 | オンデマンド学習に適した電子教材の編成法 | 猪俣, 敦夫; いのまた, あつお |
| Mar-1999 | 代数の表現と無限および述語論理のクリプキ完全性 | 田中, 義人; たなか, よしひと |
| Mar-1999 | オブジェクト指向方法論の形式化とその計算機支援環境 | 青木, 利晃; あおき, としあき |
| Mar-1999 | An Algebraic Formal Method for Component based Software Developments | 飯田, 周作; いいだ, しゅうさく |
| Mar-1999 | インターネット上での最終的決済に関する研究 | 三輪, 信介; みわ, しんすけ |
| Mar-1999 | 動的適応可能なソフトウェアのための系統的構成方式の研究 | 天野, 憲樹; あまの, のりき |
| Mar-1999 | 電子メールを利用したコミュニケーションにおける会話の円滑性の評価尺度とその計算法について | 村越, 広享; むらこし, ひろゆき |
| Mar-1999 | 語彙的連鎖を用いたパッセージ抽出とその応用に関する研究 | 望月, 源; もちづき, はじめ |
| Mar-1999 | 組み合わせ可能なインターネット・メッセージ処理機構の構成法に関する研究 | 守岡, 知彦; もりおか, ともひこ |
| Mar-1999 | 創造的な討論を行う会議を支援するシステムに関する研究 | 藤田, 邦彦; ふじた, くにひこ |
| Mar-1999 | アブタクションと他の推論方式との統合に関する研究 | 金井, 貴; かない, たかし |
| Mar-1999 | モジュールシステムの設計と検証に関する研究 | 五百蔵, 重典; いおろい, しげのり |
| Mar-1999 | 楕円曲線暗号と鍵配送方式に関する研究 | 坂崎, 尚生; さかざき, ひさお |
| Mar-1999 | 推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み | 鈴木, 康人; すずき, やすひと |
| Mar-1999 | 音の分離抽出における聴覚の計算理論に関する研究 | 鵜木, 祐史; うのき, まさし |
| Mar-1999 | 遺伝的プログラミングによる効率的なプログラム生成 | 伊藤, 拓也; いとう, たくや |
| Mar-1999 | 適応細分化格子の動的負荷分散による流れ場の並列計算 | 古山, 彰一; ふるやま, しょういち |
| Mar-1999 | 最適レギュレータと状態推定器の極限的性質を用いた多変数系の非干渉制御に関する研究 | 鈴木, 亮一; すずき, りょういち |
| Mar-1999 | エネルギー整形にもとづくマニピュレータのロバスト制御に関する研究 | 田中, 奈津夫; たなか, なつお |
| Mar-1999 | 項書換え系の簡略戦略に関する研究 | 長谷, 崇; ながや, たかし |
|
