藤田 憲悦  Fujita Kenetsu

R. Ty, K. Fujita, K. Kawanishi

Proceedings of the Queueing Symposium, Stochastic Models and Their Applications

巻: -

K. Fujita

京都大学数理解析研究所 講究録

巻: 印刷中

K. Fujita

Electronic Proceedings in Theoretical Computer Science

巻: 235

査読あり

K. Nakazawa, K. Fujita, Y. Imagawa

Proceedings of the 6th International Workshop on Confluence

巻: -

査読あり

Kenetsu Fujita

Electronic Proceedings in Theoretical Computer Science

巻: Vol. 235

査読あり / 謝辞記載あり

K. Fujita, R. Kashima, Y. Komori, N. Matsuda

Studia Logica

巻: 103

査読あり

K. Fujita

京都大学数理解析研究所講究録

巻: 1950

謝辞記載あり / オープンアクセスとしている

Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, and Naosuke Matsuda

Studia Logica

巻: 印刷中

査読あり

K. Fujita

京都大学数理解析研究所講究録

巻: 印刷中

オープンアクセスとしている

Aleksy Schubert & Ken-etsu Fujita

Information Processing Letters

巻: 114-1,2 ページ: 72-75

査読あり

K. Fujita, A. Schubert

Theoretical Computer Science

巻: 549

査読あり / 謝辞記載あり

KAKENHI-PROJECT-24500025, KAKENHI-PROJECT-25400192

藤田 憲悦

数学 岩波書店

巻: 第66巻 第1号 ページ: 78-89

藤田憲悦

数学

巻: 66

査読あり

A. Scuhbert and K. Fujita

Information Processing Letters

巻: 114

査読あり

Ken-etsu Fujita & Aleksy Schubert

Leibniz International Proceedings in Informatics (RTA 2013 -- Rewriting Techniques and Applications 24th International Conference)

巻: 21 ページ: 190-205

査読あり

藤田憲悦

京都大学数理解析研究所講究録 （RIMS共同研究　証明論と複雑性）

巻: 1832 ページ: 73-87

藤田憲悦

京都大学数理解析研究所講究録

巻: 1832

K. Fujita and A. Schubert

Leibniz International Proceedings in Informatics

巻: 21

査読あり

K. Fujita, A. Schubert

Information and Computation

巻: 218

査読あり

K.Fujita

京都大学数理解析研究所講究録 1533

ページ: 64-85

K.Fujita

京都大学数理解析研究所講究録(代数、言語、計算システムにおけるアルゴリズム問題) 1503

ページ: 121-128

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

K.Fujita

Kyoto University RIMS Koukyuroku Vol.1503

ページ: 121-128

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

K.Fujita

京都大学数理解析研究所 講究録(代数,言語,計算システムにおけるアルゴリズム問題) 1503

ページ: 121-128

K.Fujita, M.Hasegawa

Kyoto University RIMS Koukyuroku Vol.1442

ページ: 97-114

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

K.Fujita

Lecture Notes in Computer Science 3461

ページ: 194-208

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

藤田 憲悦

LNCS 3461

ページ: 194-208

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

K.Fujita, M.Hasegawa

京都大学数理解析研究所講究録(証明論と計算論) 1442

ページ: 97-114

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

K.Fujita

Lecture Notes in Computer Science Vol.3461

ページ: 194-208

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

Ken-etsu Fujita

Lecture Notes in Computer Science Vol.3461

ページ: 194-208

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

Ken-etsu Fujita

Springer Lecture Notes in Computer Science 3461

ページ: 194-208

K.Fujita

京都大学数理解析研究所講究録(代数系,形式言語と計算論) 1437

ページ: 163-173

K.Fujita

京都大学数理解析研究所講究録(代数系、形式言語と計算論) 1437

ページ: 163-173

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

K.Fujita, M.Hasegawa

京都大学数理解析研究所講究録(証明論と計算論) 1442

ページ: 97-114

K.Fujita

Lecture Notes in Computer Science 3461

ページ: 194-208

K.Fujita

Kyoto University RIMS Koukyuroku Vol.1437

ページ: 163-173

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

Ken-etsu Fujita

Lecture Notes in Computer Science 3461

ページ: 194-208

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

K.Fujita

LNCS 3461

ページ: 194-208

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

Ken-etsu Fujita

21st Conference Proceedings Japan Society for Software Science and Technology (CD-R)

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

藤田 憲悦

日本ソフトウェア科学会第21回大会講演論文集 (CD-R)

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

Ken-etsu, Fujita

Lecture Notes in Computer Science 2701

ページ: 120-134

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

Ken-etsu Fujita

Lecture Notes in Computer Science 2701

ページ: 120-134

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

藤田 憲悦

コンピュータソフトウェア 20

ページ: 73-79

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

藤田 憲悦

LNCS 2701

ページ: 120-134

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

K.Fujita

LNCS 2701

ページ: 120-134

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

K.Fujita

Memoirs of the Faculity of Science and Enginnering(Shimane University, Series B : Mathematical Science) 35

ページ: 39-48

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

藤田 憲悦

Memoirs of the Faculity of Science and Enginnering(Shimane University, Series B : Mathematical Science) 35

ページ: 39-48

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

Ken-etsu, Fujita

Software computation 20

ページ: 73-79

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

Ken-etsu Fujita

Lecture Notes in Computer Science 2701

ページ: 120-134

K. Fujita

2nd Workshop on Mathematical Logic and its Applications (JSPS Core-to-Core Program)

国際共著/国際学会である

K. Fujita

48th TRS meeting

K. Fujita

日本数学会

K. Nakazawa, K. Fujita, Y. Imagawa

6th International Workshop on Confluence

国際共著/国際学会である

K. Fujita

日本数学会

K. Fujita

Proof Theory and Proof Activity, RIMS Kyoto University

K. Nakazawa and K. Fujita

JAIST JSPS Core-to-Core Program

Kyoto University

2016-09-16

K. Fujita

Mathematical Society of Japan

Kansai University

2016-09-18

藤田憲悦

電子情報通信学会2016年総合大会

九州大学

2016-03-16

招待講演

K. Fujita and K. Nakazawa

Japan Society of Software Science and Technology

Tohoku University

2016-09-06

K. Fujita

3rd Workshop on Rewriting Techniques for Program Transformation and Evaluation

University of Porto

2016-06-23

国際共著/国際学会である

K. Nakazawa, K. Fujita

日本ソフトウェア科学会

早稲田大学

2015-09-08

Ken-etsu Fujita & Aleksy Schubert

日本数学会2014年度年会

学習院大学（東京都）

K. Fujita

RIMS研究集会「証明論・計算論とその周辺」

京都大学数理解析研究所

2014-12-24 – 2014-12-26

K. Fujita

RIMS研究集会（証明論と複雑性）

京都大学数理解析研究所

K. Fujita

RIMS研究集会「証明論・計算論とその周辺」

京都大学数理解析研究所（京都府京都市）

2014-12-24 – 2014-12-26

藤田憲悦

日本ソフトウェア科学会第３０回大会

東京大学

中澤巧爾，藤田憲悦

第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)

松山市

2015-03-04 – 2015-03-06

藤田憲悦

日本ソフトウェア科学会第30回大会

東京大学（東京都）

K. Fujita and A. Schubert

日本数学会２０１４年度年会

学習院大学