クニエダ ヨシトシ
國枝 義敏
KUNIEDA Yoshitoshi
所属 情報理工学部 情報理工学科
職名 教授
言語種別 日本語
発行・発表の年月 2020/05
形態種別 研究論文(学術雑誌)
査読 査読あり
標題 Java Stream APIによるストリーム操作の停止性検査のための型システム
執筆形態 共著
掲載誌名 コンピュータソフトウェア
掲載区分 国内
巻・号・頁 37(2),59-75
担当区分 最終著者
著者・共著者 長谷川 健太, 桑原 寛明, 國枝 義敏