2023年度
 理学部　情報科学科　情報科学部門　木村(大)研究室
 
■ 当該年度研究業績数一覧表
研究者名 刊行論文 著書 その他 学会発表 その他
発表
和文英文 和文英文 国内国際
筆
頭		共
著		筆
頭		共
著		 筆
頭		共
著		筆
頭		共
著		 筆
頭		共
著		 演
者		共
演		演
者		共
演		 演
者		共
演
木村　大輔   准教授
   1           
  
  
  
  
  
計  0／ 1／  0／ 0／  0／  0
(0)		／  0
(0)		／  0
(0)		／
研究者名 刊行論文 著書 その他 学会発表 その他
発表
和
文		英
文		 和
文		英
文		 国
内		国
際
筆
頭		筆
頭 		筆
頭		筆
頭 		筆
頭		 演
者		演
者 		演
者
木村　大輔   准教授
  1       
  
  
計  0 1  0 0  0  0
(0)		  0
(0)		  0
(0)
(  )：発表数中の特別講演、招請講演、宿題報告、会長講演、基調講演、受賞講演、教育講演(セミナー、レクチャーを含む)、シンポジウム、パネル(ラウンドテーブル)ディスカッション、ワークショップ、公開講座、講習会 (  )：発表数中の特別講演、招請講演、宿題報告、会長講演、基調講演、受賞講演、教育講演(セミナー、レクチャーを含む)、シンポジウム、パネル(ラウンドテーブル)ディスカッション、ワークショップ、公開講座、講習会
■ 刊行論文
原著
1. 木村大輔, 龍田真, Mahmudul Faisal Al Ameen, 池渕未来, 中澤巧爾：  on Logic with Arrays and Lists for Program Analysis.  コンピュータソフトウェア  41 (1) ：50 -67 , 2024
  ＊：Corresponding Author
  †：本学研究者