Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
Matsushita Yusuke
松下 祐介
…
Alternative Names
松下 祐介 マツシタ ユウスケ
Less
Researcher Number
41003875
Other IDs
https://orcid.org/0000-0002-5208-3106
Affiliation (Current)
2026: 京都大学, 白眉センター, 特定助教
Affiliation (based on the past Project Information)
*help
2024: 京都大学, 情報学研究科, 特別研究員(PD)
Review Section/Research Field
Except Principal Investigator
Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords
Except Principal Investigator
ソフトウエア契約 / ソフトウェア契約 / 相互運用性 / プログラム検証 / プログラミング言語
Research Projects
(
1
results)
Research Products
(
2
results)
Co-Researchers
(
6
People)
Project Start Year (Newest)
Project Start Year (Oldest)
Research on software contracts for highly interoperable software modules
Principal Investigator
五十嵐 淳
Project Period (FY)
2020 – 2024
Research Category
Grant-in-Aid for Scientific Research (A)
Review Section
Medium-sized Section 60:Information science, computer engineering, and related fields
Research Institution
Kyoto University
All
2025
All
Presentation
[Presentation] 関数型言語のためのHyper Hoare Typeにむけて(ポスター)
2025
Author(s)
佐藤 聡太, 松下 祐介, 末永 幸平, 五十嵐 淳
Organizer
PPL2025
Data Source
KAKENHI-PROJECT-20H00582
[Presentation] Linear Haskell での Rust 流借用の純粋な実現(ポスター)
2025
Author(s)
松下 祐介, 田邉 裕大, 関山 太朗, 五十嵐 淳
Organizer
PPL2025
Data Source
KAKENHI-PROJECT-20H00582
# of Projects (Dsc)
# of Projects (Asc)
1.
五十嵐 淳
(40323456)
# of Collaborated Projects:
1 results
# of Collaborated Products:
2 results
2.
末永 幸平
(70633692)
# of Collaborated Projects:
1 results
# of Collaborated Products:
1 results
3.
池渕 未来
(70961796)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
4.
関山 太朗
(80828476)
# of Collaborated Projects:
1 results
# of Collaborated Products:
1 results
5.
田邉 裕大
(30985198)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
6.
田辺 裕大
# of Collaborated Projects:
0 results
# of Collaborated Products:
1 results
×
×
×
