顔写真

アカマ ヨウジ
赤間 陽二
Yoji Akama
所属
大学院理学研究科 数学専攻 解析学講座
職名
准教授
学位
  • 博士(理学)(東京工業大学)

経歴 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月 ~

︎全件表示 ︎最初の5件までを表示

所属学協会 3

  • 日本数学会

  • 応用数理学会

  • 人工知能学会

研究キーワード 2

  • タイリングと準結晶

  • 統計論的学習理論

研究分野 3

  • 自然科学一般 / 応用数学、統計数学 / 数学基礎・応用数学(数値解析・数理モデル(がん予測理論、最適化、データ解析)

  • 自然科学一般 / 数学基礎 / 数学基礎・応用数学(数値解析・数理モデル(がん予測理論、最適化、データ解析)

  • 自然科学一般 / 幾何学 / タイリング

受賞 1

  1. 日本ソフトウェア科学会第3回プログラミングおよびプログラミング言語ワークショップ発表賞

    2001年3月23日 日本ソフトウェア科学会 プログラミングおよびプログラミング言語ワークショップ 発表賞

論文 49

  1. Classification of spherical tilings by congruent quadrangles over pseudo-double wheels (II)—the isohedral case 査読有り

    赤間 陽二

    広島数学雑誌 48 (1) 1-34 2019年3月

  2. 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 Publishing

    DOI: 10.4230/LIPIcs.FSCD.2017.6  

    ISSN:1868-8969

    詳細を見る 詳細を閉じる

    For the lambda-calculus with surjective pairing and terminal type, Curien and Di Cosmo, inspired by Knuth-Bendix completion, introduced a confluent rewriting system of the naive rewriting system. Their system is a confluent (CR) rewriting system stable under contexts. They left the strong normalization (SN) of their rewriting system open. By Girard's reducibility method with restricting reducibility theorem, we prove SN of their rewriting, and SN of the extensions by polymorphism and (terminal types caused by parametric polymorphism). We extend their system by sum types and eta-like reductions, and prove the SN. We compare their system to type-directed expansions.

  3. 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 SOC

    DOI: 10.1103/PhysRevE.94.052601  

    ISSN:2470-0045

    eISSN:2470-0053

    詳細を見る 詳細を閉じる

    We propose a model molecule to investigate microscopic properties of a binary mixture with a closed-loop coexistence region. The molecule is comprised of a Lennard-Jones particle and a uniaxial quadrupole. Gibbs ensemble Monte Carlo simulations demonstrate that the high-density binary fluid of the molecules with the quadrupoles of the same magnitude but of the opposite signs can show closed-loop immiscibility. We find that an increase in the magnitude of the quadrupoles causes a shrinkage of the coexistence region. Molecular dynamics simulations also reveal that aggregates with two types of molecules arranged alternatively are formed in the stable one-phase region both above and below the coexistence region. String structures are dominant below the lower critical solution temperature, while branched aggregates are observed above the upper critical solution temperature. We conclude that the anisotropic interaction between the quadrupoles of the opposite signs plays a crucial role in controlling these properties of the phase behavior.

  4. Spherical tilings by congruent quadrangles: Forbidden cases and substructures 査読有り

    Yohji Akama, Nico Van Cleemput

    ARS MATHEMATICA CONTEMPORANEA 8 (2) 297-318 2015年

    出版者・発行元:UP FAMNIT

    ISSN:1855-3966

    eISSN:1855-3974

    詳細を見る 詳細を閉じる

    In this article we show the non-existence of a class of spherical tilings by congruent quadrangles. We also prove several forbidden substructures for spherical tilings by congruent quadrangles. These are results that will help to complete of the classification of spherical tilings by congruent quadrangles.

  5. 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 JAPAN

    DOI: 10.1246/cl.140698  

    ISSN:0366-7022

    eISSN:1348-0715

    詳細を見る 詳細を閉じる

    For the first time, we have succeeded in observing the dynamics of laser-induced phase separation in a water/2-butoxyethanol mixture by applying nanosecond time-resolved light scattering on a submicron scale. The scattering revealed that the domain size of the mixture during phase separation was almost constant at 300 nm for 10 mu s after a laser T-jump, and the light scattering intensity increased exponentially with time. The results clearly indicate that the early stage of spinodal decomposition described by Cahn-Hilliard theory occurred in the mixture for 10 mu s.

  6. Realizability interpretation of PA by iterated limiting PCA 査読有り

    Yohji Akama

    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 24 (6) 1-34 2014年12月

    出版者・発行元:CAMBRIDGE UNIV PRESS

    DOI: 10.1017/S0960129513000856  

    ISSN:0960-1295

    eISSN:1469-8072

    詳細を見る 詳細を閉じる

    For any partial combinatory algebra (PCA for short) A, the class of A-representable partial functions from N to A quotiented by the filter of cofinite sets of N is a PCA such that the representable partial functions are exactly the limiting partial functions of A-representable partial functions (Akama 2004). The n-times iteration of this construction results in a PCA that represents any n-iterated limiting partial recursive function, and the inductive limit of the PCAs over all n is a PCA that represents any arithmetical partial function. Kleene's realizability interpretation over the former PCA interprets the logical principles of double negation elimination for Sigma(0)(n)-formulae, and over the latter PCA, it interprets Peano's arithmetic (PA for short). A hierarchy of logical systems between Heyting's arithmetic (HA for short) and PA is used to discuss the prenex normal form theorem, relativised independence-of-premise schemes, and the statement 'PA is an unbounded extension of HA'.

  7. 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  

  8. 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日

  9. 構造化照明蛍光顕微鏡の画像再構成アルゴリズムについて 査読有り

    赤間陽二, 上條隆宣

    応用数理 23 (4) 16-21 2013年

  10. 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. 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月

    出版者・発行元:SPRINGER

    DOI: 10.1007/s10955-012-0588-5  

    ISSN:0022-4715

    詳細を見る 詳細を閉じる

    For a random field on a general discrete set, we introduce a condition that the range of the correlation from each site is within a predefined compact set D. For such a random field omega defined on the model set I > that satisfies a natural geometric condition, we develop a method to calculate the diffraction measure of the random field. The method partitions the random field into a finite number of random fields, each being independent and admitting the law of large numbers. The diffraction measure of omega consists almost surely of a pure-point component and an absolutely continuous component. The former is the diffraction measure of the expectation E[omega], while the inverse Fourier transform of the absolutely continuous component of omega turns out to be a weighted Dirac comb which satisfies a simple formula. Moreover, the pure-point component will be understood quantitatively in a simple exact formula if the weights are continuous over the internal space of I >. Then we provide a sufficient condition that the diffraction measure of a random field on a model set is still pure-point.

  12. A new order theory of set systems and better quasi-orderings 査読有り

    Yohji Akama

    Progress in Informatics 9 (9) 9-18 2012年3月

    DOI: 10.2201/NiiPi.2012.9.3  

    ISSN:1349-8614 1349-8606

    詳細を見る 詳細を閉じる

    By reformulating a learning process of a set system L as a game between Teacher (presenter of data) and Learner (updater of abstract independent set), we define the order type dim L of L to be the order type of the game tree. The theory of this new order type and continuous, monotone function between set systems corresponds to the theory of well quasi-orderings (WQOs). As Nash-Williams developed the theory of WQOs to the theory of better quasiorderings (BQOs), we introduce a set system that has order type and corresponds to a BQO. We prove that the class of set systems corresponding to BQOs is closed by any monotone function. In (Shinohara and Arimura. "Inductive inference of unbounded unions of pattern languages from positive data." Theoretical Computer Science, pp. 191-209, 2000), for any set system L, they considered the class of arbitrary (finite) unions of members of L. From view point of WQOs and BQOs, we characterize the set systems L such that the class of arbitrary (finite) unions of members of L has order type. The characterization shows that the order structure of the set system L with respect to the set inclusion is not important for the resulting set system having order type. We point out continuous, monotone function of set systems is similar to positive reduction to Jockusch-Owings' weakly semirecursive sets. © 2012 National Institute of Informatics.

  13. Set systems: Order types, continuous nondeterministic deformations, and quasi-orders 査読有り

    Yohji Akama

    THEORETICAL COMPUTER SCIENCE 412 (45) 6235-6251 2011年10月

    出版者・発行元:ELSEVIER SCIENCE BV

    DOI: 10.1016/j.tcs.2011.08.010  

    ISSN:0304-3975

    詳細を見る 詳細を閉じる

    By reformulating a learning process of a set system L as a game between Teacher and Learner, we define the order type of L to be the order type of the game tree, if the tree is well-founded. The features of the order type of L (dim L in symbol) are (1) we can represent any well-quasi-order (WQO for short) by the set system L of the upper-closed sets of the WQO such that the maximal order type of the WQO is equal to dim L; (2) dim L is an upper bound of the mind-change complexity of L. dim L is defined iff L has a finite elasticity (FE for short), where, according to computational learning theory, if an indexed family of recursive languages has FE then it is learnable by an algorithm from positive data. Regarding set systems as subspaces of Cantor spaces, we prove that FE of set systems is preserved by any continuous function which is monotone with respect to the set-inclusion. By it, we prove that finite elasticity is preserved by various (nondeterministic) language operators (Kleene-closure, shuffle-closure, union, product, intersection,...). The monotone continuous functions represent nondeterministic computations. If a monotone continuous function has a computation tree with each node followed by at most n immediate successors and the order type of a set system L is alpha, then the direct image of L is a set system of order type at most n-adic diagonal Ramsey number of alpha. Furthermore, we provide an order-type-preserving contravariant embedding from the category of quasi-orders and finitely branching simulations between them, into the complete category of subspaces of Cantor spaces and monotone continuous functions having Girard's linearity between them. (C) 2011 Elsevier B.V. All rights reserved.

  14. 主成分分析の固有値の一致性について

    Yohji Akama, Yasutaka Uwano

    人工知能 学会研究会資料 SIG-DMSM-A903 101-105 2010年3月30日

  15. VC理論とWishart 行列の固有値の和の集中不等式 査読有り

    Yohji Akama, Yasutaka Uwano

    Collection of Technical Reports of the 12th Workshop on Information-Based Induction Sciences (IBIS 2009) 2009年10月19日

  16. Gaussian Mixture Models and VC Dimensions

    Yohji Akama

    Proceedings of The Fourth International Workshop on Data-Mining and Statistical Science 2009年6月7日

  17. 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

    詳細を見る 詳細を閉じる

    In order to characterize the (a)symmetries of cut-and-project sets, we prove the following: any cut-and-project set with the two projections being injective on the lattice is fixed by an affine transformation if and only if (1) the window restricted on the projection of the lattice is fixed by another affine transformation, and (2) both affine transformations induce via the two projections the same transformation on the lattice. By this theorem, we prove that any Pisot tilings are asymmetric with respect to any affine transformations.

  18. Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory 査読有り

    Yohji Akama

    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS 5457 93-104 2009年

    出版者・発行元:SPRINGER-VERLAG BERLIN

    DOI: 10.1007/978-3-642-00982-2_8  

    ISSN:0302-9743

    詳細を見る 詳細を閉じる

    To develop computational learning theory of commutative regular shuffle closed languages, we study finite elasticity for classes of (semi)group-like structures. One is the. class of AN(d) + F such that A is a matrix of size e x d with nonnegative integer entries and F consists of at most k number of e-dimensional nonnegative integer vectors, and another is the class chi(d)(k) of AZ(d) + F such that A is a square matrix of size d with integer entries and F consists of at most k number of dimensional integer vectors (F is repeated according to the lattice AZ(d)). Each class turns out, to be the element-wise unions of k-copies of a more manageable class. So we formulate "learning time" of a class and then study in general setting how much "learning time" is increased by the elementwise union, by using Ramsey number, We also point out, that such a standpoint can be generalized by using Noetherian spaces.

  19. Consistent and coherent learning with delta-delay 査読有り

    Yohji Akama, Thomas Zeugmann

    INFORMATION AND COMPUTATION 206 (11) 1362-1374 2008年11月

    出版者・発行元:ACADEMIC PRESS INC ELSEVIER SCIENCE

    DOI: 10.1016/j.ic.2008.06.005  

    ISSN:0890-5401

    詳細を見る 詳細を閉じる

    A consistent learner is required to correctly and completely reflect in its actual hypothesis all data received so far. Though this demand sounds quite plausible, it may lead to the unsolvability of the learning problem. Therefore, in the present paper several variations of consistent learning are introduced and studied. These variations allow a so-called delta-delay relaxing the consistency demand to all but the last delta data. Additionally, we introduce the notion of coherent learning (again with delta-delay) requiring the learner to correctly reflect only the last datum (only the n - delta th datum) seen. Our results are manyfold. First, we provide characterizations for consistent learning with delta-delay in terms of complexity and computable numberings. Second, we establish strict hierarchies for all consistent learning models with delta-delay in dependence on delta. Finally, it is shown that all models of coherent learning with delta-delay are exactly as powerful as their corresponding consistent learning models with delta-delay. (c) 2008 Elsevier Inc. All rights reserved

  20. 主成分分析のVC次元

    Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano

    日本応用数理学会2008年度年会予稿集 337-338 2008年9月

  21. 統計的推論のVC次元

    Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano

    人工知能学会 SIG-FPAI-A801 9-13 2008年7月

  22. 主成分分析の汎化誤差などについて

    赤間陽二, 上野康隆

    人工知能基本問題研究会資料 SIG-FPAI-A703 2008年1月

  23. Learning Integer Crystalline Structures

    Yohji Akama

    応用数理学会2007年度年会予稿 2007年9月

  24. 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月

  25. Omega-rules and Learnability

    Yohji Akama

    Proceedings of Computability and Logic in the Real World 2007年

  26. Cut-and-project sets and their epsilon-duals 査読有り

    Y. Akama, S. Iizuka

    PHILOSOPHICAL MAGAZINE 87 (18-21) 2847-2854 2007年

    出版者・発行元:TAYLOR & FRANCIS LTD

    DOI: 10.1080/14786430701373698  

    ISSN:1478-6435

    詳細を見る 詳細を閉じる

    Motivated by approximation and real analysis, Meyer introduced model sets (also called cut- and- project sets), which are used as mathematical models of quasicrystals. In his study, a central role was played by the epsilon-dual. The epsilon-dual of a lattice is the reciprocal lattice, and that of a cut- and-project set is contained by the diffraction pattern. Let CP(L, W) be the cut-and-project set determined by locally compact Hausdor Abelian groups G, G(int), lattice L subset of G x G(int) and a window W subset of G(int). Then we prove CP(L, W)(epsilon) = CP(L-epsilon, W-epsilon) by using the Baake-Lenz-Schlottmann measure CP(L, W) by the symmetries of W.

  27. Consistency Conditions for Inductive Inference of Recursive Functions 査読有り

    Yohji Akama, Thomas Zeugmann

    Letcture Notes in Computer Science 4384 2006年12月

    詳細を見る 詳細を閉じる

    T.Washi, K.Satoh,<br /> H.Takeda and A.Inokuchi(Eds.), New Frontiers in Aritificial<br /> Intelligence, Proc. of JSAI 2006 Conference and Workshops, Tokyo,<br /> Japan, June 5-9, 2006, Revised Selected Papers, pp.251-264.<br /> Lecture Notes in Computer Science, vol. 4384, 2006.

  28. Hierarchies of Consistency Learnings with Delay

    Yohji Akama

    人工知能学会研究会資料 2006年10月31日

  29. 格子の正例からの学習可能性について 査読有り

    赤間 陽二

    情報論的学習理論ワークショップ予稿集 2006年10月31日

  30. Multiclass Multisurface Proximity Support Vector Machines 招待有り 査読有り

    Yohji Akama, Taufik Sutanto

    Workshop on Learning with Logics and Logics for Learning 2006年6月

  31. Intrusion Detection System の Case-Smith 階層

    赤間 陽二

    人工知能学会研究会資料 2005年11月25日

  32. 関数の極限ラムダ計算による学習 査読有り

    赤間 陽二

    日本ソフトウェア科学会第22回大会論文集 2005年10月

  33. 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月

  34. 計算可能無理数を基数とする記数法と計算可能実数

    赤間 陽二, 飯塚 新司

    京都大学数理解析研究所, 数理解析研究所講究録, 数学解析の理論的展開の計算機による支援・遂行可能性, 数理解析研究所講究録 1381 159-167 2004年6月

  35. 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 SOC

    ISSN:1043-6871

  36. Limiting partial combinatory algebras 査読有り

    Y Akama

    THEORETICAL COMPUTER SCIENCE 311 (1-3) 199-220 2004年1月

    出版者・発行元:ELSEVIER SCIENCE BV

    DOI: 10.1016/S0304-3975(03)00360-8  

    ISSN:0304-3975

    詳細を見る 詳細を閉じる

    From every partial combinatory algebra A we construct another partial combinatory algebra a-lim(A). In a-lim(A), every representable partial numerical function phi(n) is exactly of the form lim(t) xi(t, n) for some representable partial numerical function xi(t, n) of A. The partial combinatory algebra a-lim(A) is a quotient of d by a partial equivalence relation, and is equipped with a limit structure in the sense that each element of a-lim(,d) is the limit of a countable sequence of A-elements. In this paper, we discuss the limit structures for a in terms of Barendregt's range property (if the range of a combinator is finite, then it is a singleton). Moreover, we repeat the construction a-lim(-) transfinite times to interpret infinitary lambda-calculi. Finally, we attempt to interpret type-free p-calculus by introducing another partial applicative structure which has an asynchronous application operator that allows a parallel limit operation. (C) 2003 Elsevier B.V. All rights reserved.

  37. $$beta-expansionに関連したFine距離とWalsh関数系

    赤間 陽二, 竹内 大輔

    京都大学数理解析研究所, 数理解析研究所講究録, 数学解析の理論的展開の計算機による支援・遂行可能性, 数理解析研究所講究録 1286 61-78 2002年6月

  38. 型つき極限計算系と圏論 査読有り

    赤間 陽二, 林 晋

    日本ソフトウェア科学会第18回大会論文集 2001年10月

  39. Limiting Partial Combinatory Algebras

    Yohji Akama

    京都大学数理解析研究所, 数理解析研究所講究録, 圏論と証明論の新たな融合を目指して = Towards new interaction between category theory and proof theory 1217 1-22 2001年6月

  40. A study, of Abramsky's Linear Chemical Abstract Machine 査読有り

    S Mikami, Y Akama

    TYPED LAMBDA CALCULI AND APPLICATIONS 1581 243-257 1999年

    出版者・発行元:SPRINGER-VERLAG BERLIN

    ISSN:0302-9743

    詳細を見る 詳細を閉じる

    Abramsky's Linear Chemical Abstract Machine (LCHAM) is a term calculus which corresponds to Linear Logic, via the Curry-Howard isomorphism. We introduce a translation from a linear lambda-calculus into LCHAM. The translation result can be well regarded as a black box with the i/o ports being atomic. We show that one step computation of LCHAM is equivalent to that of the linear lambda-calculus. Then, we prove the principal typing theorem of LCHAM, which implies the decidability of type checking.

  41. 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月

  42. SN combinators and partial combinatory algebras 査読有り

    Y Akama

    REWRITING TECHNIQUES AND APPLICATIONS 1379 302-316 1998年

    出版者・発行元:SPRINGER-VERLAG BERLIN

    DOI: 10.1007/BFb0052378  

    ISSN:0302-9743

    詳細を見る 詳細を閉じる

    We introduce an intersection typing system for combinatory logic. We prove the soundness and completeness for the class of partial combinatory algebras. We derive that a term of combinatory logic is typeable iff it is SN. Let F be the class of non-empty filters which consist of types. Then F is an extensional non-total partial combinatory algebra. Furthermore, it is a fully abstract model with respect to the set of SN : terms of combinatory logic. By F, we can solve Bethke-Klop's question; "find a suitable representation of the finally collapsed partial combinatory algebra of P". Here, P is a partial combinatory algebra, and is the set of closed SN terms of combinatory logic module the inherent equality. Our solution is the following: the finally collapsed partial combinatory algebra of P is representable in F. To be more precise, it is isomorphically embeddable into F.

  43. 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年

    出版者・発行元:None

    DOI: 10.1007/3-540-62688-3_25  

    ISSN:0302-9743

    詳細を見る 詳細を閉じる

    In Ph. de Groote and J. R. Hindley, editors

  44. Conservative Extensions of Polymorphic PCF 査読有り

    Yohji Akama

    Proceedings of Fuji International Workshop on Functional and Logic Programming 48-62 1996年6月

    詳細を見る 詳細を閉じる

    World Scientific<br /> 多相型つきプログラミング言語の保守的拡大について調べた。

  45. 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 SUBSCRIPTIONS

    DOI: 10.1006/inco.1996.0027  

    ISSN:0890-5401

    詳細を見る 詳細を閉じる

    We present grammatical (or equational) descriptions of the set of normal inhabitants {M \ Gamma \- M : A, M in beta-normal form} of a given type A under a given basis Gamma, both for the standard simple type system (in the partial discharge convention) and for the system in the total discharge convention (or the Prawitz-style natural deduction system). It is shown that in the latter system we can describe the set by a (finite) context-free grammar, but for the standard system this is not necessarily the case because we may need an infinite supply of fresh (bound) variables to describe the set. In both cases, however, our grammars reflect the structure of normal inhabitants in such a way that, when non-terminals are ignored, a derivation tree of the grammars yielding a lambda-term M can be identified with Bohm tree of M. We give some applications of the grammatical descriptions. Among others, we give simple algorithms for the emptiness/finiteness problem of the set of normal inhabitants of a given type (both for the standard and non-standard systems). (C) 1996 Academic Press, Inc.

  46. Strong Normalization and PER Model

    Yohji Akama

    IPSJ SIG Notes, 95-PRO-4, IPSJ 95 (114) 1-6 1995年11月

    出版者・発行元:一般社団法人情報処理学会

    詳細を見る 詳細を閉じる

    強正規化性と部分同値類モデル、情報処理学会PRO

  47. 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月

    詳細を見る 詳細を閉じる

    M. Hagiya and J. C. Mitchell, editors

  48. 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月

  49. Deriving a Functional Knuth-Morris-Pratt Algorithm by Transformation 査読有り

    Masato Takeichi, Yoji Akama

    Journal of Information Processing 13 (4) 522-528 1990年1月1日

︎全件表示 ︎最初の5件までを表示

MISC 15

  1. Review of "Elisa et al. Wulff shape emergence in graphene, Math. Models Methods Appl. Sci. 26, 2016"

    赤間 陽二

    Mathematical Review 2017年

  2. 書評「横浜発 確率・統計入門」

    赤間 陽二

    数理科学 626 59-59 2015年8月

    出版者・発行元:サイエンス社

  3. 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年

  4. Review of "Salvati and Walukiewicz. Using models to model-check recursive schemes, Log. Methods Comput.l Sci. 11 (2015)"

    赤間 陽二

    Mathematical Review 2015年

  5. 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

  6. 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

  7. 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

  8. 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年

  9. Review of " Kuske, Dietrich Isomorphisms of scattered automatic linear orders. Theoret. Comput. Sci. 533 (2014)"

    赤間 陽二

    Mathematical Review 2014年

  10. Review of " Kane. The average sensitivity of an intersection of half spaces. Res. Math. Sci. 1 (2014)"

    赤間 陽二

    Mathematical Review 2014年

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

︎全件表示 ︎最初の5件までを表示

講演・口頭発表等 64

  1. Proving SN & CR of Extensional lambda-calculus with Terminal Types by Relativizing Goguen's Typed Operational Semantics

    赤間 陽二

    理論計算機科学と圏論ワークショップ 2018年3月19日

  2. 型理論の型つき操作的意味論と関数型言語 国際会議

    赤間 陽二

    IPL Workshop on Programming and Beyond 2018年3月1日

  3. SN+CR Proof of Etensional lambda-calculus with Unit Types by a Relativized Typed Operational Semantics 国際会議

    赤間 陽二

    48th TRS meeting 2018年2月25日

  4. Dezaの最後の問題 国際会議 招待有り

    赤間 陽二

    Franco-Japanese Days on Combinatorics and Optimization 2017 - In Honour of Michel Deza - 2017年12月4日

  5. 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日

  6. 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日

  7. The confluent terminating context-free substitutive rewriting system for the lambda-calculus with surjective pairing and terminal type

    CSCAT 2017(理論計算機科学と圏論ワークショップ) 2017年3月21日

  8. Exact VC dimension of ellipsoids and consistency of maximum log-likelihood estimator for multivariate Gaussian mixtures

    科 研費シンポジウム統計的モデリングと計算アルゴリズムの数理と 展開. 2017年2月18日

  9. 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日

  10. 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日

  11. (An)isohedrality and skeleton of spherical monohedral polygonal tilings 国際会議

    Japan Conference on Discrete and Computational Geometry and Graphs 2015年9月14日

  12. The rigidity, deformation and tile-transitivity of spherical tilings 国際会議

    Japan Conference on Graph Theory and Combinatorics 2014年5月17日

  13. Solution to spherical Hilbert eighteenth problem and the deformation of spherical tilings 国際会議

    Canberra-Japan Meeting, “Pattern Formation: Mathematics and Materials” 2014年4月29日

  14. SPHERICAL TILINGS BY CONGRUENT POLYGONS 国際会議

    THE HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY, Department of Mathematics, Student-Faculty Colloquium 2014年3月14日

  15. 球面的ヒルベルトの第18問題の解決と球面タイリングの変形

    直観幾何学 2014年2月10日

  16. A NEW ORDER THEORY OF SET SYSTEMS, WQO AND BQO 国際会議

    SigTheory/Algs, Department of Computer and Information Sciences, University of Delaware 2012年3月7日

  17. Classification of spherical tilings by congruent quadrangles 国際会議

    Department of applied mathemtics and computer science seminar 2012年2月14日

  18. . CLASSIFICATION OF SPHERICAL TILINGS BY CONGRUENT QUADRANGLES 国際会議

    Seminar at Department of Applied Mathematics and Computer Science 2012年2月9日

  19. A new order theory of set systems, WQO and BQO

    Verification Seminar 2012年1月31日

  20. 合同な四角形による球面タイリングの分類

    アルゴリズムと計算理論の新展開 (RIMS 研究集会) 2012年1月30日

  21. Epsilon-duals of model sets and diffraction measure of randomized model sets 国際会議

    Shinji Iizuka

    Workshop on Dynamical Systems and Aperiodic Order 2011年3月10日

  22. VC dimension, measure concentration, and consistency of eigenvalues of sample covariance matrix

    Yasutaka Uwano

    東北大学数学教室談話会 2010年12月20日

  23. Consistency of eigenvalues for principal component analysis 国際会議

    Yasutaka Uwano

    Statistics and Operations Research Seminars 2010年5月7日

  24. 主成分分析の固有値の一致性について

    第12回データマイニングと統計数理研究会 2010年3月30日

  25. Randomized Model Sets and Diffraction 国際会議

    The First CREST-SBM International Conference on Random Media 2010年1月28日

  26. 可換シャッフルクローズド正規言語、ネーター性、および極限学習

    人工知能学会第74回基本問題研究会 2009年9月14日

  27. Gaussian Mixtgure Models and VC Dimensions

    The Fourth International Workshop on Data-Mining and Statistical Science 2009年6月8日

  28. Randomized Model Sets and Diffraction 国際会議

    The 5th Asian International Workshop on Quasicrystals 2009年6月1日

  29. Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory 国際会議

    The 3rd international conference on language and automata theory and application 2009年4月2日

  30. 準周期構造と数値積分との関連について

    CREST「離散幾何学から提案する新物質創成と物性発現の解明」キックオフシンポジウム 2008年12月26日

  31. 主成分分析のVC次元

    応用数理学会大会 2008年9月

  32. 不思議な対称性と双対性:準結晶とタイル張りから

    応用数学連携フォーラム 2008年3月14日

  33. Diffie-Hellman exponentiationを持つプロトコルの安全性の決定可能性

    日本応用数理学会2007年春の研究部会 2008年3月4日

  34. 整数結晶構造の学習理論

    応用数理学会大会 2007年9月15日

  35. Multiclass Multisurface Proximity Support Vector Machines 国際会議

    Taufik Sutanto

    Fiftth Workshop onLearning with Logics and Logics for Learning 2007年6月18日

  36. Omega-Rules and Learnability 国際会議

    Computability in Europe 2007年6月18日

  37. 切断射影集合の数理

    飯塚新司

    「準周期タイリングとその周辺」RIMS 共同研究 2007年3月19日

    詳細を見る 詳細を閉じる

    研究代表者:伊藤俊次 金沢大学自然科学 研究科教授

  38. Hierarchies of Delayed Consistency Learnings: Some Problems

    2nd Type Theory Workshop 2007年3月7日

  39. Diffie-Hellman exponentiation を持つプロトコルの安全性の決定可能性

    日本応用数理学会 (JSIAM)「数理的技法による情報セキュリティ」研究部会 (FAIS)日本応用数理学会2007年春の研究部会連合発表会 2007年3月4日

  40. ポスターセッション

    情報論的学習理論ワークショップ 2006年11月1日

  41. Cut-and-project Sets and Their Epsilon-duals 国際会議

    Shinji Iizuka

    Aperiodic '06 2006年9月17日

  42. Consistency Conditions of Inductive Inference of Functions 国際会議

    Fourth Workshop on Learning with Logics and Logics for Learning 2006年6月5日

  43. Consistency Conditions of Inductive Inference of Functions 国際会議

    Workshop on Learning with Logics and Logics for Learning 2006年6月5日

  44. Consistent Learning of Virus Signatures from the Behaviour 国際会議

    Type Theory Workshop 2006年1月23日

  45. 切断射影集合とそれに関するタイル張りの対称性

    九州大学数理学研究院談話解 2005年12月14日

  46. Intrusion Detection System の Case-Smith階層

    人工知能学会基本問題研究会 2005年11月25日

  47. ラムダ計算のための計算論的学習理論とその応用 国際会議

    「代数学と計算」(AC2005) 2005年11月16日

  48. Hierarchies of Delayed Consistency Learnings

    人工知能学会基本問題研究会 2005年10月30日

  49. 関数の極限ラムダ計算による学習

    日本ソフトウェア科学会全国大会 2005年9月

  50. Computability and feasibility of real numbers via beta-adic representation 国際会議

    Workshop on Beta-numeration, generalized substituions and tilings 2004年3月8日

  51. Finite-type Arithmetic with 0i-oracle - Hierarchy Theorems of Constructive Arithmetics

    日本数学会秋季大会 2003年9月

    詳細を見る 詳細を閉じる

    基礎論および歴史分科会

  52. Systems of Typed Limiting Computations

    ALGI 2002年12月16日

  53. 構成的算術の階層

    日本数学会秋季大会 2002年9月

    詳細を見る 詳細を閉じる

    数学基礎論および歴史分科会

  54. Fine metric and Walsh functions associated to beta-expansions

    竹内大輔

    日本数学会秋季大会 2002年9月

  55. Typed Limiting Computation Systems and Categories 国際会議

    Workshop on Type, Lambda, Logic and Automated Provers 2002年3月9日

  56. Limit Computations with Type-free and Typed Systems

    日本数学会秋季大会 2001年10月3日

    詳細を見る 詳細を閉じる

    数学基礎論および歴史分科会

  57. Limiting Partial Combinatory Algebras Towards Infinitary Lambda-Calculi and Classical Logic 国際会議

    15th International Workshop on Computer Science Logic 2001 2001年9月10日

  58. 型付き極限計算系と圏論

    林晋

    日本ソフトウェア科学会全国大会 2001年9月

  59. Limiting partial combinatory algebras

    第3回プログラミングおよびプログラミング言語ワークショップ 2001年3月21日

  60. A Study of Abramsky's Linear Chemical Abstract Machine 国際会議

    4th International Conference on Typed Lambda Calculi and Applications 1999年4月7日

  61. SN Combinators and Partial Combinatory Algebras 国際会議

    9th International Conference on Rewriting Techniques and Applications 1998年3月30日

  62. A Lambda-to-CL Translations for Strong Normalization 国際会議

    3rd International Conference on Typed Lambda Calculi and Applications 1997年4月2日

  63. Conservative Extensions of Polymorphic PCF 国際会議

    Fuji International Workshop on Functional and Logic Programming 1995年6月17日

  64. On Mints' Reduction for ccc-Calculus 国際会議

    International Conference on Typed Lambda Calculi and Applications 1993年3月16日

︎全件表示 ︎最初の5件までを表示

共同研究・競争的資金等の研究課題 5

  1. 離散幾何 競争的資金

    制度名:Grant-in-Aid for Scientific Research

    2006年4月 ~ 継続中

  2. 計算論的学習理論 競争的資金

    制度名:Grant-in-Aid for Scientific Research

    2004年4月 ~ 継続中

  3. タイリング 競争的資金

    2003年10月 ~ 継続中

  4. 単元型を持つ概外延的な型理論の操作的意味論と型検査アルゴリズム 競争的資金

    赤間 陽二

    提供機関:Kayamori Foundation of Informational Science Advancement

    制度名:research on information science

    2017年11月 ~ 2019年11月

  5. 統計的学習理論 競争的資金

    制度名:Grant-in-Aid for Scientific Research

    2008年4月 ~

社会貢献活動 5

  1. 仙台数学セミナー(川井数理科学財団)

    2015年8月16日 ~ 2015年8月18日

    詳細を見る 詳細を閉じる

    「球面と多面体 – オイラーの多面体定理を中心に」の講演

  2. Mapleセミナー

    2015年5月29日 ~

    詳細を見る 詳細を閉じる

    Cybernetから講師を招聘して、講義および 端末室で実習を行った。

  3. Mathematica のセミナー

    2015年5月15日 ~

    詳細を見る 詳細を閉じる

    ウルフラムリサーチアジアリミティッドの丸山耕司氏にMathematica 10 の紹介していただきます。

  4. 東北大学100周年記念サイエンスカフェ

    2012年3月15日 ~

    詳細を見る 詳細を閉じる

    数式で解く模様の対称と非対称

  5. 宮城野高校

    2002年6月1日 ~

    詳細を見る 詳細を閉じる

    「学問の世界」の数学講師

その他 4

  1. chemical graphのなかのpolycycleの球面幾何的研究

    詳細を見る 詳細を閉じる

    chemical graphのなかのpolycycleの球面幾何的研究

  2. 合同な5角形による球面タイリングの分類

    詳細を見る 詳細を閉じる

    タイリングの研究

  3. 「コンピュータのための数学」

  4. コンピュータサイエンス入門