-
博士(理学)(東京工業大学)
経歴 5
-
1997年12月 ~ 2000年3月工業技術院電子総合研究所 非常勤研究員
-
1998年4月 ~ 1999年3月一橋大学教養部非常勤講師 非常勤講師
-
1995年4月 ~ 1999年3月東京大学大学院理学系研究科(情報科学専攻) 助手
-
1996年4月 ~ 1996年9月千葉大学文学部行動科学科非常勤講師 非常勤講師
-
1992年4月 ~ 1995年3月日本学術振興会 特別研究員
学歴 1
-
東京工業大学 理工学研究科 情報科学
~ 1995年3月31日
委員歴 8
-
情報処理学会 調査研究運営委員会 ナチュラルコンピューティング研究 グループ(NC)幹事
2006年4月 ~ 継続中
-
情報処理学会 調査研究運営委員会 ナチュラルコンピューティング研究 グループ(NC)幹事
2006年4月 ~ 継続中
-
日本応用数理学会 「数理的技法による情報セキュリティ」研究部会 幹事
2006年4月 ~ 2010年3月
-
日本応用数理学会 「数理的技法による情報セキュリティ」研究部会 幹事
2006年4月 ~ 2010年3月
-
Workshop on Learning with Logics and Logics for Learning 2006 Program Committee
2005年10月 ~ 2006年10月
-
Workshop on Learning with Logics and Logics for Learning 2006 Program Committee
2005年10月 ~ 2006年10月
-
学習理論における組合せ論に関する研究会 世話人
2012年9月 ~
-
学習理論における組合せ論に関する研究会 世話人
2012年9月 ~
所属学協会 3
-
日本数学会
-
応用数理学会
-
人工知能学会
研究キーワード 2
-
タイリングと準結晶
-
統計論的学習理論
研究分野 3
-
自然科学一般 / 応用数学、統計数学 / 数学基礎・応用数学(数値解析・数理モデル(がん予測理論、最適化、データ解析)
-
自然科学一般 / 数学基礎 / 数学基礎・応用数学(数値解析・数理モデル(がん予測理論、最適化、データ解析)
-
自然科学一般 / 幾何学 / タイリング
受賞 1
-
日本ソフトウェア科学会第3回プログラミングおよびプログラミング言語ワークショップ発表賞
2001年3月23日 日本ソフトウェア科学会 プログラミングおよびプログラミング言語ワークショップ 発表賞
論文 49
-
Classification of spherical tilings by congruent quadrangles over pseudo-double wheels (II)—the isohedral case 査読有り
赤間 陽二
広島数学雑誌 48 (1) 1-34 2019年3月
-
The confluent terminating context-free substitutive rewriting system for the lambda-calculus with surjective pairing & terminal type 査読有り
Yohji Akama
Leibniz International Proceedings in Informatics, LIPIcs 84 1-19 2017年9月1日
出版者・発行元:Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl PublishingDOI: 10.4230/LIPIcs.FSCD.2017.6
ISSN:1868-8969
-
Phase behavior of a binary fluid mixture of quadrupolar molecules 査読有り
Masatoshi Toda, Shinji Kajimoto, Shuichi Toyouchi, Toshihiro Kawakatsu, Yohji Akama, Motoko Kotani, Hiroshi Fukumura
PHYSICAL REVIEW E 94 (5) 2016年11月
出版者・発行元:AMER PHYSICAL SOCDOI: 10.1103/PhysRevE.94.052601
ISSN:2470-0045
eISSN:2470-0053
-
Spherical tilings by congruent quadrangles: Forbidden cases and substructures 査読有り
Yohji Akama, Nico Van Cleemput
ARS MATHEMATICA CONTEMPORANEA 8 (2) 297-318 2015年
出版者・発行元:UP FAMNITISSN:1855-3966
eISSN:1855-3974
-
Mesoscopic Dynamics of Laser-induced Phase Separation in Water and 2-Butoxyethanol Mixtures Revealed by Nanosecond Time-resolved Light Scattering 査読有り
Shuichi Toyouchi, Shinji Kajimoto, Masatoshi Toda, Toshihiro Kawakatsu, Yohji Akama, Motoko Kotani, Hiroshi Fukumura
CHEMISTRY LETTERS 43 (12) 1838-1840 2014年12月
出版者・発行元:CHEMICAL SOC JAPANDOI: 10.1246/cl.140698
ISSN:0366-7022
eISSN:1348-0715
-
Realizability interpretation of PA by iterated limiting PCA 査読有り
Yohji Akama
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 24 (6) 1-34 2014年12月
出版者・発行元:CAMBRIDGE UNIV PRESSDOI: 10.1017/S0960129513000856
ISSN:0960-1295
eISSN:1469-8072
-
A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions 査読有り
John Case, Michael Ralston, Yohji Akama
Asian Logic Conference 2013 29-52 2014年10月1日
DOI: 10.1142/9789814678001_0002
-
Classification of spherical tilings by congruent quadrangles over pseudo-double wheels(I) ―a special tiling by congruent concave quadrangles 査読有り
Yohji Akama
Hiroshima Mathematical Journal 43 (3) 2013年11月1日
-
構造化照明蛍光顕微鏡の画像再構成アルゴリズムについて 査読有り
赤間陽二, 上條隆宣
応用数理 23 (4) 16-21 2013年
-
Classification of spherical tilings by congruent quadrangles over pseudo-double wheels (I) - a special tiling by congruent concave quadrangles 査読有り
Yohji Akama
Hiroshima Mathematical Journal 43 (3) 2013年
-
Random Fields on Model Sets with Localized Dependency and Their Diffraction 査読有り
Yohji Akama, Shinji Iizuka
JOURNAL OF STATISTICAL PHYSICS 149 (3) 478-495 2012年11月
出版者・発行元:SPRINGERDOI: 10.1007/s10955-012-0588-5
ISSN:0022-4715
-
A new order theory of set systems and better quasi-orderings 査読有り
Yohji Akama
Progress in Informatics 9 (9) 9-18 2012年3月
ISSN:1349-8614 1349-8606
-
Set systems: Order types, continuous nondeterministic deformations, and quasi-orders 査読有り
Yohji Akama
THEORETICAL COMPUTER SCIENCE 412 (45) 6235-6251 2011年10月
出版者・発行元:ELSEVIER SCIENCE BVDOI: 10.1016/j.tcs.2011.08.010
ISSN:0304-3975
-
主成分分析の固有値の一致性について
Yohji Akama, Yasutaka Uwano
人工知能 学会研究会資料 SIG-DMSM-A903 101-105 2010年3月30日
-
VC理論とWishart 行列の固有値の和の集中不等式 査読有り
Yohji Akama, Yasutaka Uwano
Collection of Technical Reports of the 12th Workshop on Information-Based Induction Sciences (IBIS 2009) 2009年10月19日
-
Gaussian Mixture Models and VC Dimensions
Yohji Akama
Proceedings of The Fourth International Workshop on Data-Mining and Statistical Science 2009年6月7日
-
Asymmetries of Cut-and-project Sets and Related Tilings 査読有り
Yohji Akama, Shinji Iizuka, Yutaka Akazawa
Interdisciplinary Information Sciences 15 (1) 99-113 2009年
出版者・発行元:東北大学DOI: 10.4036/iis.2009.99
ISSN:1340-9050
-
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory 査読有り
Yohji Akama
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS 5457 93-104 2009年
出版者・発行元:SPRINGER-VERLAG BERLINDOI: 10.1007/978-3-642-00982-2_8
ISSN:0302-9743
-
Consistent and coherent learning with delta-delay 査読有り
Yohji Akama, Thomas Zeugmann
INFORMATION AND COMPUTATION 206 (11) 1362-1374 2008年11月
出版者・発行元:ACADEMIC PRESS INC ELSEVIER SCIENCEISSN:0890-5401
-
主成分分析のVC次元
Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano
日本応用数理学会2008年度年会予稿集 337-338 2008年9月
-
統計的推論のVC次元
Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano
人工知能学会 SIG-FPAI-A801 9-13 2008年7月
-
主成分分析の汎化誤差などについて
赤間陽二, 上野康隆
人工知能基本問題研究会資料 SIG-FPAI-A703 2008年1月
-
Learning Integer Crystalline Structures
Yohji Akama
応用数理学会2007年度年会予稿 2007年9月
-
Omega-Rules and Learnability
Yohji Akama
Cooper, Kent, Lowe and Sorbi eds. Computation and Logic in the Real World(Technical report No. 487) 368 2007年6月
-
Omega-rules and Learnability
Yohji Akama
Proceedings of Computability and Logic in the Real World 2007年
-
Cut-and-project sets and their epsilon-duals 査読有り
Y. Akama, S. Iizuka
PHILOSOPHICAL MAGAZINE 87 (18-21) 2847-2854 2007年
出版者・発行元:TAYLOR & FRANCIS LTDDOI: 10.1080/14786430701373698
ISSN:1478-6435
-
Consistency Conditions for Inductive Inference of Recursive Functions 査読有り
Yohji Akama, Thomas Zeugmann
Letcture Notes in Computer Science 4384 2006年12月
-
Hierarchies of Consistency Learnings with Delay
Yohji Akama
人工知能学会研究会資料 2006年10月31日
-
格子の正例からの学習可能性について 査読有り
赤間 陽二
情報論的学習理論ワークショップ予稿集 2006年10月31日
-
Multiclass Multisurface Proximity Support Vector Machines 招待有り 査読有り
Yohji Akama, Taufik Sutanto
Workshop on Learning with Logics and Logics for Learning 2006年6月
-
Intrusion Detection System の Case-Smith 階層
赤間 陽二
人工知能学会研究会資料 2005年11月25日
-
関数の極限ラムダ計算による学習 査読有り
赤間 陽二
日本ソフトウェア科学会第22回大会論文集 2005年10月
-
Real number representations of graph-directed IFS attractors 査読有り
Yohji Akama, Shinji Iizuka
Proceedings of Second International Conference on Computability and Complexity in Analysis 3-24 2005年6月
-
計算可能無理数を基数とする記数法と計算可能実数
赤間 陽二, 飯塚 新司
京都大学数理解析研究所, 数理解析研究所講究録, 数学解析の理論的展開の計算機による支援・遂行可能性, 数理解析研究所講究録 1381 159-167 2004年6月
-
An arithmetical hierarchy of the law of excluded middle and related principles 招待有り 査読有り
Y Akama, S Berardi, S Hayashi, U Kohlenbach
19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS 192-201 2004年
出版者・発行元:IEEE COMPUTER SOCISSN:1043-6871
-
Limiting partial combinatory algebras 査読有り
Y Akama
THEORETICAL COMPUTER SCIENCE 311 (1-3) 199-220 2004年1月
出版者・発行元:ELSEVIER SCIENCE BVDOI: 10.1016/S0304-3975(03)00360-8
ISSN:0304-3975
-
$$beta-expansionに関連したFine距離とWalsh関数系
赤間 陽二, 竹内 大輔
京都大学数理解析研究所, 数理解析研究所講究録, 数学解析の理論的展開の計算機による支援・遂行可能性, 数理解析研究所講究録 1286 61-78 2002年6月
-
型つき極限計算系と圏論 査読有り
赤間 陽二, 林 晋
日本ソフトウェア科学会第18回大会論文集 2001年10月
-
Limiting Partial Combinatory Algebras
Yohji Akama
京都大学数理解析研究所, 数理解析研究所講究録, 圏論と証明論の新たな融合を目指して = Towards new interaction between category theory and proof theory 1217 1-22 2001年6月
-
A study, of Abramsky's Linear Chemical Abstract Machine 査読有り
S Mikami, Y Akama
TYPED LAMBDA CALCULI AND APPLICATIONS 1581 243-257 1999年
出版者・発行元:SPRINGER-VERLAG BERLINISSN:0302-9743
-
Translation of First-class Environments to Records 査読有り
Shinya Nishizaki Yohji Akama
Proceedings of the First Workshop on Explicit Substitutions : Theory Applications to Programs and Proofs, Tsukuba 1998年3月
-
SN combinators and partial combinatory algebras 査読有り
Y Akama
REWRITING TECHNIQUES AND APPLICATIONS 1379 302-316 1998年
出版者・発行元:SPRINGER-VERLAG BERLINDOI: 10.1007/BFb0052378
ISSN:0302-9743
-
A λ-to-CL Translation for Strong Normalization 査読有り
Yohji Akama
Proceedings of the Third International Conference on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, Springer-Verlag 1210 1-10 1997年
出版者・発行元:NoneISSN:0302-9743
-
Conservative Extensions of Polymorphic PCF 査読有り
Yohji Akama
Proceedings of Fuji International Workshop on Functional and Logic Programming 48-62 1996年6月
-
Normal proofs and their grammar 査読有り
M Takahashi, Y Akama, S Hirokawa
INFORMATION AND COMPUTATION 125 (2) 144-153 1996年3月
出版者・発行元:ACADEMIC PRESS INC JNL-COMP SUBSCRIPTIONSISSN:0890-5401
-
Strong Normalization and PER Model
Yohji Akama
IPSJ SIG Notes, 95-PRO-4, IPSJ 95 (114) 1-6 1995年11月
出版者・発行元:一般社団法人情報処理学会 -
Normal Proofs and Their Grammar 招待有り
Masako Takahashi, Yohji Akama, Sachio Hirokawa
Proceedings of International Conference on Theoretical Aspects of Computer Software, Lecture Notes in Computer Science, Springer-Verlag 789 465-494 1994年11月
-
On Mints' Reduction for ccc-Calculus 査読有り
Yohji Akama
Proceedings of the International Conference on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, Springer-Verlag 664 1-12 1993年3月
-
Deriving a Functional Knuth-Morris-Pratt Algorithm by Transformation 査読有り
Masato Takeichi, Yoji Akama
Journal of Information Processing 13 (4) 522-528 1990年1月1日
MISC 15
-
Review of "Elisa et al. Wulff shape emergence in graphene, Math. Models Methods Appl. Sci. 26, 2016"
赤間 陽二
Mathematical Review 2017年
-
書評「横浜発 確率・統計入門」
赤間 陽二
数理科学 626 59-59 2015年8月
出版者・発行元:サイエンス社 -
Review of "Cohen, Liron; Constable, Robert L. Intuitionistic ancestral logic as a dependently typed abstract programming language. Logic, language, information, and computation, 14--26, Lecture Notes in Comput. Sci., 9160, Springer, Heidelberg, 2015. (Re
Yohji Akama
Mathematical Review 2015年
-
Review of "Salvati and Walukiewicz. Using models to model-check recursive schemes, Log. Methods Comput.l Sci. 11 (2015)"
赤間 陽二
Mathematical Review 2015年
-
Review of "Fujita, Ken-etsu. Type problems for lambda calculi: from the theory of mathematical foundations to the structure of programming languages. (Japanese) Sūgaku 66 (2014), no. 1, 78–89"
Yohji Akama
Mathematical Review 2014年
出版者・発行元:American Mathematical Society -
Review of "Czédli, Gábor. Finite convex geometries of circles. Discrete Math. 330 (2014), 61–75."
Yohji Akama
Mathematical Review 2014年
出版者・発行元:American mathematical society -
Review of "Yang, Jed Rectangular. tileability and complementary tileability are undecidable. European J. Combin. 41 (2014), 20–34.''
Yohji Akama
Mathematical Review 2014年
出版者・発行元:American mathematical society -
Review of "Zappa, Emilio; Dykeman, Eric C.; Twarock, Reidun. On the subgroup structure of the hyperoctahedral group in six dimensions. Acta Crystallogr. Sect. A 70 (2014), no. 5, 417–428.''
Yohji Akama
Mathematical Review 2014年
-
Review of " Kuske, Dietrich Isomorphisms of scattered automatic linear orders. Theoret. Comput. Sci. 533 (2014)"
赤間 陽二
Mathematical Review 2014年
-
Review of " Kane. The average sensitivity of an intersection of half spaces. Res. Math. Sci. 1 (2014)"
赤間 陽二
Mathematical Review 2014年
-
Review: "Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen Measure transformer semantics for Bayesian machine learning"
Yohji Akama
Mathematical review 2013年
出版者・発行元:American mathematical society -
Review of "Senechal, Marjorie; Taylor, Jean E., Quasicrystals: the view from Stockholm. Math. Intelligencer 35 (2013), no. 2, 1--9."
Yohji Akama
Mathematical Review 2013年
出版者・発行元:American mathematical society -
Review of ``Li, Xingjie Helen, Luskin, Mitchell and Ortner, Christoph, Positive definiteness of the blended force-based quasicontinuum method, Multiscale Model. Simul. 10 (2012), no. 3, 1023--1045''
Yohji Akama
Mathematical Review 2013年
出版者・発行元:American mathematical society -
Review of "REVIEW: AOSHIMA AND YATA. STATISTICAL INFERENCE IN HIGH-DIMENSION LOW SAMPLE-SIZE SETTINGS, SUUGAKU EXPOSITION, VOL. 65, NO. 3, 2013.''
Yohji Akama
Mathematical Review 2013年
出版者・発行元:American mathematical society -
Review of "Borgstro"m, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen. Measure transformer semantics for Bayesian machine learning. Log. Methods Comput. Sci. 9 (2013). no.3, 3:11, 39pp.''
Yohji Akama
Mathematical Review 2013年
出版者・発行元:American mathematical society
講演・口頭発表等 64
-
Proving SN & CR of Extensional lambda-calculus with Terminal Types by Relativizing Goguen's Typed Operational Semantics
赤間 陽二
理論計算機科学と圏論ワークショップ 2018年3月19日
-
型理論の型つき操作的意味論と関数型言語 国際会議
赤間 陽二
IPL Workshop on Programming and Beyond 2018年3月1日
-
SN+CR Proof of Etensional lambda-calculus with Unit Types by a Relativized Typed Operational Semantics 国際会議
赤間 陽二
48th TRS meeting 2018年2月25日
-
Dezaの最後の問題 国際会議 招待有り
赤間 陽二
Franco-Japanese Days on Combinatorics and Optimization 2017 - In Honour of Michel Deza - 2017年12月4日
-
The confluent terminating context-free substitutive rewriting system for the lambda-calculus with surjective pairing and terminal type 国際会議
赤間 陽二
Foundational Structures for Computation and Deduction 2017年10月3日
-
The confluent terminating context-free substitutive rewriting system for the lambda-calculus with surjective pairing and terminal type 国際会議
Second International Conference on Formal Structures for Computation and Deduction 2017年9月3日
-
The confluent terminating context-free substitutive rewriting system for the lambda-calculus with surjective pairing and terminal type
CSCAT 2017(理論計算機科学と圏論ワークショップ) 2017年3月21日
-
Exact VC dimension of ellipsoids and consistency of maximum log-likelihood estimator for multivariate Gaussian mixtures
科 研費シンポジウム統計的モデリングと計算アルゴリズムの数理と 展開. 2017年2月18日
-
spherical tilings by congruent 4-gons on Archimedean dual skeletons 国際会議
12th annual meeting of the international academy of mathematical chemistry and 2016 international conference on mathematical chemistry 2016年7月4日
-
Spherical tilings by congruent 4-gons on Archimedean dual skeletons 国際会議
The 12th Annual Meeting of the International Academy of Mathematical Chemistry (IAMC) and the 2016 International Conference on Mathematical Chemistry (ICMC 2016) 2016年6月6日
-
(An)isohedrality and skeleton of spherical monohedral polygonal tilings 国際会議
Japan Conference on Discrete and Computational Geometry and Graphs 2015年9月14日
-
The rigidity, deformation and tile-transitivity of spherical tilings 国際会議
Japan Conference on Graph Theory and Combinatorics 2014年5月17日
-
Solution to spherical Hilbert eighteenth problem and the deformation of spherical tilings 国際会議
Canberra-Japan Meeting, “Pattern Formation: Mathematics and Materials” 2014年4月29日
-
SPHERICAL TILINGS BY CONGRUENT POLYGONS 国際会議
THE HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY, Department of Mathematics, Student-Faculty Colloquium 2014年3月14日
-
球面的ヒルベルトの第18問題の解決と球面タイリングの変形
直観幾何学 2014年2月10日
-
A NEW ORDER THEORY OF SET SYSTEMS, WQO AND BQO 国際会議
SigTheory/Algs, Department of Computer and Information Sciences, University of Delaware 2012年3月7日
-
Classification of spherical tilings by congruent quadrangles 国際会議
Department of applied mathemtics and computer science seminar 2012年2月14日
-
. CLASSIFICATION OF SPHERICAL TILINGS BY CONGRUENT QUADRANGLES 国際会議
Seminar at Department of Applied Mathematics and Computer Science 2012年2月9日
-
A new order theory of set systems, WQO and BQO
Verification Seminar 2012年1月31日
-
合同な四角形による球面タイリングの分類
アルゴリズムと計算理論の新展開 (RIMS 研究集会) 2012年1月30日
-
Epsilon-duals of model sets and diffraction measure of randomized model sets 国際会議
Shinji Iizuka
Workshop on Dynamical Systems and Aperiodic Order 2011年3月10日
-
VC dimension, measure concentration, and consistency of eigenvalues of sample covariance matrix
Yasutaka Uwano
東北大学数学教室談話会 2010年12月20日
-
Consistency of eigenvalues for principal component analysis 国際会議
Yasutaka Uwano
Statistics and Operations Research Seminars 2010年5月7日
-
主成分分析の固有値の一致性について
第12回データマイニングと統計数理研究会 2010年3月30日
-
Randomized Model Sets and Diffraction 国際会議
The First CREST-SBM International Conference on Random Media 2010年1月28日
-
可換シャッフルクローズド正規言語、ネーター性、および極限学習
人工知能学会第74回基本問題研究会 2009年9月14日
-
Gaussian Mixtgure Models and VC Dimensions
The Fourth International Workshop on Data-Mining and Statistical Science 2009年6月8日
-
Randomized Model Sets and Diffraction 国際会議
The 5th Asian International Workshop on Quasicrystals 2009年6月1日
-
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory 国際会議
The 3rd international conference on language and automata theory and application 2009年4月2日
-
準周期構造と数値積分との関連について
CREST「離散幾何学から提案する新物質創成と物性発現の解明」キックオフシンポジウム 2008年12月26日
-
主成分分析のVC次元
応用数理学会大会 2008年9月
-
不思議な対称性と双対性:準結晶とタイル張りから
応用数学連携フォーラム 2008年3月14日
-
Diffie-Hellman exponentiationを持つプロトコルの安全性の決定可能性
日本応用数理学会2007年春の研究部会 2008年3月4日
-
整数結晶構造の学習理論
応用数理学会大会 2007年9月15日
-
Multiclass Multisurface Proximity Support Vector Machines 国際会議
Taufik Sutanto
Fiftth Workshop onLearning with Logics and Logics for Learning 2007年6月18日
-
Omega-Rules and Learnability 国際会議
Computability in Europe 2007年6月18日
-
切断射影集合の数理
飯塚新司
「準周期タイリングとその周辺」RIMS 共同研究 2007年3月19日
-
Hierarchies of Delayed Consistency Learnings: Some Problems
2nd Type Theory Workshop 2007年3月7日
-
Diffie-Hellman exponentiation を持つプロトコルの安全性の決定可能性
日本応用数理学会 (JSIAM)「数理的技法による情報セキュリティ」研究部会 (FAIS)日本応用数理学会2007年春の研究部会連合発表会 2007年3月4日
-
ポスターセッション
情報論的学習理論ワークショップ 2006年11月1日
-
Cut-and-project Sets and Their Epsilon-duals 国際会議
Shinji Iizuka
Aperiodic '06 2006年9月17日
-
Consistency Conditions of Inductive Inference of Functions 国際会議
Fourth Workshop on Learning with Logics and Logics for Learning 2006年6月5日
-
Consistency Conditions of Inductive Inference of Functions 国際会議
Workshop on Learning with Logics and Logics for Learning 2006年6月5日
-
Consistent Learning of Virus Signatures from the Behaviour 国際会議
Type Theory Workshop 2006年1月23日
-
切断射影集合とそれに関するタイル張りの対称性
九州大学数理学研究院談話解 2005年12月14日
-
Intrusion Detection System の Case-Smith階層
人工知能学会基本問題研究会 2005年11月25日
-
ラムダ計算のための計算論的学習理論とその応用 国際会議
「代数学と計算」(AC2005) 2005年11月16日
-
Hierarchies of Delayed Consistency Learnings
人工知能学会基本問題研究会 2005年10月30日
-
関数の極限ラムダ計算による学習
日本ソフトウェア科学会全国大会 2005年9月
-
Computability and feasibility of real numbers via beta-adic representation 国際会議
Workshop on Beta-numeration, generalized substituions and tilings 2004年3月8日
-
Finite-type Arithmetic with 0i-oracle - Hierarchy Theorems of Constructive Arithmetics
日本数学会秋季大会 2003年9月
-
Systems of Typed Limiting Computations
ALGI 2002年12月16日
-
構成的算術の階層
日本数学会秋季大会 2002年9月
-
Fine metric and Walsh functions associated to beta-expansions
竹内大輔
日本数学会秋季大会 2002年9月
-
Typed Limiting Computation Systems and Categories 国際会議
Workshop on Type, Lambda, Logic and Automated Provers 2002年3月9日
-
Limit Computations with Type-free and Typed Systems
日本数学会秋季大会 2001年10月3日
-
Limiting Partial Combinatory Algebras Towards Infinitary Lambda-Calculi and Classical Logic 国際会議
15th International Workshop on Computer Science Logic 2001 2001年9月10日
-
型付き極限計算系と圏論
林晋
日本ソフトウェア科学会全国大会 2001年9月
-
Limiting partial combinatory algebras
第3回プログラミングおよびプログラミング言語ワークショップ 2001年3月21日
-
A Study of Abramsky's Linear Chemical Abstract Machine 国際会議
4th International Conference on Typed Lambda Calculi and Applications 1999年4月7日
-
SN Combinators and Partial Combinatory Algebras 国際会議
9th International Conference on Rewriting Techniques and Applications 1998年3月30日
-
A Lambda-to-CL Translations for Strong Normalization 国際会議
3rd International Conference on Typed Lambda Calculi and Applications 1997年4月2日
-
Conservative Extensions of Polymorphic PCF 国際会議
Fuji International Workshop on Functional and Logic Programming 1995年6月17日
-
On Mints' Reduction for ccc-Calculus 国際会議
International Conference on Typed Lambda Calculi and Applications 1993年3月16日
共同研究・競争的資金等の研究課題 5
-
離散幾何 競争的資金
制度名:Grant-in-Aid for Scientific Research
2006年4月 ~ 継続中
-
計算論的学習理論 競争的資金
制度名:Grant-in-Aid for Scientific Research
2004年4月 ~ 継続中
-
タイリング 競争的資金
2003年10月 ~ 継続中
-
単元型を持つ概外延的な型理論の操作的意味論と型検査アルゴリズム 競争的資金
赤間 陽二
提供機関:Kayamori Foundation of Informational Science Advancement
制度名:research on information science
2017年11月 ~ 2019年11月
-
統計的学習理論 競争的資金
制度名:Grant-in-Aid for Scientific Research
2008年4月 ~
社会貢献活動 5
その他 4
-
chemical graphのなかのpolycycleの球面幾何的研究
-
合同な5角形による球面タイリングの分類
-
「コンピュータのための数学」
-
コンピュータサイエンス入門