Rchr
J-GLOBAL ID：201901005239555931   Update date: Apr. 03, 2024

Inoue Takao

イノウエ タカオ | Inoue Takao
Affiliation and department：
Yamato University Faculty of Informatics

About Yamato University Faculty of Informatics


Job title： Professor (Full)
Homepage URL  (1)： https://www.researchgate.net/profile/Takao_Inoue
Research field  (5)： Biological, health, and medical informatics ,  Information theory ,  Computational science ,  Applied mathematics and statistics ,  Basic mathematics
Research keywords  (32)： Topological vector space ,  Object detection ,  Algebraic group ,  Ideal theory ,  Ring theorey ,  Missing data handling ,  High-dimensional statistic analysis ,  Computational Toxicology ,  Proof Assistant ,  Functional Analysis ,  Finite Element Method ,  Automatic Theorem Proving ,  Programming Languages ,  Topology ,  Number Theory ,  Epistemic Mathematics ,  Logical Programmig ,  Constructive Mathematics ,  Strong Negation ,  Intuitionistic Mathematics ,  Intuitionistic Logic ,  computable analysis ,  Godel's theorem ,  Proof Theory ,  Recursive Function Theory ,  Modal Logic ,  Fitch's Basic Logic ,  unprovability ,  Lesniewski's propositional ontology ,  Proof-theoretical embeddings ,  Mizar Formalized Mathematics ,  Mathematical Logic
Papers (40)：
  • Takao Inoué. Fun of Python, Part 1 (Ver. 1.0). 2024. 1-26
  • Thien Vu, Mai Inoue, Masaki Yamamoto, Attayeb Mohsen, Agustin Martin-Morales, Takao Inoue, Rsch Dawadi, Yoshihiro Kokubo, Michihiro Araki. Abstract WP266: Prediction of Stroke Incidence Using Machine Learning: The Suita Study. Stroke. 2024. 55. Suppl_1. AWP266-AWP266
  • Takao Inoué, Tadayoshi Miwa. Nontrivial single axiom-schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology. arXiv:2402.07030 [math.LO]. 2024. 1-19
  • Takao Inoué. Epistemic systems and Flagg and Friedman's translation. Publications Of Center for Computer Science, Mathematics, and Engineering Physics. 2023. 1. 4. 1-33
  • Takao Inoué. On Bergman's Diamond Lemma for Ring Theory. Journal of Mathematical Techniques and Computational Mathematics. 2023. 2. 10. 420-430
ｍore...
MISC (13)：
  • Takao Inoué. On Blass translation for Leśniewski's propositional ontology and modal logics. arXiv:2006.15421v2 [math.LO], Cornell University. 2020
  • Inoue, T. A modal interpretation for Lesniewski-Ishimoto's propositional ontology. The Bulletin of Symbolic Logic. 2002. 8. 139-139
  • Inoue, T. Partial interpretation of Lesniewski's epsilon in modal and intensional logics. The Bulletin of Symbolic Logic. 1995. 1. 95-96
  • Inoue, T. A generalized Godel's theorem. The Bulletin of Symbolic Logic. 1995. 1. 240-241
  • Inoue, T. On some topological properties of some classes of rejected formulas and satisfiable formulas. The Journal of Symbolic Logic. 1993. 58. 760-761
ｍore...
Lectures and oral presentations  (5)：
  • A modal interpretation for Lesniewski-Ishimoto's propositional ontology
    (Logic Colloquium ‘01 2001)
  • A generalized Godel's theorem
    (Logic Colloquium ‘94 1994)
  • Partial interpretation of Lesniewski's epsilon in modal and intensional logics
    (Logic Colloquium ‘93 1993)
  • On some topological properties of some classes of rejected formulas and satisfiable formulas
    (Logic Colloquium ‘91 1991)
  • On rejected formulas -Hintikka formula and Ishimoto formula-
    (Logic Colloquium ‘90 1990)
Education (4)：
  • 1986 - 1995 Utrecht University Faculty of Science Department of Mathematics
  • 1983 - 1985 Tokyo University of Science Graduate School of Science and Technology Department of Industrial Administration
  • 1977 - 1983 Tokyo University of Science Faculty of Science and Technology Department of Applied Biological Science
  • 1973 - 1976 Johoku Senior High School (Tokyo)
Professional career (4)：
  • Master of Engineering (Tokyo University of Science, Graduate School of Science and Technology)
  • Master of Mathematics (Doctorandus Wiskunde) (Utrecht University)
  • 数学修士 (ユトレヒト大学)
  • Ph.D. (Shinshu University)
Work history (17)：
  • 2024/04 - 現在 Yamato University Faculty of Informatics Professor (Full)
  • 2022/07 - 2024/03 National Institutes of Biomedical Innovation, Health and Nutrition AI Nutrition Project Research assistant
  • 2021/04 - 2023/03 Hosei University Graduate School of Science and Engineering, Applied Informatics Lecturer (Concurrent post)
  • 2021/05 - 2022/03 Meiji Pharmaceutical University Associate professor
  • 2021/04 - 2022/03 Hosei University Faculty of Science and Engineering, Department of Applied Informatics Lecturer (Concurrent post)
Show all
Association Membership(s) (2)：
MIzar-JAPAN Society ,  The Mathematical Society of Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM