AKAMA Yohji 赤間陽二

Researcher Number	30272454
Other IDs
Affiliation (Current)	2019: 東北大学, 理学研究科, 准教授
Affiliation (based on the past Project Information) *help	2016 – 2018: 東北大学, 理学研究科, 准教授 2015: 東北大学, 理学(系)研究科(研究院), 准教授 2014: 東北大学, 大学院理学研究科, 准教授 2009 – 2011: Tohoku University, 大学院・理学研究科, 准教授 2009: 東北大学, 理学系研究科, 准教授 … More
Review Section/Research Field	Principal Investigator 計算機科学 / Fundamental theory of informatics / General mathematics (including Probability theory/Statistical mathematics) / Foundations of mathematics/Applied mathematics Except Principal Investigator Geometry / General mathematics (including Probability theory/Statistical mathematics) / Fundamental theory of informatics / Intelligent informatics / 計算機科学
Keywords	Principal Investigator 部分組合せ代数 / 組合せ論理 / タイリング / 翻訳 / 環境計算 / 切断射影集合 / bisimulation / better quasi-ordering / well quasi-order / Strong normalization … More Except Principal Investigator 2階算術 / 数理論理学 / 準結晶 / WKL_0 / 数学基礎論 / 逆数学 / second order arithmetic / lambda calculus / 帰納論理 / 形式的証明 / 量子ホール効果 / reverse mathematics / ロジック / 知識発見 / mathematical logic / crystallography / 離散幾何解析 / 型理論 / 一般化されたリーマン和 / Inductive inference / 結晶構造の標準的実現 / 原始的ピタゴラス数 / inductive inference / 応用数学 / 学習理論 / 論理構造 / 算術のモデル / 非構成的論理 / 機械学習 / 計算論 / nonstandard method / 構成的数学 / 包含排除の原理 / 格子欠陥 / 非可換幾何 / 情報基礎 / 超準的手法 / formal arithmetic / 結晶的tight frame / tight frame / 形式算術 / 和公式 / classical proof execution / WKLo / 原始的格子点 / 結晶格子 / 古典論理証明実行 / グラスマン多様体 / 非構成的原理 / ラムダ計算 / 算術的準結晶 / 一様配置 / 下方集合 / bounded arithmetic / 学習と発見 / 非可換幾何学 / 構造データ / 形式的技法 / 限定算術 / 有理点 / 極限計算 / type theory / logical structures / データマイニング / theory of computation / 証明論 / 計算代数 / 計算論的学習 Less

球面タイリングの対称性と変形Principal InvestigatorOngoing
- Principal Investigator
  
  赤間陽二
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Tohoku University
離散幾何解析学の進展Ongoing
- Principal Investigator
  
  砂田利一
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Geometry
- Research Institution
  Meiji University
Mathematical approach to materials science by using non-commutative geometry
- Principal Investigator
  
  KOTANI Motoko
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Geometry
- Research Institution
  Tohoku University
Efficiency for machine to learn discrete geometric objectsPrincipal Investigator
- Principal Investigator
  
  AKAMA Yohji
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
Knowledge Discovery from Structured Data with Efficient Methods of Searching Lower Sets Based on Frequency
- Principal Investigator
  
  YAMAMOTO Akihiro
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyoto University
Reverse Mathematics in Constructive Mathematics
- Principal Investigator
  
  ISHIHARA Hajime
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
近似プログララムの計算論-古典論理の証明のテストにむけて-Principal Investigator
- Principal Investigator
  
  赤間陽二
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
Logic of Limit Computing and its Applications
- Principal Investigator
  
  HAYASHI Susumu
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Kobe University
Comparative studies on nonstandard methods and constructive methods
- Principal Investigator
  
  TANAKA Kasuyuki
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
変換系と翻訳の理論と応用Principal Investigator
- Principal Investigator
  
  赤間陽二
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo
Studies on logical structures of arithmetic and computation
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  TOHOKU UNIVERSITY
ゲーム理論とプログラム言語の意味論Principal Investigator
- Principal Investigator
  
  赤間陽二
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo

All 2017 2016 2014 2013 2012 2011 2010 2009 2008 2007 2005 2004 Other

All Journal Article Presentation

[Journal Article] The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type2017
- Author(s)
  Y. Akama
- Journal Title
  
  2nd International Conference on Formal Structures for Computation and Deduction
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02055
[Journal Article] Mesoscopic Dynamics of Laser-induced Phase Separation in Water and 2-Butoxyethanol Mixtures Revealed by Nanosecond Time-resolved Light Scattering2014
- Author(s)
  Shuichi Toyouchi, Shinji Kajimoto, Masatoshi Toda, Toshihiro Kawakatsu, Yohji Akama, Motoko Kotani, Hiroshi Fukumura
- Journal Title
  
  Chemistry Letters
  
  Volume: 43(12) Issue: 12 Pages: 1838-1840
- DOI
  10.1246/cl.140698
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654020
[Journal Article] Classification of spherical tilings by congruent quadrangles over pseudo-double wheels (I) - a special tiling by congruent concave quadrangles.2013
- Author(s)
  Yohji AKAMA
- Journal Title
  
  Hiroshima Mathematical Journal
  
  Volume: 43 Pages: 285-304
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654020
[Journal Article] Classification of spherical tilings by congruent quadrangles over pseudo-double wheels (I) -- a special tiling by congruent concave quadrangles2013
- Author(s)
  Yohji Akama
- Journal Title
  
  Hiroshima Math. J.
  
  Volume: 43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654020
[Journal Article] Random Fields on Model Sets with Localized Dependency and Their Diffraction2012
- Author(s)
  Yohji Akama and Shinji Iizuka
- Journal Title
  
  Journal of Statistical Physics
  
  Volume: 149
- DOI
  10.1007/s10955-012-0588-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654020
[Journal Article] A new order theory of set systems and better quasi-orderings"2012
- Author(s)
  Yohji Akama
- Journal Title
  
  Progress in Informatics
  
  Volume: Vol.9 Pages: 9-18
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] A new order theory of set systems and better quasi-orderings2012
- Author(s)
  Yohji Akama
- Journal Title
  
  Progress in Informatics
  
  Volume: 9 Pages: 9-18
- DOI
  10.2201/niipi.2012.9.3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] Set systems : order types2011
- Author(s)
  Yohji Akama
- Journal Title
  
  continuous nondeterministic deformations, and quasi-orders, Theoretical Computer Science
  
  Volume: Vol.412 Pages: 6235-6251
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] Set systems : order types, continuous nondeterministic deformations, and quasi-orders2011
- Author(s)
  Yohji Akama
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 412 Pages: 6235-6251
- DOI
  10.1016/j.tcs.2011.08.010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] Set systems: order types, continuous nondeterministic deformations, and quasi-orders2011
- Author(s)
  Yoji Akama
- Journal Title
  
  Theoret. Comput. Sci.
  
  Volume: 412巻 Pages: 6235-6251
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23654020
[Journal Article] VC Dimensions of Principal Component Analysis2010
- Author(s)
  Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano
- Journal Title
  
  Discrete and Computational Geometry
  
  Volume: Vol.44, No.3 Pages: 589-598
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] VC Theory and a Concentration Inequality for Sums of Eigenvalues of Wishart Matrix2010
- Author(s)
  Yohji Akama and Yasutaka Uwano
- Journal Title
  
  (社)人工知能学会データマイニングと統計数理研究会
  
  Pages: 214-219
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] VC Dimensions of Principal Component Analysis2010
- Author(s)
  Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano
- Journal Title
  
  Discrete and Computational Geometry (未定, 印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] 可換シャッフルクローズド正規言語, ネーター性, および極限学習2009
- Author(s)
  赤間陽二
- Journal Title
  
  人工知能学会研究会資料SIG-FPAI-A901
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory2009
- Author(s)
  Yohji Akama
- Journal Title
  
  Lecture Notes in Computer Science 5457
  
  Pages: 93-104
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] Commutative Regular Shuffle Closed Languages2009
- Author(s)
  Yohji Akama
- Journal Title
  
  Noetherian Property, and Learning Theory, Lecture Notes in Computer Science
  
  Volume: Vol.5457 Pages: 93-104
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory2009
- Author(s)
  Yohji Akama
- Journal Title
  
  Lecture Notes in Computer Science 5457
  
  Pages: 93-104
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300046
[Journal Article] Gaussian Mixture models and VC dimensions2009
- Author(s)
  Yohji Akama
- Journal Title
  
  人工知能学会研究会資料SIG-FPAI-A801
- Data Source
  KAKENHI-PROJECT-21540105
[Journal Article] Computing Characteristic Sets of Bounded Unions of Polynomial Ideals2008
- Author(s)
  Itsuo Takamatsu, Masanori Kobayashi, Hiroo Tokunaga and
- Journal Title
  
  Lecture Notes in Artificial Intelligence 4914
  
  Pages: 318-329
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300046
[Journal Article] Computing Characteristic Sets of Bounded Unions of Polynomial Ideals2008
- Author(s)
  Itsuo Takamatsu, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto
- Journal Title
  
  Lecture Notes in Artificial Intelligence 4914
  
  Pages: 318-32
- Data Source
  KAKENHI-PROJECT-19300046
[Journal Article] Intrusion Detection SystemのCase-Smith階層2005
- Author(s)
  赤間陽二
- Journal Title
  
  人工知能学会研究会資料SIG-FPAI A-503-14
  
  Pages: 81-85
- Data Source
  KAKENHI-PROJECT-15700001
[Journal Article] Real number representations of graph-directed IFS attractors2005
- Author(s)
  Yohji Akama, Shinji Iizuka
- Journal Title
  
  Proceedings of Second international Conference on Computability and Complexity in Analysis 326-7
  
  Pages: 3-24
- Data Source
  KAKENHI-PROJECT-15700001
[Journal Article] An arithmetical hierarchy of the law of excluded middle and related principles2004
- Author(s)
  Y.Akama, S.Berardi, U.Kohlenbach, S.Hayashi
- Journal Title
  
  Proceedings of 19^<th> annual IEEE symposium on logic in computer science
  
  Pages: 192-201
- Data Source
  KAKENHI-PROJECT-15700001
[Presentation] Deza's last problems2017
- Author(s)
  Yohji Akama
- Organizer
  Franco-Japanese Days on Combinatorics and Optimization 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05247
[Presentation] Spherical tilings by congruent 4-gons on Archimedean dual skeletons2016
- Author(s)
  Yohji Akama
- Organizer
  The 12th Annual Meeting of the International Academy of Mathematical Chemistry (IAMC) and the 2016 International Conference on Mathematical Chemistry (ICMC 2016)
- Place of Presentation
  Nankai University, Tsianjin, China
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05247
[Presentation] The rigidity, deformation and tile-transitivity of spherical tilings2014
- Author(s)
  赤間　陽二
- Organizer
  Japan Conference on Graph Theory and Combinatorics
- Place of Presentation
  日本大学（東京都世田谷区）
- Year and Date
  2014-05-19
- Data Source
  KAKENHI-PROJECT-23654020
[Presentation] Solution to spherical Hilbert eighteenth problem and the deformation of spherical tilings2014
- Author(s)
  赤間　陽二
- Organizer
  Canberra - Japan Meeting, “Pattern Formation: Mathematics and Materials”.
- Place of Presentation
  Australia National University, Canberra, Australia
- Year and Date
  2014-04-29
- Data Source
  KAKENHI-PROJECT-23654020
[Presentation] A new order theory of set systems, WQO and BQO2012
- Author(s)
  Yohji Akama
- Organizer
  Verification Seminar, 北陸先端科学技術大学院大学
- Place of Presentation
  金沢
- Year and Date
  2012-01-31
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] A new order theory of set systems, WQO AND BQO, SigTheory/Algs Talk2012
- Author(s)
  Yohji Akama
- Organizer
  Department of Computer and Information Sciences
- Place of Presentation
  University of Delaware, USA
- Year and Date
  2012-03-07
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] A new order theory of set systems, WQO and BQO2012
- Author(s)
  赤間陽二
- Organizer
  Verification Seminar
- Place of Presentation
  北陸先端科学技術大学院大学
- Year and Date
  2012-01-31
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] A new order theory of set systems, WQO and BQO2012
- Author(s)
  赤間陽二
- Organizer
  SigTheory/Algs Talk
- Place of Presentation
  Department of Computer and Information Sciences, University of Delaware (USA)
- Year and Date
  2012-03-07
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] Set systems : Order types, continuous nondeterministic deformations, and quasi-orders2011
- Author(s)
  Yohji Akama
- Organizer
  第4回九州大学組合せ数学セミナー
- Place of Presentation
  福岡
- Year and Date
  2011-11-26
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] Set systems : Order types, continuous nondeterministic deformations, and quasi-orders2011
- Author(s)
  赤間陽二
- Organizer
  第4回九州大学組合せ数学セミナー
- Place of Presentation
  九州大学
- Year and Date
  2011-11-26
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] On consistency of eigenvalues for principal component analysis2010
- Author(s)
  赤間陽二
- Organizer
  第12回人工知能学会データマイニングと統計数理研究会
- Place of Presentation
  立川市
- Year and Date
  2010-03-30
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] Consistency of eigenvalues for principal component analysis Statistics and Operations Research Seminars2010
- Author(s)
  Yohji Akama and Yasutaka Uwano
- Organizer
  Department of Economics, Pompeu Fabra University
- Place of Presentation
  Spain
- Year and Date
  2010-05-06
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] 主成分分析の固有値の一致性について2010
- Author(s)
  赤間陽二, 上野康隆
- Organizer
  第12回データマイニングと統計数理研究会
- Place of Presentation
  統計数理研究所, 東京
- Year and Date
  2010-03-30
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] Consistency of eigenvaluos for principal component analysis2010
- Author(s)
  Yohji Akama
- Organizer
  Statistics and Operations Research Seminars
- Place of Presentation
  Department of Economics, Pompeu Fabra University, Spain
- Year and Date
  2010-05-07
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] 統計的学習の効率評価理論について2010
- Author(s)
  赤間陽二
- Organizer
  東北大学数学専攻談話会
- Place of Presentation
  東北大学
- Year and Date
  2010-12-20
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] 可換シャッフルクローズド正規言語, ネーター性, および極限学習2009
- Author(s)
  赤間陽二
- Organizer
  人工知能学会第74回FPAI研究会
- Place of Presentation
  広島市立大学, 広島
- Year and Date
  2009-09-14
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory2009
- Author(s)
  Yohji Akama
- Organizer
  The 3rd international conference on Language and automata theory and application
- Place of Presentation
  Tarragona, Universitat Rovira i Virgili, Spain
- Year and Date
  2009-04-03
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] Gaussian Mixture Models and VC-Doimensions2009
- Author(s)
  Yohji Akama
- Organizer
  The Fourth International Workshop on Data-Mining and Statistical Science
- Place of Presentation
  京都
- Year and Date
  2009-07-08
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] Gaussian Mixture Models and VC Dimensions2009
- Author(s)
  赤間陽二
- Organizer
  The Fourth International Workshop on Data-Mining and Statistical Science
- Place of Presentation
  京都市
- Year and Date
  2009-06-08
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] VC Theory and a Concentration Inequality for Sums of Eigenvalues of Wishart Matrix2009
- Author(s)
  上野康隆, 赤間陽二
- Organizer
  第12回情報論的学習理論ワークショップ
- Place of Presentation
  福岡市
- Year and Date
  2009-10-19
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] Gaussian Mixture Models and VC-Doimensions2009
- Author(s)
  赤間陽二
- Organizer
  The Fourth International workshop on Data-Mining and Statistical Science
- Place of Presentation
  京都
- Year and Date
  2009-07-08
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning in the Limit2009
- Author(s)
  赤間陽二
- Organizer
  第74回人工知能基本問題研究会
- Place of Presentation
  広島市
- Year and Date
  2009-09-14
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] 可換シャッフルクローズド正規言語, ネーター性, および極限学習2009
- Author(s)
  赤間陽二
- Organizer
  人工知能学会第74回人工知能基本問題研究会
- Place of Presentation
  広島
- Year and Date
  2009-09-14
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] 混合ガウスモデルのVC次元など2009
- Author(s)
  赤間陽二
- Organizer
  夏のLAシンポジウム
- Place of Presentation
  東松島市
- Year and Date
  2009-07-23
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] Gaussian Mixture Models and VC Dimensions2009
- Author(s)
  Yohji Akama
- Organizer
  The Fourth International Workshop on Data-Mining and Statistical Science
- Place of Presentation
  Kyoto
- Year and Date
  2009-07-08
- Data Source
  KAKENHI-PROJECT-21540105
[Presentation] VC理論とWishart行列の固有値の和の集中不等式2009
- Author(s)
  上野康隆, 赤間陽二
- Organizer
  第12回情報論的学習理論ワークショップ
- Place of Presentation
  福岡
- Year and Date
  2009-10-19
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] 統計推論のVC次元2008
- Author(s)
  赤間陽二, 入江慶, 河村彰利, 上野康隆
- Organizer
  人工知能学会第70回人工知能基本問題研究会
- Place of Presentation
  京都
- Year and Date
  2008-07-04
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] 主成分分析の汎化誤差などについて2008
- Author(s)
  赤間陽二, 上野康隆
- Organizer
  人工知能学会第68回人工知能基本問題研究会
- Place of Presentation
  札幌
- Year and Date
  2008-01-17
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] 主成分分析のvc次元2008
- Author(s)
  赤間陽二, 入江慶, 河村彰利, 上野康隆
- Organizer
  日本応用数理学会2008年度年会
- Place of Presentation
  柏
- Year and Date
  2008-09-19
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] 主成分分析の汎化誤差などについて2008
- Author(s)
  赤間陽二, 上野康隆
- Organizer
  人工知能学会第68回人工知能基本問題研究会
- Place of Presentation
  札幌
- Year and Date
  2008-01-17
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] Computing Characteristic Sets of Bounded Unions of Polynomial Ideals2007
- Author(s)
  Takamatsu, I., Kobayashi, M., Tokunaga, H., Yamamoto, A.
- Organizer
  Fiftth Workshop on Learning with Logics and Logics for Learning (LLLL2007)
- Place of Presentation
  宮崎
- Year and Date
  2007-06-19
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] ω-rules and learnability2007
- Author(s)
  Yohji Akama
- Organizer
  Computability in Europe 2007
- Place of Presentation
  Siena, Italy
- Year and Date
  2007-06-21
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] Computing Characteristic Sets of Bounded Unions of Polynomial Ideals2007
- Author(s)
  Takamatsu, I., Kobayashi, M., Tokunaga, H., and Yamamoto, A.
- Organizer
  Fiftth Workshop on Learning with Logics and Logics for Learning(LLLL2007)
- Place of Presentation
  宮崎
- Year and Date
  2007-06-19
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] Multiclass Multisurface Proximity Support Vector Machines2007
- Author(s)
  Yohji Akama, Taufik Sutanto
- Organizer
  Fiftth Workshop on Learning with Logics and Logics for Learning (LLLL2007)
- Place of Presentation
  宮崎
- Year and Date
  2007-06-18
- Data Source
  KAKENHI-PROJECT-19300046
[Presentation] ω-rules and learnablility2007
- Author(s)
  Yohji Akama
- Organizer
  Computability in Europe 2007
- Place of Presentation
  Siena
- Year and Date
  2007-06-21
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] 球面的ヒルベルトの第１８問題の解決と球面タイリングの変形
- Author(s)
  赤間　陽二
- Organizer
  直観幾何学
- Place of Presentation
  熊本大学(熊本市)
- Invited
- Data Source
  KAKENHI-PROJECT-23654020
[Presentation] SPHERICAL TILINGS BY CONGRUENT POLYGONS
- Author(s)
  Yohji Akama
- Organizer
  Student-Faculty Colloquium, Department of Mathematics, Hong Kong University of Science and Technology
- Place of Presentation
  Hong Kong, China
- Invited
- Data Source
  KAKENHI-PROJECT-23654020

1. TANAKA Kazuyuki (70188291)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. YAMAMOTO Akihiro (30230535)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
3. ISHIHARA Hajime (10211046)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. HIRATA Kouichi (20274558)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. DOI Koichiro (10345126)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. TOKUNAGA Hiroo (30211395)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
7. KOTANI Motoko (50230024)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
8. ODA Tadao (60022555)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
9. KASHIMA Ryo (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. HORAI Masako (00015588)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. HASEGAWA Ryu (20243107)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. TATSUTA Makoto (80216994)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. HAYASHI Susumu (40156443)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. YASUGI Mariko (90022277)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. TAKEDA Masayoshi (30179650)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. MORITA Yasuo (20011653)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. YAMAZAK Takeshi (30336812)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 廣川佐千男 (40126785)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 安本雅洋 (10144114)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 菊池誠 (60273801)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 高橋大輔 (50188025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 砂田利一 (20022741)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 楯辰哉 (00317299)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. 樋口雄介 (20286842)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 内藤久資 (40211411)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 阿原一志 (80247147)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

AKAMA Yohji 赤間 陽二

Research Projects

Research Products

Co-Researchers

球面タイリングの対称性と変形Principal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

離散幾何解析学の進展Ongoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Mathematical approach to materials science by using non-commutative geometry

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Efficiency for machine to learn discrete geometric objectsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Knowledge Discovery from Structured Data with Efficient Methods of Searching Lower Sets Based on Frequency

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reverse Mathematics in Constructive Mathematics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

近似プログララムの計算論-古典論理の証明のテストにむけて-Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Logic of Limit Computing and its Applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Comparative studies on nonstandard methods and constructive methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

変換系と翻訳の理論と応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Studies on logical structures of arithmetic and computation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ゲーム理論とプログラム言語の意味論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type2017

Author(s)

Journal Title

Data Source

AKAMA Yohji 赤間陽二