木村大輔

キムラダイスケ | Kimura Daisuke

所属機関・部署：
職名：准教授

研究分野 (5件)：情報学基礎論 , 情報学基礎論 , 情報学基礎論 , 情報学基礎論 , 情報学基礎論

研究キーワード (6件)：ホーア論理 , 分離論理 , プログラム検証 , ラムダ計算 , プログラミング言語理論 , 数理論理学

論文 (29件)：

木村大輔, 龍田真, Mahmudul Faisal Al Ameen, 池渕未来, 中澤巧爾. Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis. コンピュータソフトウェア. 2024. 41. 1. 50-67
橋本翔太, 木村大輔. Coqによる三角形三色問題の証明. コンピュータソフトウェア. 2023. 40. 3. 2-15
安部達也, 木村大輔. Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding. Journal of Applied Logics. 2023. 10. 4. 511-530
Tatsuya Abe, Daisuke Kimura. A typed lambda-calculus with first-class configurations. Journal of Logic and Computation. 2022. exac062
Daisuke Kimura, Koji Nakazawa, Kenji Saotome. Cut-Elimination for Cyclic Proof Systems with Inductively Defined Propositions. 数理解析研究所講究録. 2022. 2228. 59-72

経歴 (8件)：

全件表示

委員歴 (10件)：

2023/10 - 2024/03 The 6th Asian Workshop on Philosophical Logic (AWPL 2024) Program Committee
2023/03 - 2024/03 PPL2024 組織委員長
2022/09 - 2022/09 第39回記号論理と情報科学研究集会 (SLACS2022) 幹事
2020/03 - 2020/03 PPL2020 プログラム委員
2019/03 - 2020/03 PPL2020 組織委員 (財務副担当)

全件表示

受賞 (1件)：

所属学会 (3件)：

情報処理学会 , ACM , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

木村 大輔