|
|
JAIST Repository >
一覧: 日付
検索結果: 17476-17496 / 18997.
| 発行日 | タイトル |
著者 |
|---|
| Mar-1999 | オブジェクト指向方法論のための検証フレームワークに関する研究 | 花田, 真樹; はなだ, まさき |
| Mar-1999 | 巨視的・微視的構造に基づく花のフォトリアルなコンピュータグラフィックス生成に関する研究 | 寺戸, 育夫; てらど, いくお |
| Mar-1999 | CIP法による非定常管内流れの並列計算 | 荒木, 宏之; あらき, ひろゆき |
| Mar-1999 | 会議情報の自動編集システムの作成 | 新井, 誠亮; あらい, せいすけ |
| 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 | 遺伝的プログラミングによる効率的なプログラム生成 | 伊藤, 拓也; いとう, たくや |
|
