Personal information

Mathematical logic, Computer Science, Mizar, Mathematics, Philosophy
Japan

Biography

I am a Japanese mathematical logician, computer scientist, mathematician and philosopher. I play the violin and the piano.
See Prabook or Marquis Who's Who. Prabook' s description is old. Please see the most recent Marquis' s database (Marquis Biographies Online (Who's Who). However the address in the database is not present one.

Prabook's URL for me is: https://prabook.com/web/takao.inoue/3422583

Note that my right birthdate is May 28, 1957.
I use Takao Inoué as the author of my paper for publication.
My Japanese name is: 井上茂雄

Activities

Employment (4)

National Institutes of Biomedical Innovation, Health and Nutrition: Ibaraki, Osaka, JP

2022-07-01 to present | Research assistant (AI Nutrition Project)
Employment
Source: Self-asserted source
Takao Inoue

Hosei University: Tokyo, JP

2021-04-01 to 2023-03-31 | lecturer (concurrent) (Graduate School of Science and Engineering)
Employment
Source: Self-asserted source
Takao Inoue

Meiji Pharmaceutical University: Tokyo, JP

2021-05-01 to 2022-03-31 | Research associate professor (Department of Medical Molecular Informatics)
Employment
Source: Self-asserted source
Takao Inoue

Hosei University: Kajino-cho 3-7-2, Koganei-city, Tokyo, JP

2021-04-01 to 2022-03-31 | lecturer (concurrent) (Faculty of Science and Engineering, Department of Applied Informatics)
Employment
Source: Self-asserted source
Takao Inoue

Works (17)

Machine Learning Approaches for Stroke Risk Prediction: Findings from the Suita Study

Journal of Cardiovascular Development and Disease
2024-07-01 | Journal article
Contributors: Thien Vu; Yoshihiro Kokubo; Mai Inoue; Masaki Yamamoto; Attayeb Mohsen; Agustin Martin-Morales; Takao Inoué; Research Dawadi; Michihiro Araki
Source: check_circle
Crossref

On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics

Studia Logica
2022 | Journal article
EID:

2-s2.0-85113798876

Part of ISSN: 15728730 00393215
Contributors: Inoué, T.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II

Formalized Mathematics
2022-04-01 | Journal article
Contributors: Takao Inoué; Riku Hanaoka
Source: check_circle
Crossref

Axiomatic Rejection for the Propositional Fragment of Lésniewski's Ontology

arXiv
2021 | Other
EID:

2-s2.0-85113836150

Part of ISSN: 23318422
Contributors: Inoué, T.; Ishimoto, A.; Kobayashi, M.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

How to make a new logic

arXiv
2021 | Other
EID:

2-s2.0-85113848772

Part of ISSN: 23318422
Contributors: Inoué, T.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB

Bulletin of the Section of Logic
2021-11-09 | Journal article
Contributors: Takao Inoue
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A sound interpretation of Leśniewski's epsilon in modal logic KTB

arXiv
2020 | Other
EID:

2-s2.0-85119168091

Part of ISSN: 23318422
Contributors: Inoué, T.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

On bergman’s diamond lemma for ring theory

arXiv
2020 | Other
EID:

2-s2.0-85095522703

Part of ISSN: 23318422
Contributors: Inoué, T.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

On Blass translation for Le´sniewski’s propositional ontology and modal logics

arXiv
2020 | Other
EID:

2-s2.0-85095310595

Part of ISSN: 23318422
Contributors: Inoué, T.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: The system without complete induction

arXiv
2020 | Other
EID:

2-s2.0-85114905467

Part of ISSN: 23318422
Contributors: Inoué, T.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

Partial differentiation of vector-valued functions on n-dimensional real normed linear spaces

Formalized Mathematics
2011 | Journal article
EID:

2-s2.0-79960658022

Part of ISSN: 14262630 18989934
Contributors: Inoué, T.; Naumowicz, A.; Endou, N.; Shidama, Y.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

Partial differentiation, differentiation and continuity on n-dimensional real normed linear spaces

Formalized Mathematics
2011 | Journal article
EID:

2-s2.0-79960743978

Part of ISSN: 14262630 18989934
Contributors: Inoué, T.; Naumowicz, A.; Endou, N.; Shidama, Y.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

Formalized Mathematics
2010 | Journal article
EID:

2-s2.0-78651081208

Part of ISSN: 14262630 18989934
Contributors: Inoué, T.; Endou, N.; Shidama, Y.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

Partial differentiation of real ternary functions

Formalized Mathematics
2010 | Journal article
EID:

2-s2.0-78651102329

Part of ISSN: 14262630 18989934
Contributors: Inoué, T.; Xie, B.; Liang, X.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

Second-order partial differentiation of real ternary functions

Formalized Mathematics
2010 | Journal article
EID:

2-s2.0-78651069351

Part of ISSN: 14262630 18989934
Contributors: Inoué, T.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL

Mathematical Logic Quarterly
1992 | Journal article
EID:

2-s2.0-84981425415

Part of ISSN: 15213870 09425616
Contributors: Inoué, T.; Inoué, T.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier

A Note on Stahl's Opposite System

Mathematical Logic Quarterly
1989 | Journal article
EID:

2-s2.0-84985321007

Part of ISSN: 15213870 09425616
Contributors: Inoué, T.
Source: Self-asserted source
Takao Inoue via Scopus - Elsevier