|
|
JAIST Repository >
一覧: タイトル
検索結果: 12272-12292 / 18592.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2017 | 「弾いてみた動画」を活用した 楽器の継続的練習支援システムに関する研究 | 金澤, 優太; かなざわ, ゆうた |
| Mar-2020 | 弾性効果を利用した歩幅が等間隔でないリムレスホイールのステルス歩容生成と運動解析 | 川添, 雅史; かわぞえ, まさし |
| Mar-2004 | 弾性波を用いたSi薄膜の直線偏光パルスレーザーによる溶融結晶化 | 大谷, 武彦; おおたに, たけひこ |
| Mar-2025 | 弾性脚をもつX字型2脚ロボットの適応的制御変数更新に基づく漸近安定走行運動生成 | 小森, 幹斗; こもり, みきと |
| Mar-2007 | 形式仕様からのテストケース生成に関する研究 | 吉岡, 謙治; よしおか, けんじ |
| Mar-2015 | 形式仕様と設計の整合性検証に関する研究 | Vu, Dieu Huong; う゛, じお ふおん |
| Mar-2008 | 形式仕様に基づくテストケース生成の有効性に関する研究 | 中島, 亮平; なかじま, りょうへい |
| Mar-1997 | 形式仕様の記述スタイルに関する研究 | 杉山, 智倫; すぎやま, とものり |
| Mar-2008 | 形式仕様記述を用いたテキストファイルの図式化の研究 | 手塚, 隆之; てづか, たかゆき |
| Mar-2010 | 形式仕様記述言語を用いた要求仕様書の形式化と検証仕様書の獲得手法に関する研究 | 吹田, 有行; ふきた, ありゆき |
| Mar-2014 | 形式意味論に基づく短編推理小説の犯人推論 | 池ノ上, 杏奈; いけのうえ, あんな |
| Mar-2008 | 形式手法による短距離無線通信規格の検証に関する研究 | 高村, 純平; たかむら, じゅんぺい |
| Mar-2011 | 形式手法に基づくビジネスプロセスのリスクリカバリー手法 | 大井, 聡史; おおい, さとし |
| 6-Sep-2007 | 形式手法の新展開 : 離散と連続の融合 | 平石, 邦彦 |
| 1-Jun-2015 | 形式手法の統合によるシームレスなソフトウェア開発手法の提案 | 青木, 利晃; Aoki, Toshiaki |
| Mar-2013 | 形式手法を用いた手順書の解析 | 穐山, 周平; あきやま, しゅうへい |
| Sep-2022 | 形式検証ツールの並列化 | DO, Minh Canh; ど, みん かん |
| Mar-1998 | 形式的オブジェクト指向分析モデルＦＯ∀Ｍの構築法とその支援環境 | 古川, 順一; ふるかわ, じゅんいち |
| Mar-2003 | 形式的オブジェクト指向方法論を用いた携帯情報端末の開発実験 | 濱崎, 章光; はまさき, あきみつ |
| 14-Jun-2011 | 形式的検証とウェブオントロジーの融合による大規模情報システム設計支援 | 高木, 理; Takaki, Osamu |
| 28-Oct-2017 | 形式的評価から実質評価への移行が必要な研究政策 | 大岩, 元 |
|
