|
|
JAIST Repository >
一覧: タイトル
検索結果: 11934-11954 / 18596.
| 発行日 | タイトル |
著者 |
|---|
| 9-Oct-2010 | 安全性の論証構造を用いた関係者間コミュニケーションの共有プラットフォーム | 大澤, 英昭; 日置, 一雅; 牧野, 仁史; 仙波, 毅; 梅木, 博之; 高瀬, 博康 |
| 28-Nov-2006 | 安心情報システム構築におけるコンポーネント技術の応用 : Development of Information Systems for e-Society with Component Technologies | 鈴木, 正人 |
| Sep-2019 | 完備化と近似による反証技法 | 大井, 悠輔; おおい, ゆうすけ |
| Mar-1999 | 完備化手続きを用いたプログラム合成の研究 | 吉政, 洋美; よしまさ, ひろみ |
| Mar-2021 | 完全情報ゲームの評価値を用いた二人零和不完全情報ゲーム『ガイスター』における混合戦略AIの研究 | 川上, 直人; かわかみ, なおと |
| Mar-2018 | 官僚制組織における公式仲介人を通じた情報の伝達・活用マネジメントの研究 | 伊藤, 朝陽; いとう, あさひ |
| 28-Oct-2017 | 官民ファンドの功罪 : 産業革新機構とシャープ、ジャパンディスプレイ、東芝の事例から | 中田, 行彦 |
| 26-Oct-2019 | 官民ファンドはイノベーションを促進できるか？ : 産業革新機構、シャープ、JDI、ルネサスの事例分析 | 中田, 行彦 |
| Sep-2020 | 宙吊りグラフェン・フォノニック結晶（GPnC)における熱輸送の研究 | Haque, Mayeesha Masrura; はっく, まいーしゃ まするら |
| Mar-2004 | 定性シミュレーションの効率化に関する研究 | 落合, 紀雄; おちあい, のりお |
| Mar-1998 | 定性推論による物理式理解モデルの研究 | 跡見, 真児; あとみ, しんじ |
| Mar-2009 | 定数作業領域だけを用いたアルゴリズムに関する研究 | 田中, 宏; たなか, ひろし |
| 6-Sep-2007 | 定理証明によるファイアウォールサーバの検証 | 矢竹, 健朗 |
| Mar-2006 | 定理証明器HOLにおけるオブジェクト指向理論の構築 | 矢竹, 健朗; やたけ, けんろう |
| Mar-2007 | 定理証明技法を用いたユースケースの追加支援システムの研究 | 牛尾, 遼平; うしお, りょうへい |
| 27-Oct-2007 | 定量的分析に基づいた研究所の組織構造と生産性の関係解明(技術経営(7),一般講演,第22回年次学術大会) | 河尻, 耕太郎; 濱崎, 陽一 |
| 12-Oct-2008 | 定量的視点からみた特許請求の範囲の最適化へのアプローチ : 電気機器メーカーの事例研究 | 安彦, 元; 田中, 義敏; 中川, 秀敏 |
| 2012 | 定量的調査と定性的調査の基礎(第1回) HI評価のためのリサーチデザイン基礎 | 杉原, 太郎 |
| 2012 | 定量的調査と定性的調査の基礎(第2回) 調査の性質、データの性質、調査のプロセス | 杉原, 太郎 |
| 2013 | 定量的調査と定性的調査の基礎(第4回) 定性的調査（面接法、観察法）による評価 | 杉原, 太郎 |
| 2012 | 定量的調査と定性的調査の基礎 （第3回） 定量的調査（質問紙）および実験による評価 | 杉原, 太郎; Sugihara, Tarou |
|
