Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [Japanese] / [English]
KBSE2017-21
アクターモデルを適用した木構造データ処理のための状態共有を利用した負荷分散
○櫻井孝平（金沢大）
pp. 1 - 6
KBSE2017-22
保証ケースを用いたAI実践プロジェクトの成功要因分析
○竹内広宜・秋原史記（日本IBM）・山本修一郎（名大）
pp. 7 - 12
KBSE2017-23
システム安全要求抽出法の提案
○山本修一郎（名大）
pp. 13 - 18
KBSE2017-24
要求仕様の内容理解と妥当性チェックのための議論を誘導するシステム ～ 議論の内容を構造化して記録する仕組みの提案 ～
○古宮誠一（NII）
pp. 19 - 24
KBSE2017-25
AlphaGoのAI情報学的考察 ～ 囲碁がサイエンスとなった意義 ～
○上野晴樹（NII）
pp. 25 - 30
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．