YASUGI Mariko  八杉 満利子

Takakazu Mori, Mariko, Yasugi and Yoshiki Tsujii

Takakazu Mori, Yoshiki Tsujii and Mariko, Yasugi

Yoshiki Tsujii, Takakazu Mori, Mariko, Yasugi and Hideki Tsuiki

Yoshiki Tsujii, Takakazu Mori, Mariko, Yasugi, Hideki Tsuiki

林晋, 八杉満利子(訳・解説)

309

岩波書店(岩波文庫)

林晋, 八杉満利子(訳・解説)

309

岩波書店(岩波文庫)

「研究成果報告書概要(和文)」より

林晋, 八杉満利子 (訳・解説)

309

岩波書店(岩波文庫)

S.Hayashi, M.Yasugi

309

Iwanami Bunko(Iwanami Shoten)

「研究成果報告書概要(欧文)」より

T.Mori, Y.Tsujii, M.Yasugi

Logical Methods in Computer Science

Volume: 9(3:9) Pages: 1-11

Peer Reviewed

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

Logical Methods in Coamputer Science

Volume: Vol.9(3:9) Pages: 1-11

Peer Reviewed

八杉滿利子

数理科学

Volume: 12月号 Pages: 60-61

Peer Reviewed

T.Mori, Y.Tsujii, M.Yasugi

University of Cape Town (Abstract集)

Pages: 17-17

Peer Reviewed

Mariko Yasugi, Masako Washihara

Scientiae Mathematicae Japonicae Vol.71

Pages: 331-341

Peer Reviewed

Mariko, Yasugi and Masako Washihara

Scientiae Mathematicae Japonicae

Volume: 71, No.3, No.23

Mariko Yasugi

Scientiae Mathematicae Japonicae

Volume: 71 Pages: 331-341

Peer Reviewed

T.Mori, Y.Tsujii, M.Yasugi

University of Cape Town (Abstract集)

Pages: 17-17

Peer Reviewed

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Automata, Formal Languages and Algebraic Systems(World Scientific)

Pages: 139-162

Peer Reviewed

Mariko Yasugi, Masako Washihara

Scientiae Mathematicae Japonicae

Volume: Vol.71 Pages: 331-341

Peer Reviewed

M.Yasugi

Scientiae Mathematicae Japonicae (掲載決定)

Peer Reviewed

M.Yasugi, M.Washihara

Scientiae Mathematicae Japonicae

Volume: 71 Pages: 331-341

Peer Reviewed

T.Mori, M.Yasugi, Y.Tsujii

Automata, Formal Languages and Algebraic Systems (World Scientific)

Pages: 139-162

Peer Reviewed

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Formal Languages and Algebraic Systems (World Scientific)

Pages: 139-162

Peer Reviewed

M.Yasugi, M.Washihara

Scientiae Mathematicae Japonicae(2010年3月10日掲載決定)

Peer Reviewed

T.Mori, M.Yasugi, Y.Tsujii

Automata, Formal Languages and Algebraic Systems (World Scientific)

Pages: 139-162

Peer Reviewed

Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 2009/2275

Pages: 245-256

Peer Reviewed

Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, Dagstuhl esearch Online Publication 2009/2275

Pages: 245-256

Peer Reviewed

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

Dagstuhl Research Online Publication

Volume: 2270 Pages: 185-196

Peer Reviewed

T.Mori, Y.Tsujii, M.Yasugi

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 2009/2270

Pages: 185-196

Peer Reviewed

Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki

Lecture Notes in Artificial Intelligence Vol.5489

Pages: 109-125

Peer Reviewed

Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 20 2009/2275

Pages: 245-256

Peer Reviewed

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis 2009/2270 Dagstuhl Research OnlinePublication

Pages: 185-196

Peer Reviewed

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Journal of Universal Computer Science Vol.15

Pages: 1264-1279

Peer Reviewed

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Journal of Universal Computer Science

Volume: Vol.15 Pages: 1264-1279

Peer Reviewed

T.Mori, M.Yasugi, Y.Tsujii

Journal of Universal Computer Science Vol.15

Pages: 1264-1279

Peer Reviewed

Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki

Dagstuhl Research Online Publication

Volume: 2275 Pages: 245-256

Peer Reviewed

Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki

Lecture Notes in Artificial Intelligence Vol.5489

Pages: 1264-1279

Peer Reviewed

T. Mori, M. Yasugi, Y. Tsujii

Mathematical Logic Quarterly 15巻6号(けいさい確定)

Pages: 1264-1279

Peer Reviewed

T.Mori, M.Yasugi, Y.Tsujii

Journal of Universal Computer Science 15

Pages: 1264-1279

Peer Reviewed

T.Mori, Y.Tsujii, M.Yasugi

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis DROPS 2009/2270

Pages: 185-196

Peer Reviewed

Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki

Lecture Notes in Artificial Intelligence Vol.5489

Pages: 109-125

Peer Reviewed

Takakazu Mori, Mariko, Yasugi, Yoshiki Tsujii

Journal of Universal Computer Science Issue

Volume: 6, vol.15 Pages: 1264-1279

Peer Reviewed

Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki

Lecture Notes in Artificial Intelligence

Volume: Vol.5489 Pages: 1264-1279

Peer Reviewed

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Mathematical Logic Quarterly Vol.54

Pages: 519-534

Peer Reviewed

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Electronic Notes in Theoretical Computer Science Vol.221

Pages: 141-152

Peer Reviewed

T. Mori, M. Yasugi, Y. Tsujii

Electronic Notes in Theoretical Computer Science 221

Pages: 141-152

Peer Reviewed

八杉満利子

哲学論叢(京都大学哲学論叢刊行会編) XXXV

Pages: 199-209

八杉満利子

哲学論叢(京都大学哲学論叢刊行会編) XXXV巻

Pages: 199-209

Peer Reviewed

八杉満利子、森 隆一

MAST (accepted)

Peer Reviewed

八杉満利子、森 隆一

Electronic Notes in Theoretical Computer Science、 ENTCS 202

Pages: 279-293

Peer Reviewed

T. Mori, M. Yasugi, Y. Tsujii

Mathematical Logic Quarterly 54

Pages: 519-534

Peer Reviewed

M.Yasugi, T.Mori, Y.Tsujii

Annals of the Japan Association for Philosophy of Science 15-2

Pages: 99-121

「研究成果報告書概要(和文)」より

M.Yasugi, T.Mori, Y.Tsujii

Annals of the Japan Association for Philosophy of Science 15-2

Pages: 99-121

M.Yasugi, T.Mori, Y.Tsujii

Annals of t he Japan Association for Philosophy of Science 15-2

Pages: 99-121

Yasugi, Mariko

Journal of Universal Computer Science 11-12

Pages: 2179-2191

M.Yasugi, et al.

Journal of Universal Computer Science 11-12

Pages: 2179-2191

「研究成果報告書概要(和文)」より

Yasugi, Mariko

Proceedings of CCA2005 : Informatik Berichte, FernUniversitaet in Hagen 326-7

Pages: 301-318

Mariko Yasugi

Topology and its Applications (Elsevier Science) 146-147

Pages: 563-582

Yasugi, Mariko et al.

Topology and its Applications 146-147

Pages: 563-582

Mariko Yasugi

Topology and its Applications (Elsevier Science) No.146-147

Pages: 563-582

M.Yasugi, et al.

Topology and its Applications 146-147

Pages: 563-582

「研究成果報告書概要(和文)」より

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

Computability and Complexity in Analysis (CCA2013)

Laboratoire larrain de recherché en informatique et ses applications (France, Nancy)

2013-07-08

T. Mori, Y. Tsujii and M. Yasugi

Ninth International Conference on Computability and Complexity in Analysis

Cambridge University, UK

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

Computability and Complexity in Analysis (CCA2012)

University of Cambridge, United Kingdom

2012-06-25

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

Computability and Complexity in Analysis (CCA2011)

University of Cape Town, South Africa.

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

Computability and Complexity in Analysis(CCA2011)

University of Cape Town, South Africa

2011-02-04

T.Mori, Y.Tsujii, M.Yasugi

CCA2011

Cape Town, 南アフリカ

2011-02-04

Takakazu Mori, Yoshiki Tsujii, Mariko, Yasugi

CCA2011

Cape Town

T.Mori, Y.Tsujii, M.Yasugi

CCA2011

Cape Town, 南アフリカ

2011-02-04

Mariko Yasugi, Masako Washihara

Workshop on Constructive Aspects of Logic and Mathematics

金沢エクセルホテル東急

2010-03-10

M.Yasugi

Workshop on Constructive Aspects of Logic and Mathematics

金沢エクセルホテル東急

2010-03-10

八杉満利子

科学基礎論学会

専修大学生田キャンパス.

2010-06-13

Mariko, Yasugi and Masako Washihara

Workshop on Constructive Aspects of Logic and Mathematics

Kanazawa

八杉満利子

科学基礎論学会

専修大学生田キャンパス

2010-06-13

Mariko Yasugi, Masako Washihara

Workshop on Constructive Aspects of Logic and Mathematics

金沢エクセルホテル東急

2010-03-10

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

CCA2009

University of Ljubljana, Slovenia

2009-08-21

八杉満利子

Logic, Game Theory and Social Choice 6

筑波大学

2009-08-29

Mariko Yasugi

TF4-E Workshop

京都産業大学

2009-03-23

Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki

CCA2009

University of Ljubljana, Slovenia

2009-08-21

八杉満利子

TF4-E Workshop

京都産業大学

2009-03-23

T.Mori, Y.Tsujii, M.Yasugi

CCA2009

Ljubljana, Slovenia

2009-08-20

Yoshiki Tsujii, Takakazu Mori, Mariko, Yasugi, Hideki Tsuiki

CCA2009

Ljubljana, Slovenia

2009-08-21

M.Yasugi

Logic, Game Theory, and Social Choice 6

筑波大学

2009-08-29

Y.Tsujii, T.Mori, M.Yasugi, H.Tsuiki

CCA2009

Ljubljana, Slovenia

2009-08-21

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

CCA2009

University of Ljubljana, Slovenia.

2009-08-21

Mariko, Yasugi

Session 4Ma : Simulation and fMRI Studies on Human Cognition and Social Phenomena

University of Tsukuba

2009-08-29

Mariko Yasugi

筑波大学

2009-08-29

Y. Tsujii, T. Mori, M. Yasugi, H. Tsuiki

CC-Seminar

京都産業大学

2009-01-23

Takakazu Mori, Yoshiki Tsujii and Mariko, Yasugi

CCA2009

Ljubljana, Slovenia

2009-08-20

Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki

CCA2009

University of Ljubljana, Slovenia.

2009-08-21

Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki

CCA2009

University of Ljubljana, Slovenia

2009-08-21

T.Mori, Y.Tsujii, M.Yasugi

CCA2009

University of Ljubljana, Slovenia

2009-08-20

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

CCA2008

FernUniversity-Hagen, Germany.

2008-08-23

Mariko Yasugi

Workshop on Constructivism: Logic and Mathematics

金沢文化ホール

2008-05-30

八杉満利子

Workshop on Constructivism : Logic and Mathematics

金沢文化ホール

2008-05-30

T. Mori, M. Yasugi, Y. Tsujii

5th International Conference on Computabi-lity and Complexity in Analysis

Hagen通信大学

2008-08-23

八杉満利子、辻井芳樹

Infinity in Logic and Computation

University of Cape Town

2007-11-24

T.Mori, Y.Tsujii, M.Yasugi

Tenth International Conference on Computability and Complexity in Analysis

Laboratoire larrain de recherche en informatique et ses applications (France, Nancy)