|
JAIST Repository >
一覧: タイトル
検索結果: 17190-17210 / 18664.
発行日 | タイトル |
著者 |
Sep-2021 | 証明スコア法による形式検証の調査研究及び新規事例 [課題研究報告書] | 浅江, 尚輝; あさえ, なおき |
18-May-2016 | 証明スコア法に基づく革新的仕様検証システムの構築 | 二木, 厚吉; Kokichi, Futatsugi |
Mar-2002 | 証明可能な意思付多重署名方式に関する研究 | 河内, 恵; かわうち, けい |
10-Apr-2009 | 証明支援系とモデル検査器を効果的に利用できる環境と方法論 | 緒方, 和博; OGATA, KAZUHIRO |
Jun-2019 | 証明数を用いたゲーム木探索の新たなパラダイム | 張, 嵩; ちょう, すう |
Mar-2005 | 証明数・反証明数を用いた罰回避政策形成アルゴリズムの高速化に関する研究 | 登, 崇志; のぼり, たかし |
Mar-2002 | 証明論的手法を用いた部分構造論理間の埋め込みに関する研究 | 松田, 真由美; まつだ, まゆみ |
Mar-2011 | 証明譜を用いたバケット同期法の形式検証 | 永浦, 尊信; ながうら, たかのぶ |
21-Oct-2006 | 評価人材の専門性 : 知識論的枠組みと区分概念化(評価 (2)) | 平澤, 泠; 田原, 敬一郎; 川島, 啓; 野呂, 高樹 |
21-Oct-2006 | 評価人材の集積メカニズム : 主要国比較(評価 (2)) | 平澤, 泠; 田原, 敬一郎; 川島, 啓; 野呂, 高樹 |
Sep-2016 | 評価対象固有の知識とユーザネットワークを組み込んだマイクロブログユーザの感情分析 | Kaewpitakkun, Yongyos; げおぴたっくん, よんよす |
21-Oct-2000 | 評価者の特性に基因する評価バイアス | 近藤, 正幸 |
Mar-2003 | 評価語から構成される主観評価構造:PQSvideoとの対応の検討 -PQSvideoの改善を目指して- | 道免, 剛; どうめん, たけし |
Mar-2016 | 評判情報分析のための製品属性異表記辞書の自動構築 | 劉, 朝いく; りゅう, ちょういく |
10-Jun-2011 | 試料発現の新展開:高等植物細胞を利用した成熟型タンパク質の大量発現と選択標識 | 大木, 進野; Ohki, Shinya |
15-Oct-2011 | 試算 : 放射線利用の費用対効果 | 栁澤, 和章 |
30-Mar-2009 | 試行錯誤支援の考え方について | 野口, 尚孝; Noguchi, Hisataka |
16-Mar-2021 | 試行錯誤的描画を支援する消し跡機能 のデザインに関する基礎的検討 | 山田, 大誠; 高島, 健太郎; 西本, 一志 |
1-Jun-2017 | 詰め将棋の美観評価と創作アルゴリズム | 飯田, 弘之; Iida, Hiroyuki |
Mar-2013 | 詰め将棋問題の自動生成アルゴリズムに関する研究 [課題研究報告書] | 石飛, 太一; いしとび, たいち |
Mar-2025 | 話し合いを促進する小学生のペアプログラミング学習支援システム | 真嘉比, 浩乃; まかび, ひろの |
|