田中 一之  TANAKA Kazuyuki

D. クライアン、S. シュアテル、B. メイブリン 原著　田中一之訳

192

講談社

D.クライアン、S.シュアテル、B.メイブリン原著　田中一之訳

192

講談社

田中一之

266

東京大学出版会

田中一之

266

東京大学出版会

田中一之

176

東京大学出版会

田中一之

188

東京大学出版会

T.フランセーン(原著)、田中一之(訳・解説)

250

みすず書房

田中一之

250

みすず書房

田中一之

305

東京大学出版会

田中一之編, 田中一之, 田中一之, 渕野昌, 松原洋, 戸田山和久著

318

東京大学出版会

田中一之(編), 田中一之, 渕野昌, 松原洋, 戸田山和久(著)

東京大学出版会

田中一之編, 田中一之, 鹿島亮, 山崎武, 白旗優著

296

東京大学出版会

W. Li, Y. Omata and K. Tanaka

RIMS Kokyuroku

巻: 印刷中

W. Li and K. Tanaka

RAIRO - Theoretical Informatics and Applications

巻: 51 ページ: 29-50

査読あり

Weiguang Peng, Ningning Peng, Keng Meng Ng，Kazuyuki Tanaka and Yue Yang,

Information Processing Letters

巻: 印刷中

謝辞記載あり / 国際共著/国際学会である / 査読あり

S. Okisaka, W. Peng, W. Li and K. Tanaka

Lecture Notes in Computer Science

巻: 10627 ページ: 286-297

国際共著/国際学会である / 査読あり

Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka

Quantum Information and Computation

巻: 16-3&4 ページ: 251-270

オープンアクセスとしている / 査読あり

Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka

Quantum Information and Computation

巻: 16-3&4 ページ: 251-270

査読あり

W. Peng, S. Okisaka, W. Li and K. Tanaka

IAENG International Journal of Computer Science

巻: 43-3 ページ: 318-325

査読あり

W. Peng, S. Okisaka, W. Li and K. Tanaka

IAENG International Journal of Computer Science

巻: 43-3 ページ: 318-325

謝辞記載あり / 査読あり

Weiguang Peng, Shohei Okisaka, Wenjuan Li, Kazuyuki Tanaka

International MultiConference of Engineers and Computer Scientists

巻: I ページ: 88-93

謝辞記載あり / 査読あり

Weiguang Peng, Shohei Okisaka, Wenjuan Li, Kazuyuki Tanaka

International MultiConference of Engineers and Computer Scientists

巻: I ページ: 88-93

謝辞記載あり / 査読あり

Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka

Lecture Notes in Computer Science

巻: 9198 ページ: 223-234

査読あり

KAKENHI-PROJECT-26540001, KAKENHI-PROJECT-15H03634

W. Li, S. Okisaka and K. Tanaka

RIMS Kokyuroku

巻: 印刷中

Wenjuan Li, Shohei Okisaka, Kazuyuki Tanaka

数理解析研究所講究録

巻: 1950 ページ: 121-137

Wenjuan Li, Shohei Okisaka, Kazuyuki Tanaka

数理解析研究所講究録

巻: 1950 ページ: 121-137

W. Li, S. Okisaka and K. Tanaka

RIMS Kokyuroku

巻: 印刷中

田中一之

数学セミナー

巻: 53-11 ページ: 20-25

Y.Takahashi, T.Yamazaki and K.Tanaka

Quantum Information and Computation

巻: 14 ページ: 1149-1164

査読あり

Y. Takahashi, T. Yamazaki and K. Tanaka

Quantum Information and Computation

巻: 14巻 ページ: 1149-1164

査読あり

Y. Takahashi, T. Yamazaki and K. Tanaka

Lecture Notes in Computer Science

巻: 8087 ページ: 801-812

査読あり

KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001

NingNing Peng, Kojiro Higuchi, Takeshi Ymazaki and Kazuyuki Tanaka

Lecture Notes in Computer Science

巻: 7318 ページ: 303-312

査読あり

KAKENHI-PROJECT-11J03577, KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001

K. Yoshii and K. Tanaka

Lecture Notes in Computer Science

巻: 7318 ページ: 374-383

査読あり

KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001

Ahmad Termimi Ab Ghani and Kazuyuki Tanaka

Lecture Notes in Computer Science

巻: 7037 ページ: 87-103

査読あり

KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001

Ahmad Termimi Ab Ghani, K.Tanaka

RIMS Kokyuroku, "Formal Systems and Computability Theory"

巻: 1729 ページ: 146-151

Ahmad Termimi Ab Ghani and Kazuyuki Tanaka

Lecture Notes in Computer Science

巻: 7037

査読あり

K.Mashiko, K.Yoshii, K.Tanaka

RIMS Kokyuroku, "Formal Systems and Computability Theory"

巻: 1729 ページ: 167-177

K. Tanaka

World Scientific

ページ: 345-352

査読あり

N. Peng, T. Yamazaki, K. Tanaka and C. G. Liu

ICCEE 2010 (Chengdu)

巻: v. 7 ページ: 353-357

査読あり

N.Peng, T.Yamazaki, K.Tanaka, C.G.Liu

Proceedings of ICCEE 2010 (Chengdu)

巻: 7 ページ: 353-357

査読あり

ChenGuang Liu, Kazuhiko Yasuda, Yong Yin, K. Tanaka

International Journal of Production Research

巻: 47(3) ページ: 667-685

査読あり

K.Tanaka

Proceedings of the 10th Asian Logic Conference

ページ: 345-352

査読あり

K.Tanaka

The 5th IEEE International Conference on Natural Computation

ページ: 207-211

査読あり

K.Tanaka

International Journal of Production Research 47(3)

ページ: 667-685

査読あり

ChenGuang Liu, Lin Zhu, K. Tanaka

The 5th IEEE International Conference on Natural Computation, China

巻: 14-16 ページ: 207-211

査読あり

C. G. Liu, K. Tanaka

IEICE Transactions on Information and Systems 91

ページ: 2517-2518

査読あり

M. O. MedSalem and K. Tanaka

World Scientific

ページ: 333-353

査読あり

C. G. Liu, K. Tanaka, T. Yamazaki

4rd International Conference on Natural Computation (ICNC'08), IEEE

ページ: 299-303

査読あり

C. G. Liu, T. Yamazaki and K. Tanaka

IEEE

ページ: 299-303

査読あり

C. G. Liu, T. Yamazaki, K. Tanaka

the 4^<th> International Conference on Natural Computation (ICNC'08), IEEE

ページ: 299-303

査読あり

C.G. Liu, K. Tanaka and T. Yamazaki

4rd International Conference on Natural Computation (ICNC'08), IEEE

ページ: 299-303

査読あり

M. O. MedSalem and K. Tanaka

Proc. of Computational Prospects of Infinity, World Scientific (印刷中)

査読あり

C. G. Liu, K. Tanaka and Y. Yin

The 11th IEEE International Symposium on Scientific and Engineering Computing (SEC-08)

巻: 16-18 ページ: 170-175

査読あり

C.G. Liu, K. Tanaka and T. Yamazaki

4rd International Conference on Natural Computation (ICNC'08), IEEE

ページ: 371-375

査読あり

C.G. Liu and K. Tanaka

IEICE Transactions on Information and Systems 91

ページ: 2517-2518

査読あり

C. G. Liu, K. Tanaka, T. Yamazaki

4rd International Conference on Natural Computation (ICNC'08), IEEE

ページ: 371-375

査読あり

C. G. Liu, K. Tanaka and T. Yamazaki

IEEE

ページ: 371-375

査読あり

C. Liu and K. Tanaka

Lecture Notes in Computer Science 4508

ページ: 241-250

査読あり

M.O.MedSalem, K.Tanaka

J. of Symbolic Logic (掲載決定)

C. Liu, K. Yasuda, Y. Yin and K. Tanaka

International Journal of Production Research (online)

査読あり

G.Kimura, H.Tanaka, M.Ozawa

Z. Naturforsch. 62a

ページ: 152-156

T.Nemoto, M.O.MedSalem, K.Tanaka

Mathematical Logic Quarterly (掲載決定)

T. Nemoto, M. O. MedSalem and K. Tanaka

Mathematical Logic Quarterly 53

ページ: 226-236

査読あり

G. Kimura, H. Tanaka, and M. Ozawa

Z. Naturforsch 62a

ページ: 152-156

査読あり

G. Kimura, H. Tanaka andM. Ozawa

Z. Naturforsch 62a

ページ: 152-156

査読あり

C. Liu and K. Tanaka

Info. Processing Letters 142(2)

ページ: 173-177

査読あり

T. Nemoto, M. O. MedSalem and K. Tanaka

Mathematical Logic Quarterly

巻: 53 ページ: 226-236

査読あり

M. O. MedSalem and K. Tanaka

Journal of Symbolic Logic 72

ページ: 452-462

査読あり

C. Liu and K. Tanaka

Lecture Notes in Computer Science 4616

ページ: 323-334

査読あり

G. Kimura, H. Tanaka and M. Ozawa

Phys Rev. A73

査読あり

G.Kimura, H.Tanaka, M.Ozawa

Phys. Rev. A 73

田中一之，沖坂祥平

日本数学会年会(東京大学)

田中一之，李文娟

日本数学会秋季総合分科会(山形大学)

S. Okisaka, W. Peng, W. Li and K. Tanaka

COCOA 2017 in Hong Kong

Kazuyuki Tanaka

IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics

シンガポール国立大学，シンガポール

2016-01-15

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

Kazuyuki Tanaka

IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics

シンガポール国立大学，シンガポール

2016-01-15

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

W. Li and K. Tanaka

Mathematical Logic and Its Applications

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

田中一之

情報処理学会第７７回全国大会

京都大学

2015-03-17

招待講演

田中一之

情報処理学会第７７回全国大会

京都大学

2015-03-17

招待講演

K.Tanaka and F. Pelupessy

日本数学会2015年会

明治大学

2015-03-22

K.Tanaka and F. Pelupessy

日本数学会2015年会

明治大学

2015-03-22

K.Tanaka and F. Pelupessy

日本数学会2015年会

明治大学

2015-03-22

K.Tanaka and F. Pelupessy

日本数学会秋季総合分科会

広島大学

2014-09-27

K. Tanaka

IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathmematics

シンガポール国立大学

2014-09-01

K. Tanaka

IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathmematics

シンガポール国立大学

2014-09-01

K.Tanaka and F. Pelupessy

日本数学会秋季総合分科会

広島大学

2014-09-27

K.Tanaka and F. Pelupessy

日本数学会秋季総合分科会

広島大学

2014-09-27

K. Tanaka

Asian Logic Conference

中国・中山大学

2013-09-18

Y. Takahashi, T. Yamazaki and K. Tanaka

The 38th International Symposium on Mathematical Foundations of Computer Science (MFCS 2013)

オーストリア・Institute of Science and Technology

2013-09-30

Kazuyuki Tanaka and Keisuke Yoshii

WORKSHOP ON PROOF THEORY AND COMPUTABILITY THEORY 2012

東京

N. Peng, K. Higuchi, T. Yamazaki and K. Tanaka

CiE 2012

英国ケンブリッジ大学

2012-06-19

K. Tanaka

Fourth Workshop on Game-Theoretic Probability and Related Topics

東京大学

2012-11-14

K. Yoshii and K. Tanaka

Workshop on Proof Theory and Computability Theory

東京晴海

2012-02-22

N. Peng, K. Higuchi, T. Yamazaki and K.Tanaka

CiE 2012

ケンブリッジ（英国）

K. Yoshii and K. Tanaka

CiE 2012

英国ケンブリッジ大学

2012-06-19

Ahmad Termimi Ab Ghani and Kazuyuki Tanaka

GameSec 2011

メリーランド（アメリカ合衆国）

Ahmad Termimi Ab Ghani and Kazuyuki Tanaka

GameSec 2011, Conference on Decision and Game Theory for Security

米国・メリーランド大学

2011-11-14

K.Tanaka

ICCEE2010

Univ.of Electronics Science and Technology of China(成都,中国)

2010-11-18

K. Tanaka

ICCEE2010 (University of Electronics Science and Technology of China)

中国成都, 中国電子科学技術大学

2010-11-18

K. Tanaka

5th ICNC and 6th FSKD

中国天津, 天津理工大学

2009-08-14

K.Tanaka

5^<th> ICNC and 6^<th> FSKD, 2009

Tianjin(中国)

2009-08-14

K. Tanaka

10th Asian Logic Conference

神戸, 神戸大学

2008-09-02

K. Tanaka

the 10th Asian Logic Conference

Kobe

2008-09-02

田中一之

Asian Logic Conference 2008 Kobe

神戸大学

2008-09-03

K. Tanaka

First International Conference, COCOA 2007

中国西安, 西安交通大学

2007-08-14

田中一之, 劉晨光

International Conference on Combinatorial Optimization and Applications(COCOA)

西安交通大学,中国

2007-08-14

K. Tanaka

Workshop on Logic

Ghent Univ., Belgium

招待講演

K. Tanaka

Asian Logic Conference

Guangzhou, China

招待講演

K. Tanaka

Fourth Workshop on Game-Theoretic Probability and Related Topics

東京大学情報理工

招待講演

K. Tanaka

Asian Logic Conference

Guangzhou, China

招待講演