八杉 満利子  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

巻 : 9(3:9) ページ : 1-11

査読あり

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

Logical Methods in Coamputer Science

巻 : Vol.9(3:9) ページ : 1-11

査読あり

八杉滿利子

数理科学

巻 : 12月号 ページ : 60-61

査読あり

T.Mori, Y.Tsujii, M.Yasugi

University of Cape Town (Abstract集)

ページ : 17-17

査読あり

Mariko Yasugi, Masako Washihara

Scientiae Mathematicae Japonicae Vol.71

ページ : 331-341

査読あり

Mariko, Yasugi and Masako Washihara

Scientiae Mathematicae Japonicae

巻 : 71, No.3, No.23

Mariko Yasugi

Scientiae Mathematicae Japonicae

巻 : 71 ページ : 331-341

査読あり

T.Mori, Y.Tsujii, M.Yasugi

University of Cape Town (Abstract集)

ページ : 17-17

査読あり

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Automata, Formal Languages and Algebraic Systems(World Scientific)

ページ : 139-162

査読あり

Mariko Yasugi, Masako Washihara

Scientiae Mathematicae Japonicae

巻 : Vol.71 ページ : 331-341

査読あり

M.Yasugi

Scientiae Mathematicae Japonicae (掲載決定)

査読あり

M.Yasugi, M.Washihara

Scientiae Mathematicae Japonicae

巻 : 71 ページ : 331-341

査読あり

T.Mori, M.Yasugi, Y.Tsujii

Automata, Formal Languages and Algebraic Systems (World Scientific)

ページ : 139-162

査読あり

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Formal Languages and Algebraic Systems (World Scientific)

ページ : 139-162

査読あり

M.Yasugi, M.Washihara

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

査読あり

T.Mori, M.Yasugi, Y.Tsujii

Automata, Formal Languages and Algebraic Systems (World Scientific)

ページ : 139-162

査読あり

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

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

ページ : 245-256

査読あり

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

ページ : 245-256

査読あり

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

Dagstuhl Research Online Publication

巻 : 2270 ページ : 185-196

査読あり

T.Mori, Y.Tsujii, M.Yasugi

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

ページ : 185-196

査読あり

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

Lecture Notes in Artificial Intelligence Vol.5489

ページ : 109-125

査読あり

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

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

ページ : 245-256

査読あり

Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

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

ページ : 185-196

査読あり

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Journal of Universal Computer Science Vol.15

ページ : 1264-1279

査読あり

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Journal of Universal Computer Science

巻 : Vol.15 ページ : 1264-1279

査読あり

T.Mori, M.Yasugi, Y.Tsujii

Journal of Universal Computer Science Vol.15

ページ : 1264-1279

査読あり

Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki

Dagstuhl Research Online Publication

巻 : 2275 ページ : 245-256

査読あり

Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki

Lecture Notes in Artificial Intelligence Vol.5489

ページ : 1264-1279

査読あり

T. Mori, M. Yasugi, Y. Tsujii

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

ページ : 1264-1279

査読あり

T.Mori, M.Yasugi, Y.Tsujii

Journal of Universal Computer Science 15

ページ : 1264-1279

査読あり

T.Mori, Y.Tsujii, M.Yasugi

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

ページ : 185-196

査読あり

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

Lecture Notes in Artificial Intelligence Vol.5489

ページ : 109-125

査読あり

Takakazu Mori, Mariko, Yasugi, Yoshiki Tsujii

Journal of Universal Computer Science Issue

巻 : 6, vol.15 ページ : 1264-1279

査読あり

Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki

Lecture Notes in Artificial Intelligence

巻 : Vol.5489 ページ : 1264-1279

査読あり

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Mathematical Logic Quarterly Vol.54

ページ : 519-534

査読あり

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Electronic Notes in Theoretical Computer Science Vol.221

ページ : 141-152

査読あり

T. Mori, M. Yasugi, Y. Tsujii

Electronic Notes in Theoretical Computer Science 221

ページ : 141-152

査読あり

八杉満利子

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

ページ : 199-209

八杉満利子

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

ページ : 199-209

査読あり

八杉満利子、森 隆一

MAST (accepted)

査読あり

八杉満利子、森 隆一

Electronic Notes in Theoretical Computer Science、 ENTCS 202

ページ : 279-293

査読あり

T. Mori, M. Yasugi, Y. Tsujii

Mathematical Logic Quarterly 54

ページ : 519-534

査読あり

M.Yasugi, T.Mori, Y.Tsujii

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

ページ : 99-121

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

M.Yasugi, T.Mori, Y.Tsujii

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

ページ : 99-121

M.Yasugi, T.Mori, Y.Tsujii

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

ページ : 99-121

Yasugi, Mariko

Journal of Universal Computer Science 11-12

ページ : 2179-2191

M.Yasugi, et al.

Journal of Universal Computer Science 11-12

ページ : 2179-2191

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

Yasugi, Mariko

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

ページ : 301-318

Mariko Yasugi

Topology and its Applications (Elsevier Science) 146-147

ページ : 563-582

Yasugi, Mariko et al.

Topology and its Applications 146-147

ページ : 563-582

Mariko Yasugi

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

ページ : 563-582

M.Yasugi, et al.

Topology and its Applications 146-147

ページ : 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

筑波大学

2009-08-29

Mariko, Yasugi

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

University of Tsukuba

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)