|
|
JAIST Repository >
一覧: タイトル
検索結果: 9585-9605 / 18597.
| 発行日 | タイトル |
著者 |
|---|
| Mar-1999 | 代数仕様言語 CafeOBJ による鉄道信号システムの記述 | 清野, 貴博; せいの, たかひろ |
| Mar-2004 | 代数仕様言語CafeOBJによるセキュリティプロトコルの形式化 | 加藤, 淳; かとう, あつし |
| Mar-2003 | 代数仕様言語CafeOBJのための拡張可能な前処理系 | 浅羽, 義之; あさば, よしゆき |
| Sep-2023 | 代数技術による形式検証とその応用 | Tran, Dinh Duong; とらん, でぃん どぅおんぐ |
| Sep-1998 | 代数演算による離散多面体の変形 | 剣持,雪子; 小谷,一孔; 井宮,淳 |
| Dec-2001 | 代数的モデルによる部分構造論理の研究 | 加藤, 洋介; かとう, ようすけ |
| Mar-2006 | 代数的手法による、可換な部分構造論理の研究 | 木原, 均; きはら, ひとし |
| 27-Oct-2018 | 代替肉（フェイクミート）・培養肉（クリーンミート）市場への参入可能性に関する調査 | 五十嵐, 美香; 川島, 啓 |
| 31-Oct-2020 | “代替食品”の再考 : 価値形成の観点からの一考察 | 光永, 均; 妹尾, 堅一郎; 伊澤, 久美; 宮本, 聡治 |
| 30-Oct-2021 | “代替食品”の分類群の提案 | 光永, 均; 妹尾, 堅一郎; 伊澤, 久美; 宮本, 聡治 |
| 19-Jul-2002 | 代理入札方式を備えたイングリッシュオークションプロトコル | 塩月, 徹; 宮地, 充子; SHIOTSUKI, Toru; MIYAJI, Atsuko |
| Mar-2000 | 代謝系遺伝子の分子系統樹比較によるゲノム構造解析 | 野口, 大毅; のぐち, だいき |
| Mar-2022 | 令和3年度国立大学図書館協会東海北陸地区協会助成事業研修会『「多様性」時代の大学図書館～知ることから始めよう～』実施レポート | 北陸先端科学技術大学院大学附属図書館 |
| 26-Oct-2024 | 令和5年度博士（後期）課程1年次における進路意識と経済状況に関する調査 | 齋藤, 経史 |
| Mar-2008 | 以心伝心における多義性と文脈の役割～言語ゲームシミュレーションによる考察～ | 冨士本, 大哲; ふじもと, まさのり |
| Sep-2013 | 仮想ノードの特性を考慮した大規模実験リソースの管理手法 | 鍛治, 祐希; かじ, ゆうき |
| Mar-2007 | 仮想ホームネットワークにおけるユーザーのモデリングに関する研究 | 宋, 慶輝; そう, けいき |
| 3-Mar-2000 | 仮想力覚触覚を用いた三次元造形システムの構築 | 堀井, 洋; 有松, 聡; 堀口, 進; Horii, Hiroshi; Arimatsu, Satoshi; Horiguchi, Susumu; ホリイ, ヒロシ; アリマツ, サトシ; ホリグチ, ススム |
| Mar-2000 | 仮想力解覚を用いた協調型３次元物体造形システムの構築 | 有松, 聡; ありまつ, さとし |
| Mar-2021 | 仮想影による奥行き錯覚を用いた視線誘導 | 松崎, 広夢; まつざき, ひろむ |
| Mar-2019 | 仮想現実を用いた学習支援システムにおける データグローブ使用の効果 | 趙, 若曦; チョウ, ロイ |
|
