|
|
JAIST Repository >
一覧: タイトル
検索結果: 9897-9917 / 19270.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2013 | 他者のコメントの引用を考慮したオピニオンマイニング | 岡山, 有希; おかやま, ゆうき |
| 22-May-2020 | 他者の意見の引用を考慮したオピニオンマイニング | 白井, 清昭; Shirai, Kiyoaki |
| Mar-2003 | 代数および関係意味論によるLambek 計算の研究 | 下川, 賢介; しもかわ, けんすけ |
| Mar-1999 | 代数の表現と無限および述語論理のクリプキ完全性 | 田中, 義人; たなか, よしひと |
| Mar-1999 | 代数仕様言語 CafeOBJ による鉄道信号システムの記述 | 清野, 貴博; せいの, たかひろ |
| Mar-2004 | 代数仕様言語CafeOBJによるセキュリティプロトコルの形式化 | 加藤, 淳; かとう, あつし |
| Mar-2003 | 代数仕様言語CafeOBJのための拡張可能な前処理系 | 浅羽, 義之; あさば, よしゆき |
| Sep-2023 | 代数技術による形式検証とその応用 | Tran, Dinh Duong; とらん, でぃん どぅおんぐ |
| Sep-1998 | 代数演算による離散多面体の変形 | 剣持,雪子; 小谷,一孔; 井宮,淳 |
| Dec-2001 | 代数的モデルによる部分構造論理の研究 | 加藤, 洋介; かとう, ようすけ |
| Mar-2006 | 代数的手法による、可換な部分構造論理の研究 | 木原, 均; きはら, ひとし |
| 8-Nov-2025 | 代替タンパク質をめぐる表象と人々の意識 | 標葉, 隆馬; 武田, 浩平; 橋本, 萌那; 松尾, 朗子; 笹原, 和俊 |
| 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 | 仮想ノードの特性を考慮した大規模実験リソースの管理手法 | 鍛治, 祐希; かじ, ゆうき |
|
