Yosuke Fukuda (福田 陽介)
I’m currently working as an assistant professor at Kyoto Tachibana University (Department of Information and Computer Science, Faculty of Engineering).
My general research interest is to investigate the theory of computation in programming languages, primarily in the context of the Curry–Howard correspondence between meta λ-calculi and intuitionistic modal logics. Although I’m mostly working on the mathematical theory of computation and logic, I’m also interested in philosophy of logic (in particular, logical constants and logical consequence) and the theory of quotation.
Me at 福田(Futian), Shenzhen, China.
Publication
- Yosuke Fukuda. An S4 extension of the lambda-bar-mu-mu-tilde-calculus. Journal of Information Processing, Volume 31, pp. 432–439, 2023. [ doi ]
- Yosuke Fukuda and Akira Yoshimizu. A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4. In Proceedings of Formal Structures for Computation and Deduction (FSCD 2019), Dortmund, Germany, June, 2019. [ doi | arXiv | slide ]
- Yosuke Fukuda and Ryosuke Igarashi. A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction. In Proceedings of Logic, Rationality, and Interaction (LORI VI), Sapporo, Japan, September, 2017. [ doi | slide ]
Non-refereed Publication
- Yosuke Fukuda and Akira Yoshimizu. A Higher-arity Sequent Calculus for Modal Linear Logic. In RIMS Kôkyûroku No.2083: Symposium on Proof Theory and Proving, Kyoto, Japan, August, 2018. [ pdf ]
Poster
- Yosuke Fukuda. Toward a modalized linear-non-linear model. PPL 2020, Ureshino, Japan, March 3rd, 2020.
- Yosuke Fukuda. Homoiconic Lisp. PPL 2020, Ureshino, Japan, March 2nd, 2020.
- Yosuke Fukuda and Akira Yoshimizu. A Linear-logical Reconstruction of Intuitionistic Modal Logic S4. PPL 2019, Hanamaki, Japan, March 6th, 2019.
- Yosuke Fukuda and Ryosuke Igarashi. A Reconstruction of The Principle of Explosion and Its Computational Structure. PPL 2017, Fuefuki, Japan, March 9th, 2017.
- Yosuke Fukuda and Atsushi Igarashi. Types as Syntactic Specifications. APLAS 2015, Pohang, Korea, November 30th, 2015.
Contributed Talk
- On a computational interpretation of sequent calculus for modal logic S4. Second Workshop on Mathematical Logic and Its Applications, Kanazawa, Japan, March 8th, 2018. [ slide ]
Non-refereed Presentation
- On the “operational semantical meaning” from the perspective of the “proof-theoretical meaning”.(若手による数理論理学研究集会), Youth Education National Olympics Memorial Youth Center, Shibuya-ku, September 9th, 2023.
- An S4 extension of the lambda-bar-mu-mu-tilde-calculus. IPSJ PRO 2022-4 (情報処理学会第142回プログラミング研究発表会), Hiroshima City University (Satellite Campus), Hiroshima, January 13th, 2023.
- On the computational interpretation of modal linear decoration. SLACS (記号論理と情報科学研究集会) 2022, September 21st, 2022.
- A model of intuitionistic modal linear logic. SLACS (記号論理と情報科学研究集会) 2021, August 10th, 2021.
- Extracting a formal system of typed combinators, informally. SLACS (記号論理と情報科学研究集会) 2020, December 3rd, 2020.
- On a generalization of the Curry correspondence. IPSJ PRO 2020-3 (情報処理学会第131回プログラミング研究発表会), October 30th, 2020.
- A geometry of interaction semantics for a modal λ-calculus. 論理と計算に関する研究集会. Tokyo Metropolitan University, Hachioji, December 1st, 2019.
- A computational interpretation of bilateral classical logic (Joint work with Ukyo Suzuki). 科学基礎論学会 2019年度 秋の研究例会, Nihon University, Setagaya-ku, November 30th, 2019.
- Call-by-name, call-by-value, and the modal linear λ-calculus. SLACS (記号論理と情報科学研究集会) 2019, Kyoto University, Kyoto, September 9th, 2019.
- An extended SECD machine with a first-class macro mechanism. IPSJ PRO 2019-1 (情報処理学会第124回プログラミング研究発表会), Nagoya University, Nagoya, June 7th, 2019.
- On the theory and practice of program semantics by the Geometry of Interaction. Early Spring Seminar on Lambda Calculus and Logic (ラムダ計算と論理の早春セミナー), Agatsuma, March 10th, 2019.
- A Linear-logical Reconstruction of Intuitionistic Modal Logic S4 (Joint work with Akira Yoshimizu). The 53rd MLG meeting (数理論理学研究集会), Shizuoka University, Shizuoka, November 30th, 2018.
- On a linear-logical decomposition of intuitionistic modal logic S4 (Joint work with Akira Yoshimizu). SLACS (記号論理と情報科学研究集会) 2018, Hokkaido University, Sapporo, August 8th, 2018.
- On general elimination rule and its computational structure. Early Spring Seminar on Lambda Calculus and Logic (ラムダ計算と論理の早春セミナー), Semboku, March 23rd, 2018.
- Toward a Geometry of Interaction for Modal Linear Logic (Joint work with Akira Yoshimizu). Proof Theory and Proving (証明論と証明活動), RIMS, Kyoto, December 26th, 2017.
- A Cut-free Higher-arity Sequent Calculus for Modal Logic S4. The 52nd MLG meeting (数理論理学研究集会), Shizuoka University, Shizuoka, December 3rd, 2017.
- A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction (Joint work with Ryosuke Igarashi). SLACS (記号論理と情報科学研究集会) 2017, Chiba Institute of Technology, Narashino, August 8th, 2017.
- On a computational interpretation of Rumfitt’s bilateral natural deduction (Joint work with Ukyo Suzuki). Kyoto Philosophical Logic Workshop II, Kyoto University, Kyoto, June 19th, 2017.
- Toward the Curry–Howard Isomorphism between Symmetric λ-calculus and Bilateral Natural Deduction. PhilLogMath (論数哲, 応用哲学会第8回研究大会2016 サテライト研究会), Ochanomizu University, Bunkyo-ku, May 6th, 2016.
Miscellaneous Document (written in Japanese)
- On categorical semantics of intuitionistic linear logic (直観主義線型論理の圏論的意味論について). December 11th, 2018. [ pdf ]
Program
- Homoiconic Lisp, 2019.3–. [ GitHub ]
Activity
Academic Activity
- 2020.1: POPL 2020, a student volunteer.
- 2017.9: ICFP 2017, a student volunteer co-captain in the organizing committee.
- 2016.9: ICFP 2016, a student volunteer co-chair in the organizing committee.
- 2015.7: LICS/ICALP 2015, a student volunteer.
Teaching
- Practical Constraint Programming (実践・制約プログラミング) at Kyoto Tachibana University. 2024 Fall.
- Calculus I (微分積分I) at Kyoto Tachibana University. 2024 Spring.
- AI Programming (AIプログラミング) at Kyoto Tachibana University. 2023 Fall, 2024 Fall.
- Introduction to Programming Language Implementation (プログラミング言語作成入門) at Kyoto Tachibana University. 2022 Fall, 2023 Fall.
- Exercises in Computer Programming II – Cross-faculty Course (プログラミング演習II・他学部開講) at Kyoto Tachibana University. 2023 Fall, 2024 Fall.
- Exercises in Computer Programming II (プログラミング演習II) at Kyoto Tachibana University. 2022 Fall, 2023 Fall.
- Data Structures and Algorithms (データ構造とアルゴリズム) at Kyoto Tachibana University. 2022 Spring, 2023 Spring, 2024 Spring.
- Computer Exercises (コンピュータ演習) at Kyoto Tachibana University. 2022 Spring, 2023 Spring, 2024 Spring.
- Exercises in Computer Programming I – Cross-faculty Course (プログラミング演習I・他学部開講) at Kyoto Tachibana University. 2023 Spring, 2024 Spring.
- Exercises in Computer Programming I (プログラミング演習I) at Kyoto Tachibana University. 2022 Spring, 2023 Spring, 2024 Spring.
- Python Programming II (Python実習2) at Kyoto Computer Gakuin. 2019 Fall.
- Python Programming I (Python実習1) at Kyoto Computer Gakuin. 2019 Spring.
- Ruby Programming II (Ruby実習2) at Kyoto Computer Gakuin. 2017 Fall, 2018 Fall.
- Ruby Programming I (Ruby実習1) at Kyoto Computer Gakuin. 2017 Spring, 2018 Spring.
Teaching Assistant
- Theory of Computational Complexity (計算量理論) at Kyoto University. 2016 Fall.
- Computation and Logic (計算と論理) at Kyoto University. 2015 Fall, 2016 Fall, 2017 Fall.
- Hardware and Software Laboratory Project 3: Software (計算機科学実験及演習3: ソフトウェア) at Kyoto University. 2015 Spring, 2018 Spring.
- Hardware and Software Laboratory Project 3: Hardware (計算機科学実験及演習3: ハードウェア) at Kyoto University. 2015 Spring.
Brief CV
- Dec. 4th, 1991. Born in Ise city, Mie prefecture, Japan.
- Mar. 2010. Graduated from Matsusaka High School.
- Apr. 2010–Mar. 2014. Undergraduate student, Faculty of Computer Science and Engineering, Kyoto Sangyo University.
- Mar. 2014. Bachelor of Computer Science and Engineering
- Bachelor’s thesis: An Implementation of the Game Semantics for Limit Computable Mathematics (極限計算可能数学のゲーム意味論の実装)
- Supervisor: Prof. Satoshi Kobayashi
- Apr. 2014–Sep. 2016. Master’s course student, Graduate School of Informatics, Kyoto University.
- Sep. 2016. Master of Informatics
- Master’s thesis: Syntactic Specifications by Singleton Code Types (シングルトンコード型による構文的仕様記述)
- Supervisor: Prof. Atsushi Igarashi
- Oct. 2016–Mar. 2022. Ph.D. course student, Graduate School of Informatics, Kyoto University.
- Mar. 2022. Withdrawal (with Research Guidance Approval)
- Supervisor: Prof. Atsushi Igarashi
- Apr. 2017–Mar. 2020. Part-time lecturer, Kyoto Computer Gakuin.
- Apr. 2020–Mar. 2022. Research specialist, STAIR Lab, Chiba Institute of Technology.
- Apr. 2022–Present. Assistant professor, Department of Information and Computer Science, Faculty of Engineering, Kyoto Tachibana University.
Contact
- Office: Room H623, Academic Links (アカデミックリンクス, the building labeled with “H” on the campus map), Kyoto Tachibana University, Yamada-cho 34, Oyake, Yamashina, Kyoto 607-8175, Japan.
- E-mail: yf [at] lambda.ski (The institution e-mail address fukuda-y [at] tachibana-u.ac.jp is also available)
Last modified: 05:29 UTC, Nov 12, 2024.