松下祐介 Matsushita Yusuke

研究者番号	41003875
その他のID	https://orcid.org/0000-0002-5208-3106
所属 (現在)	2026年度: 京都大学, 白眉センター, 特定助教
所属 (過去の研究課題情報に基づく) *注記	2024年度: 京都大学, 情報学研究科, 特別研究員(PD)
審査区分/研究分野	研究代表者以外中区分60:情報科学、情報工学およびその関連分野
キーワード	研究代表者以外ソフトウエア契約 / ソフトウェア契約 / 相互運用性 / プログラム検証 / プログラミング言語

高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究
- 研究代表者
  
  五十嵐淳
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  京都大学

すべて学会発表

[学会発表] 関数型言語のためのHyper Hoare Typeにむけて(ポスター)2025
- 著者名/発表者名
  佐藤聡太, 松下祐介, 末永幸平, 五十嵐淳
- 学会等名
  PPL2025
- データソース
  KAKENHI-PROJECT-20H00582
[学会発表] Linear Haskell での Rust 流借用の純粋な実現(ポスター)2025
- 著者名/発表者名
  松下祐介, 田邉裕大, 関山太朗, 五十嵐淳
- 学会等名
  PPL2025
- データソース
  KAKENHI-PROJECT-20H00582

1. 五十嵐淳 (40323456)

共同の研究課題数: 1件

共同の研究成果数: 2件
2. 末永幸平 (70633692)

共同の研究課題数: 1件

共同の研究成果数: 1件
3. 池渕未来 (70961796)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 関山太朗 (80828476)

共同の研究課題数: 1件

共同の研究成果数: 1件
5. 田邉裕大 (30985198)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 田辺裕大

共同の研究課題数: 0件

共同の研究成果数: 1件