岡田 光弘  Okada Mitsuhiro

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

巻: 1 ページ: 931-936

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

巻: 3月 ページ: 931-935

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

巻: 1 ページ: 1-11

三田哲学会編　哲学

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

科学哲学

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

10.4216/jpssj.53.2_95

130008009646

三田哲学会編　哲学

巻: 146 ページ: 19-37

三田哲学会編　哲学

巻: 146

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

巻: 11 ページ: 365-381

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

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

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

巻: 12300 ページ: 39-47

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

ACM Trans. Comput. Logic

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

10.1145/3343508

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

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

巻: 23 ページ: 1-17

10.4230/LIPIcs.CSL.2016.34

, Frontiers in Psychology

巻: 8 ページ: 1-5

10.3389/fpsyg.2017.01388

Synthese

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

10.1007/s11229-015-0779-0

Frontiers in Psychology

巻: 6 ページ: 1-20

10.3389/fpsyg.2015.01712

現象学年報

巻: 31 ページ: 1-12

現象学年報

巻: 31 ページ: 1-12

Grazer Philosophische Studien

巻: 89 ページ: 59-76

Journal of Visual Languages and Computing, accepted

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

10.1016/j.jvlc.2013.08.007

Journal of Visual Languages and Computing, accepted

巻: 25 ページ: 156-169

Grazer Philosophische Studien

巻: 89 ページ: 59-76

Grazer Philosophische Studien

巻: 89 ページ: 57-76

Grazer Philosophische Studien

巻: 89 ページ: 59-76

精神神経学会雑誌

巻: 116 ページ: 825-831

O Que No Faz Pensar

巻: -

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

巻: Accepted

Studia Logica (Special issue, Logic and Natural Language）

巻: 100-issue 4

Twin research and human genetics

巻: Accepted.

Shape 2013, CEUR Proceedings

巻: Accepted

Twin research and human genetics

巻: 16 ページ: 211-254

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

巻: 21 ページ: 4-19

10.4230/LIPIcs.RTA.2013.4

O Que Nos Faz Pensar

巻: Accepted

Studia Logica

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

10.1007/s11225-012-9428-5

Language and Information

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

10.1007/s10849-012-9160-6

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

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

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

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

Studia Logic

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

Philosophiques

巻: 39 ページ: 101-124

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

巻: － ページ: 269-274

Intelligence 37

ページ: 256-267

Intelligence (In press)

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

Reasoning and Cognition, (Keio University Press) 近刊

Mathematical Structure in Computer Science (to appear)

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) 近刊

Reasoning and Cognition, (Keio University Press) 近刊

Mathematical Structure in Computer Science 近刊

Essays Dedicated to Joseph A. Goguen 2006

ページ: 616-642

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

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

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

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

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

ページ: 73-92

La revue internationale de philosophie No.230

ページ: 449-481

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

ページ: 73-92

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

ページ: 97-113

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

ページ: 65-86

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

ページ: 45-57

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

ページ: 449-481

科学哲学(日本科学哲学会) 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

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

ページ: 45-57

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

ページ: 97-113

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

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

ページ: 97-113

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

ページ: 65-86

La revue internationale de philosophie No.230

ページ: 449-481

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

ページ: 65-86

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

130004638769

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

ページ: 5-5

130004638769

Mathematical Structure in Computer Science (to appear in 2006)