|
|
JAIST Repository >
一覧: タイトル
検索結果: 9575-9595 / 18593.
| 発行日 | タイトル |
著者 |
|---|
| 17-Oct-1991 | 仕事を通じた技術者の成長における上司の役割 | 後藤, 洋 |
| 26-Oct-2019 | 他分野の知識の取り込みは全ての技術に有効なのか？ | 廣瀬, 正幸 |
| 19-May-2022 | 他者との視点共有により観察者の視点の内省と拡張を促す 2 段階グループフィールドワーク手法の提案 | 西本, 一志; 澤田, 健太郎; 吉松, 駿平; 高島, 健太郎; KAZUSHI NISHIMOTO; KENTARO SAWADA; SHUNPEI YOSHIMATSU; KENTARO TAKASHIMA |
| 9-Mar-2018 | 他者に聴かせる練習音量を個別に調整できる集団内での楽器個人練習支援システムの提案と検証 | 村瀬, ゆり; 高島, 健太郎; 西本, 一志; Murase, Yuri; Takashima, Kentaro; Nishimoto, Kazushi |
| Mar-2008 | 他者のアイディアを再構成することによるデザインコンセプト創作支援に関する研究 | 市川, 大祐; いちかわ, だいすけ |
| 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 | 代数的手法による、可換な部分構造論理の研究 | 木原, 均; きはら, ひとし |
| 27-Oct-2018 | 代替肉（フェイクミート）・培養肉（クリーンミート）市場への参入可能性に関する調査 | 五十嵐, 美香; 川島, 啓 |
| 31-Oct-2020 | “代替食品”の再考 : 価値形成の観点からの一考察 | 光永, 均; 妹尾, 堅一郎; 伊澤, 久美; 宮本, 聡治 |
| 30-Oct-2021 | “代替食品”の分類群の提案 | 光永, 均; 妹尾, 堅一郎; 伊澤, 久美; 宮本, 聡治 |
| 19-Jul-2002 | 代理入札方式を備えたイングリッシュオークションプロトコル | 塩月, 徹; 宮地, 充子; SHIOTSUKI, Toru; MIYAJI, Atsuko |
| Mar-2000 | 代謝系遺伝子の分子系統樹比較によるゲノム構造解析 | 野口, 大毅; のぐち, だいき |
|
