松岡聡の個人ページ

• １９９２年３月 名古屋工業大学電気情報工学科卒業卒業
• ２０００年３月 名古屋工業大学大学院工学研究科博士後期課程修了
• ２０００年３月 博士（工学）　（名古屋工業大学）

• ２００３年５月 ～２００５年６月　産総研　特別研究員
• ２００５年７月 ～２０１４年３月　産総研　研究員
• ２０１４年４月 ～　　　　　　　　産総研　主任研究員

１．最近の発表 (Recent Presentations)

• Satoshi Matsuoka. A Formal Model for a Linear Correctness Condition of Proof Nets of Multiplicative Linear Logic (presented at LOPSTR 2020) (Slides[PDF 800KB])
• Satoshi Matsuoka. A New Linear Time Correctness Condition for Multiplicative Linear Logic (presented at 2020 Joint Workshop Linearity & TLLA)
• Satoshi Matsuoka. A Linear Time Algorithm for Automatic Generation of Multiplicative Planar Proof Nets [PDF 900KB] (presented at TPP2019) (Abstract)

2．草稿 (Draft)

• Satoshi Matsuoka. A New Linear Time Correctness Condition for Multiplicative Linear Logic (link)

3．研究論文 (Research Papers)

• Satoshi Matsuoka. A Formal Model for a Linear Correctness Condition of Proof Nets of Multiplicative Linear Logic (doi:10.1007/978-3-030-68446-4_16)
• Satoshi Matsuoka. Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic(link ) (doi:10.1007/978-3-319-90686-7_2)
• Satoshi Matsuoka. Strong Typed Böhm Theorem and Functional Completeness on the Linear Lambda Calculus (doi:10.4204/EPTCS.207.1)
• Satoshi Matsuoka. A New Proof of P-time Completeness of Linear Lambda Calculus (doi:10.29007/svwc)
• Satoshi Matsuoka. A Coding Theoretic Study on MLL proof nets (doi:10.1017/S0960129511000582) (preprint)
• Satoshi Matsuoka. Weak typed Böhm theorem on IMLL (doi:10.1016/j.apal.2006.06.001) (preprint)

4．ソフトウェア (Software)

• ProofNetCalculator