垂井淳

タルイジュン | TARUI JUN

所属機関・部署：
職名：准教授
ホームページURL (1件)： http://www.jtlab.cei.uec.ac.jp

研究分野 (2件)：数理情報学 , 情報学基礎論

研究キーワード (3件)： computational complexity , 計算量理論 , アルゴリズム

競争的資金等の研究課題 (8件)：

全件表示

論文 (38件)：

MISC (7件)：

垂井淳. [京都賞業績紹介]A.C.ヤオ/通信計算量理論:ヤオの卓越した独創の産物. 数学セミナー2022年1月号 https://amzn.to/3v13ibP. 2022. 20-25
Jun Tarui. Google Scholar Profile. Google Scholar. 2018
Jun Tarui. Google Scholar Profile: http://scholar.google.co.jp/citations?user=7hrsV9cAAAAJ. 2018
垂井淳. P≠NP予想,代数的計算量. 数学セミナー2013年12月号:P≠NP予想特集号. 2013. 52. 12. 18-22
Mitusnori Ogihara, Jun Tarui. Theory and Applications of Models of Computation 2011 Preface. THEORETICAL COMPUTER SCIENCE. 2013. 505. 1-1

書籍 (1件)：

Proceedings of TAMC2011: Theory and Applications of Models of Computation, 8th Annual Conference (Tokyo, Japan, May 23-25, 2011).
Springer-Verlag 2011

講演・口頭発表等 (14件)：

エクスパンダーと計算量理論
(エクスパンダーグラフの新しい構成手法の確立とその応用2 2023)
ブログは研究に役立つか?どのように?
(国際学術情報流通基盤整備事業(SPARC Japan)2015年第3回セミナー招待講演(会場:国立情報学研究所) 2016)
計算量理論のいろんな話題
(計算量理論秋学校講演(熱海, 9月24日--26日, 2012) 2012)
計算の複雑さと証明の複雑さ
(京大数理解析研究所研究集会「証明論と複雑性」(9月12日--14日, 2012) 2012)
Complexity of Finding a Duplicate in a Stream
(NII Shonan Meeting: "Large-Scale Distributed Computation" 2012)

学歴 (2件)：

学位 (3件)：

経歴 (4件)：

所属学会 (6件)：

情報処理学会 , 電子情報通信学会 , LA シンポジウム , EATCS , IEEE , ACM

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

垂井 淳