垣内　洋介 (カキウチ　ヨウスケ,KAKIUCHI Yosuke)

基本情報	研究分野	研究業績

報告書等
No.	報告書等名（MISCタイトル） URL, 誌名, 巻( 号), 開始ページ- 終了ページ, 出版年月（日）
1	モニタベース手法を用いたオン・チップ・バスプロトコルの機能検証に関する研究(<特集>研究会推薦博士論文速報) , 情報処理学会誌, 49( 6), 678- 678, 2008年06月15日
2	モニタベース手法を用いたオン・チップ・バスプロトコルの機能検証に関する研究 , 大阪大学博士論文, , 1- 92, 2007年01月

学術論文
No.	論文タイトル（題目） URL, 誌名(出版物名), 巻( 号), 開始ページ- 終了ページ, 出版年月（日）, DOI
1	授業におけるPC操作情報を用いた活動状況可視化手法 , 教育システム情報学会誌, 36( 2), 107- 117, 2019年01月07日,
2	Modeling and Solving Open Shop Cooperative Task Scheduling Problems Based on Satisfiability Modulo Theories , Scientiae Mathematicae Japonicae, 81( 2), 183- 193, 2018年01月, https://doi.org/10.32219/isms.81.2_183
3	Coverage-Driven Design Verification Using a Diverse SAT Solver , IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E100-A( 7), 1481- 1487, 2017年07月01日, https://doi.org/10.1587/transfun.E100.A.1481
4	形式手法を用いたSysMLシステム要求仕様に対する制約解析 , 電気学会論文誌C, 137( 6), 809- 814, 2017年06月01日, https://doi.org/10.1541/ieejeiss.137.809
5	A Route Optimization Problem in Electrical PCB Inspections with Alignment Operations , Scientiae Mathematicae Japonicae, 80( 3), 219- 232, 2017年01月, https://doi.org/10.32219/isms.80.3_219
6	カメラによるアライメント補正を考慮したプリント基板の検査経路最適化 , 日本経営システム学会誌, 32( 3), 341- 351, 2016年03月,
7	Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts , IPSJ Transactions on SLDM, 4, 210- 221, 2011年08月, https://doi.org/10.2197/ipsjtsldm.4.210
8	A Monitor Generation Method for Formal Monitor-based Verification Considering Input Constraints , Electronics and Communications in Japan (Part III Fundamental Electronic Science), 90( 12), 19- 26, 2007年12月, https://doi.org/10.1002/ecjc.20360
9	モニターベース形式検証のための入力制約を考慮したモニタ回路生成手法 , 電子情報通信学会論文誌, J89-D( 4), 674- 682, 2006年04月,

口頭発表
No.	講演・口頭発表タイトル, URL, 発表機関, 発表年月日, 誌名, 巻( 号), 開始ページ- 終了ページ, 出版年月（日）
1	前腕筋群の活動に伴う隆起変化測定による指角度推定, , 電子情報通信学会, 2023年03月09日, 2023年電子情報通信学会総合大会情報・システム講演論文集2, , 76- 76, 2023年03月07日
2	個人判別における文章の読み行動を利用した特徴量の検討, , 電子情報通信学会, 2023年03月07日, , , 131- 131, 2023年03月07日
3	個人判別における文章の読み行動を利用した特徴量の検討, , IEEE SMC Hiroshima Chapter 若手研究会, 2022年07月09日, , , 51- 54, 2022年07月09日
4	ギターテクニックのパターン認識と習熟度による影響の検討, , IEEE SMC Hiroshima Chapter 若手研究会, 2022年07月09日, , , 42- 45, 2022年07月09日
5	前腕筋群の活動に伴う隆起変化測定による指角度推定, , IEEE SMC Hiroshima Chapter 若手研究会, 2022年07月09日, , , 61- 64, 2022年07月09日
6	アクセシビリティ改善のための統計グラフの読み上げ手法, , 日本経営システム学会・イノベーション指向データ分析研究部会・2021年度第3回研究会, 2022年02月, , , 23- 28, 2022年02月22日
7	SysMLにおけるデータフローの可視化手法, , IEEE SMC Hiroshima Chapter, 2018年07月28日, 2018 IEEE SMC Hiroshima Chapter若手研究会講演論文集, , 101- 102,
8	Applying Bayesian Network-Based Machine Learning to Regression Design Verification, , 21st Workshop on Synthesis and System Integration of Mixed Information Technologies, 2018年03月27日, , , 0- 0,
9	PCを用いた授業におけるリアルタイムな活動状況の可視化, , 情報処理学会・コンピュータと教育研究会, 2017年12月, 情報処理学会・コンピュータと教育研究会 142回研究発表会, 2017-CLE-23( 22), 1- 6,
10	PCを用いた授業における活動状況の可視化, , IEEE SMC Hiroshima Chapter, 2017年07月, , , 12- 15,
11	ソフトウェア開発を想定したビジネススケジューリングに対するSatisfiability Modulo Theories (SMT) に基づくアプローチ, , IEEE SMC Hiroshima Chapter, 2017年07月, , , 8- 9,
12	タブレット端末を用いた視覚障碍者向け操作インタフェースの開発, , IEEE SMC Hiroshima Chapter, 2017年07月, , , 30- 33,
13	Pythonとプロブレムソルバを用いた計算モデリング, , 日本経営システム学会, 2017年02月, 日本経営システム学会・イノベーション指向データ分析研究部会2016年度第1回研究会, , -- -,
14	視覚障碍者向けユーザインタフェースに関する研究, , 日本経営システム学会, 2017年02月, 日本経営システム学会・イノベーション指向データ分析研究部会2016年度第1回研究会, , -- -,
15	機能選択によるコーディング学習支援環境の提案, , IEEE SMC Hiroshima Chapter, 2016年07月, , , 79- 80,
16	タブレット端末を用いた視覚障碍者向けブラウジングシステム, , IEEE SMC Hiroshima Chapter, 2016年07月, , , 77- 78,
17	アライメント撮像を考慮したプリント基板の検査経路最適化, , 日本経営システム学会, 2015年07月, 日本経営システム学会全国研究発表大会講演論文集, 55, 16- 19,
18	視覚障碍者向けブラウジングシステムにおけるセンサ配置の比較, , IEEE SMC Hiroshima Chapter, 2015年07月, IEEE SMC Hiroshima Chapter 若手研究会, , 45- 46,
19	水田の水位遠隔通知システムの開発, , IEEE広島支部, 2014年11月, , , -- -,
20	モーションセンサを用いたWebアプリケーション操作, , IEEE SMC Hiroshima Chapter, 2014年11月, , , -- -,
21	スマートフォンを利用した若年者向けプログラミング学習環境の作成, , IEEE SMC Hiroshima Chapter, 2014年07月, , , -- -,
22	モーションセンサを用いた視覚障碍者向けブラウジング支援システムの開発, , IEEE SMC Hiroshima Chapter, 2014年07月, , , -- -,
23	トランザクション識別子を伴うバスプロトコル間の変換器自動生成手法, , 情報処理学会, 2011年, 情報処理学会研究報告 2011-SLDM-149, , 1- 6,
24	メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法, , 情報処理学会, 2010年, 情報処理学会システムLSI設計技術研究会, , -- -,
25	バースト転送を考慮したバスプロトコル変換器の自動合成, , 情報処理学会, 2009年, 情報処理学会システムLSI設計技術研究会 DAシンポジウム2009, , -- -,
26	局所変数を含むアサーションに対するモデルチェッキングのためのチェッカ生成, , 情報処理学会, 2008年, 2008-SLDM-135, , -- -,
27	モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法, , 情報処理学会, 2005年10月, 2005-SLDM-121, , 191- 196,
28	Automatic Monitor Generation from Regular Expression Based Specifications for Module Interface Verification, , IEEE ISCS, 2005年, Proceedings of IEEE International Symposium on Circuits and Systems, , 3555- 3558,
29	Behavioral Model Construction for Formal Verification of Advanced On-chip Bus Protocols, , Workshop on Synthesis And System Integration of Mixed Information technologies, 2004年, Proceedings of the workshop on Synthesis And System Integration of Mixed Information technologies, , 282- 289,
30	IPインターフェースプロトコルのモデル化と検証手法の提案, , 情報処理学会, 2003年, 情報処理学会システムLSI設計技術研究会 DAシンポジウム2003 論文集, , 43- 48,