岡田 光弘  Okada Mitsuhiro

言語処理学会第31回年次大会発表論文集

巻: 5 ページ: 931-936

言語処理学会第31回年次大会発表論文集

巻: 5 ページ: 931-936

Proceedings of the 3rd International Conference on Human and Artificial Rat

巻: 15504 ページ: 3-17

10.1007/978-3-031-84595-6_1

The Architecture and Archaeology of Modern Logic, Springer

巻: 2024 ページ: 361-363

10.1007/978-3-031-52411-0_17

言語処理学会第30回年次大会発表論文集

巻: 1 ページ: 931-936

Diagrammatic Representation and Inference: Proceedings of 14th lnternatio1

巻: 14981 ページ: 232-248

10.1007/978-3-031-71291-3_19

Findings of the Association for Computational Linguistics: ACL 2024

巻: 1 ページ: 16063-16077

10.18653/v1/2024.findings-acl.950

言語処理学会第30回年次大会発表論文集

巻: 3月 ページ: 931-935

Ａｎｎａｌｓ　ｏｆ　ｔｈｅ　Ｊａｐａｎ　Ａｓｓｏｃｉａｔｉｏｎ　ｆｏｒ　Ｐｈｉｌｏｓｏｐｈｙ　ｏｆ　Ｓｃｉｅｎｃｅ

巻: 33 号: 0 ページ: 109-131

10.4288/jafpos.33.0_109

Diagrammatic Representation and Inference. Diagrams 2024. Lecture Notes

巻: 14981 ページ: 467-471

10.1007/978-3-031-71291-3_40

Ａｎｎａｌｓ　ｏｆ　ｔｈｅ　Ｊａｐａｎ　Ａｓｓｏｃｉａｔｉｏｎ　ｆｏｒ　Ｐｈｉｌｏｓｏｐｈｙ　ｏｆ　Ｓｃｉｅｎｃｅ

巻: 33 号: 0 ページ: 43-45

10.4288/jafpos.33.0_43

Proceedings of the 4th Natural Logic Meets Machine Learning Workshop, Association for Computational Linguistics

巻: 1 ページ: 1-11

三田哲学会編　哲学

巻: 146-1 ページ: 19-37

International Conference on Theory and Application of Diagrams. Springer, Cham.

巻: 11 ページ: 365-381

10.1007/978-3-030-54249-8_29

科学哲学

巻: 53 号: 2 ページ: 95-114

10.4216/jpssj.53.2_95

130008009646

三田哲学会編　哲学

巻: 146 ページ: 19-37

三田哲学会編　哲学

巻: 146

Logic, Language, and Security, Springer Lecture Notes in Computer Science

巻: 12300 ページ: 39-47

10.1007/978-3-030-62077-6_3

Rewriting Logic and Its Applications (WRLA 2020), Springer Lecture Notes in Computer Science

巻: 1232 ページ: 136-155

10.1007/978-3-030-63595-4_8

On-site Proc. of International Workshop on Rewriting Logic and its Applications, ETAPS2020-Event

巻: 10

On-site Proc. of International Workshop on Rewriting Logic and its Applications, ETAPS2020-Event

巻: 13

Publications of the Austrian Ludwig Wittgenstein Society New Series

巻: 27 ページ: 359-374

Electronic Proceedings in Theoretical Computer Science

巻: 288 ページ: 38-49

10.4204/eptcs.288.4

ACM Trans. Comput. Logic

巻: 21 号: 1 ページ: 1-44

10.1145/3343508

Twin Research and Human Genetics

巻: 22(6) 号: 6 ページ: 591-596

10.1017/thg.2019.109

120007166905

, Frontiers in Psychology

巻: 8 ページ: 1-5

10.3389/fpsyg.2017.01388

Leibniz International Proceeding Series, Proceedings of Computer Science Logic 2016Article No. 23;

巻: 23 ページ: 1-17

10.4230/LIPIcs.CSL.2016.34

Synthese

巻: 193 号: 3 ページ: 937-969

10.1007/s11229-015-0779-0

現象学年報

巻: 31 ページ: 1-12

現象学年報

巻: 31 ページ: 1-12

Frontiers in Psychology

巻: 6 ページ: 1-20

10.3389/fpsyg.2015.01712

Journal of Visual Languages and Computing, accepted

巻: 25 号: 3 ページ: 156-169

10.1016/j.jvlc.2013.08.007

Grazer Philosophische Studien

巻: 89 ページ: 59-76

精神神経学会雑誌

巻: 116 ページ: 825-831

Grazer Philosophische Studien

巻: 89 ページ: 57-76

O Que No Faz Pensar

巻: -

Journal of Visual Languages and Computing, accepted

巻: 25 ページ: 156-169

Grazer Philosophische Studien

巻: 89 ページ: 59-76

Grazer Philosophische Studien

巻: 89 ページ: 59-76

Shape 2013, CEUR Proceedings

巻: Accepted

24th International Conference on Rewriting Techniques and Applications (RTA’13)

巻: 21 ページ: 4-19

10.4230/LIPIcs.RTA.2013.4

Studia Logica (Special issue, Logic and Natural Language）

巻: 100-issue 4

Twin research and human genetics

巻: 16 ページ: 211-254

Twin Research and Human Genetics

巻: 16(1) 号: 1 ページ: 202-216

10.1017/thg.2012.131

Annual Report of the International Research Center for Philosophy, Toyo University

巻: Accepted

Twin research and human genetics

巻: Accepted.

O Que Nos Faz Pensar

巻: Accepted

Studia Logica

巻: 100 号: 4 ページ: 753-785

10.1007/s11225-012-9428-5

Proceedings of 3rd International Workshop on Euler Diagrams,CEUR Workshop Proceedings

巻: Vol-854 ページ: 17-31

Language and Information

巻: 21 号: 3 ページ: 365-391

10.1007/s10849-012-9160-6

Studia Logic

巻: 近刊　2011年５月採択済み

Philosophiques

巻: 39 ページ: 101-124

Philosophiques, vol. 39, n° 1, 2012, p. 101-124., SPECIAL ISSUE ON WITTGENSTEIN

巻: 39- n1 ページ: 101-124

日本認知科学会第28 回大会発表論文集

巻: － ページ: 269-274

Intelligence (In press)

Intelligence 37

ページ: 256-267

Annals of the Japan Association for Philosophy of Science 16巻

ページ: 1-18

110007033705

Lecture Notes in Computer Science vol.4846

ページ: 86-94

Journal of Logic, Language and Information 16

ページ: 35-61

Mathematical Structure in Computer Science (近刊)

Algebra, Meaning, and Computation. A Festschrift in Honor of Prof. Joseph Goguen 近刊

Reasoning and Cognition, (Keio University Press) 近刊

Reasoning and Cognition, (Keio University Press) 近刊

Algebra, Meaning, and Computation. A Festschrift in Honor of Prof. Joseph Goguen 近刊

Mathematical Structure in Computer Science (to appear)

Essays Dedicated to Joseph A. Goguen 2006

ページ: 616-642

Reasoning and Cognition, (Keio University Press) 近刊

Reasoning and Cognition, (Keio University Press) 近刊

Mathematical Structure in Computer Science 近刊

Electronic Notes in Theoretical Computer Science ; Proceedings of RULE '05(Invited Talk) (近刊)

La revue internationale de philosophie No.230

ページ: 449-481

Electronic Notes in Computer Science, Invited Paper of the 6th International Workshop on Rule-Based Programming (RULE'05) vol.147(1)

ページ: 73-92

6thlnternational Workshop on Rule-Based Programming (RULE'05) vol.147(1)

ページ: 73-92

In Image and Reasoning, eds.P.Grialou, G.Longo and M.Okada (近刊)

Electronic Notes in Computer Science, Invited Paper of the 6th International Workshop on Rule-Based Programming (RULE'05) vol.147(1)

ページ: 73-92

Electronic Notes in Theoretical Computer Science ; Proc.of RULE'05 (Invited Talk) (近刊)

La revue internationale de philosophie No.230

ページ: 449-481

Proceedings of Foundations of Computer Security '04(affiliated with LICS'04 and ICALP'04)

ページ: 97-113

Workshop on Foundations of Computer Security (FCS'04), Turku, Finland

ページ: 97-113

Proceedings of the International Symposium on Software Security 2002(ISSS2003) vol.3233

ページ: 65-86

La revue Internationale de philosophie "Intuitionism" No.230, special issue

ページ: 449-481

Lecture Note in Computer Science ; Proc.of the International Symposium on Software Security 2003 3233

ページ: 65-86

Proc.of International Workshop Foundations of Computer Security '04

ページ: 97-113

科学哲学(日本科学哲学会) 36・2

ページ: 79-102

130003640593

Lecture Note in Computer Science ; Proc.of the International Symposium on Software Security 2003 3233

ページ: 65-86

Workshop on Foundations 0f Computer Security (FCS'04)

ページ: 97-113

Workshop 0n New Approaches to Software Construction(WNASC 2004)

ページ: 45-57

Workshop on New Approaches to Software Construction (WNASC2004), Tokyo

ページ: 45-57

Proceedings of the International Symposium on Software Security 2003 (ISSS2003), Lecture Notes in Computer Science (Springer-Verlag) vol.3233

ページ: 65-86

科学哲学(日本科学哲学会) 36・2

ページ: 79-102

130003640593

Proc.of International Workshop Foundations of Computer Security '04

ページ: 97-113

Proceedings of Foundations of Computer Security '04 (Affiliated with LICS'04 and ICALPO4) Turku, Finland

ページ: 97-113

La revue internationale de philosophie No.230

ページ: 449-481

20th Annual Conference of Japan Society for Software Science and Technology

ページ: 5-5

130004638769

日本ソフトウエア科学会第20回全国大会予稿集

130004638769

Mathematical Structure in Computer Science (to appear in 2006)