JAIST Repository >

一覧: タイトル

移動先: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
タイトルの先頭数文字を入力して移動:   

検索結果: 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 話し合いを促進する小学生のペアプログラミング学習支援システム真嘉比, 浩乃; まかび, ひろの
前ページ 次ページ

 


お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)