大和大学 大志を、まとえ。

MENU
西大和学園グループQ&A寄付

検索したいワードをいれて検索してください

またはサイトマップもご覧ください

PROFILE

教員の紹介
井上 茂雄

氏名 井上 茂雄
職位 教授
学部 情報学部
学科・専攻 情報学科
専門・研究分野 数理論理学(証明論、レスニェウスキーの命題的存在論、記述論理など)、計算機科学(Mizar形式化数学、バイオインフォマティクス、脳波研究)、数学(代数学、圏論・層理論の応用、数理物理など)、情報セキュリティ(プロトコル理論)、哲学(存在論、数学の哲学)、データサイエンス(欠損値処理、AI)、図書館情報学(ブラウジングなど)、(スマホ)アプリ開発、経営情報理論、AI倫理学、理論物理学(5次元座標など)、テストの新しい評価法、難病の原因究明
研究キーワード 数理論理学、証明論、レスニェウスキーの命題的存在論、様相論理学、記述論理学、Mizar形式化数学、脳波、代数学（特に準群、ループ、C*-代数）、圏論、層理論、数理物理、情報セキュリティ、プロトコル、哲学（特に、数学の哲学、存在論）、5次元座標、欠損値処理、バイオインフォマティクス、AI、ブラウジング、プログラミング、(スマホ)アプリ開発、経営情報理論、AI倫理、テストの新しい評価法、サルコイドーシス
学部担当科目 微分積分Ⅱ
AI 社会の情報倫理と法
AI 社会と技術
情報セキュリティ
情報行動論
経営情報論
専門演習ⅠA・ⅠB・ⅡA・ⅡB
卒業研究
関連リンク
  1. ResearchGate
    https://www.researchgate.net/profile/Takao-Inoue-4
  2. researchmap
    https://researchmap.jp/takao_inoue
  3. zbMATH
    https://zbmath.org/authors/inoue.takao
  4. DBLP
    https://dblp.org/pid/61/10329.html
  5. Google Scholar
    https://scholar.google.co.jp/citations?hl=en&user=Isi35KgAAAAJ
  6. （YouTube コンテンツ）井上茂雄 (Takao Inoué) アルハンブラ宮殿の思い出 (Recuerdos De La Alhambra) , 井上茂雄の芸術 No.1 (Takao Inoué's Art No.1)
    https://www.youtube.com/watch?v=ZgUkzG1EXmk
学位 工学修士（東京理科大学）、Doctorandus Wiskunde（数学修士相当）（ユトレヒト大学、オランダ）、博士（学術）（信州大学）
実務経験 有
現在の研究内容・課題 私の研究活動は多岐にわたっていますが、特に以下のものに興味をもって活動しています（特に１ー７、１０、１１，１３、１６、１８ー２０は最近の研究です）。

  1. 最近は数学の層理論(sheaf theory)を、脳の病理理論、記述論理、代数学、哲学的問題、その他に応用した研究をしています。
  2. 数学のtorsorという概念を用いて情報セキュリティのΣプロトコルの理論に応用し、その理論を発展させようとしています。
  3. 準群(quasigroup)、loop、ハール測度、C*-代数などの純粋数学的な研究もしています。いくつか新しいタイプの定理を提示しています。
  4. 昔からある記述論理にPBox、OBoxを追加拡張したTAPO-記述論理を提唱し、記述論理を情報行動の分析その他に応用する道を開きました。
  5. AI倫理の観点から軍事倫理について考察もしています。
  6. レスニェウスキーの（命題）存在論の様相論理学（規範論理学を含む）を用いた解釈を研究しています。ある種の存在概念が、ある種の必然性、数学の証明可能性やある種の規範概念で解釈できることを最近数学的に証明しました。この分野は、私が始めた分野です。また、レスニェウスキーの命題存在論の単一の公理について研究しています。これも私が始めた分野です。これについては、最近かなりの進展がありました。
  7. 色々な数学の定理の正しさをMizarシステムで計算機によってチェックする仕事をしています。これはMizar形式化数学と呼ばれる分野です。例えば、解析学、論理学、代数学など。これについては、AIを利用する方向も模索しています。Mizar形式化数学については、まだまだ研究の沃野が広がっています。
  8. ある論理体系の証明可能性を別の論理体系の証明可能性に翻訳（解釈）できる場合があります。例えば古典論理から直観主義論理への翻訳があります（ゲーデルの定理）。それは、その論理体系の証明可能性と証明不可能性を保存する写像（関数）です。そういった写像の発見および拡張・構成について研究しています。写像の拡張・構成問題は私が始めた分野です。
  9. 論理体系の証明可能性、証明不可能性、矛盾、妥当性について数学的・証明論的に研究しています。
  10. 哲学を研究しています。特に、数学の哲学や存在論、また「愛」の概念とその応用について研究しています。特に、数学の哲学については、数学の人間化について新しい考えを提唱しています。この私の（大和大学紀要、arXivを参照）哲学については、様相および可能世界という概念が中心となっています。この方向で、今後革新的な哲学（数学を含む）を提唱していくつもりです。最近、数学的に、「意味、対象、名前、存在」の独立性を証明しました。
  11. 理論物理学の基礎および数理物理学について研究しています。物理学の新しい座標系（5次元座標）の考え方を提出しました。
  12. データサイエンスでは、データの欠損値の処理が非常に重要になっています。私は、最近、新しい欠損値処理とその考え方（哲学）を開発しました。これはまだ萌芽的ですが、今後重要になってくると思われます。また、そのバイオインフォマティクス（AIとも関係がある）への応用を考えています。欠損値処理は、画像処理・AIにも関係があります。論文はこれから出していきます(哲学的な部分は、私の On Data というpreprintに書いてあります)。
  13. 経営情報論の教科書についての論文を書きました（大和大学紀要を参照）。また、新しいマーケティングの概念についても考えています。経営情報論についてはそれとセキュリティを絡めた研究を模索しています。
  14. アプリ開発（スマホアプリを含む）・情報メディアコンテンツ制作（特に音楽関係）にも関わっています。
  15. テスト評価の新しい方法について研究しています。（まだ未発表です）
  16. 数学・計算機科学の未解決問題の解決に挑戦しています。これも私の夢の一つ。常に考えています。
  17. 難病の原因をさぐる課題。特にサルコイドーシスの原因究明が課題です。なかなか難しく研究は遅々として進んでいませんが、関心は捨てずにやっています。難病を治したいというのは私の夢の一つです。
  18. 最近、脳波の研究を少し始めました。現在模索中です。
  19. 数学・プログラミングについての解説論文も色々と書いています。
  20. ドイツの有名な数学論文批評雑誌 zbMATH Openから依頼され、数理論理学の論文の批評を書いています(8編)。
（注）たいていの私の仕事(論文等)は、私のResearchGateのサイト　https://www.researchgate.net/profile/Takao-Inoue-4　からダウンロードして読むことができます。
主な研究業績 私の最近の論文・プレプリントと過去の代表的論文
  1. 井上 茂雄, 情報学部学生のためのLaTeX 入門 -pdflatex と LuaLaTeX を自分で使えるようになる90分-, Version 2.0. Preprint, May, 2026 in Takao Inoué's site of ResearchGate.
  2. 井上 茂雄, 情報学部学生のためのLaTeX 入門その2 引用・目次・URL・図表・TikZ を使ってレポートを整える. Preprint, May, 2026 in Takao Inoué's site of ResearchGate.
  3. 井上 茂雄, 現在のGE とGE Digital の失敗についての覚書. Preprint, May, 2026 in Takao Inoué's site of ResearchGate.
  4. 井上 茂雄, AI Act について：GDPR との接点を中心に. Preprint, April, 2026 in Takao Inoué's site of ResearchGate.
  5. 井上 茂雄, 中国データ3 法 2026 年最新状況. Preprint, April, 2026 in Takao Inoué's site of ResearchGate.
  6. Takao Inoué, TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics. Preprint, arXiv:2604.21172 [cs.LO], 2026.
  7. Takao Inoué, Redefining the Governance System through Sheaf Theory: Kiyoshi Oka's Thought and the Abolition of Cabinet Decisions. Preprint, April, 2026 in Takao Inoué's site of ResearchGate.
  8. 井上茂雄, 層理論による統治機構の再定義： 岡潔の思想と閣議決定の廃止. Preprint, April, 2026 in Takao Inoué's site of ResearchGate.
  9. Takao Inoué and Tadayoshi Miwa, Reading the Paper ``Moufang Quasigroups'' (K. Kunen, 1996). Preprint, April, 2026 in Takao Inoué's site of ResearchGate
  10. 井上 茂雄, 徴兵制とAI倫理 忠誠から職業倫理へ. Preprint, April, 2026 in Takao Inoué's site of ResearchGate.
  11. 井上 茂雄, Wilson 理論に基づく図書館ブラウジングの 理論的枠組みとその発展 TAPO-DL・情報行動予測・OPAC 連携 メタバース的展開・医療・医学データ. Preprint, April, 2026 in Takao Inoué's site of ResearchGate.
  12. Takao Inoué, Lectures on Description Logic: toward Information Behavior, Introduction of PBox and OBox. Preprint, April, 2026 in Takao Inoué's site of ResearchGate.
  13. Takao Inoué, An Introduction to Inverse Limits and Direct Limits from a Sheaf-Theoretic Viewpoint. Preprint, March, 2026 in Takao Inoué's site of ResearchGate.
  14. Takao Inoué, Constructive Peter--Weyl Theory: What is Known and What Remains Open. Preprint, arXiv:2603.17618 [math.FA], 2026.
  15. Takao Inoué, From Torsors to Topoi: An Introduction with a View Toward Σ-Protocols in Cryptography. Preprint, arXiv:2603.16274 [math.CT], 2026.
  16. Takao Inoué, Celebrating the Day of π: Joyful Variations on Euler's Identity. Preprint, arXiv:2603.13755 [math.HO], 2026.
  17. Takao Inoué, An Introduction to Torsors in Mathematics with a View Toward Σ-Protocols in Cryptography. Preprint, arXiv:2603.11833 [math.GR], 2026.
  18. Takao Inoué, Modular Cocycles and Haar-Type Measures on Topological Loops. Preprint, arXiv:2603.11529 [math.GR], 2026.
  19. Takao Inoué, Vector Bundles through the Möbius Strip: An Intuitive Introduction with Sections and Visual Examples. Preprint, March, 2026 in Takao Inoué's site of ResearchGate.
  20. Takao Inoué, Haar-Type Measures on Topological Quasigroups and Kunen's Theorem. Preprint, arXiv:2603.06174 [math.GR], 2026.
  21. Takao Inoué, Mayer--Vietoris and Twisted Čech Spectral Sequences for C*-Algebras with Free Quantum Group Coefficients. Preprint, arXiv:2602.22708 [math.OA], 2026.
  22. Takao Inoué, Structural Chirality from Inverse Semigroups to Twisted Groupoid C*-Algebras. Preprint, arXiv:2602.22665 [math.OA], 2026.
  23. Takao Inoué, Chirality and Racemization on Isotopy Classes of Loops: A Groupoid-Based Structural Theory. Preprint, arXiv:2602.21690 [math.GR], 2026.
  24. 井上茂雄[講義], 三輪忠義[記], 論文「Moufang Quasigroups」(K. Kunen, 1996年)を読む : 井上茂雄教授講義録. Preprint, February, 2026 in Takao Inoué's site of ResearchGate.
  25. Takao Inoué, A Formal Group Perspective on the Riemann Zeta Function. Preprint, arXiv:2602.20211 [math.GM], 2026.
  26. Takao Inoué, Chirality and Racemization on Isotopy Classes of Quasigroups. Preprint, arXiv:2603.02243 [math.DS], 2026.
  27. Takao Inoué, A Structural Fixed-Point Principle in Kunen's Theorem on Quasigroups. Preprint, arXiv:2602.18587 [math.GR], 2026.
  28. Takao Inoué, On the Category-Theoretic Independence of Meaning, Object, Name and Existence. Preprint, arXiv:2602.18033 [math.CT], 2026.
  29. Takao Inoué, Grothendieck Topologies and Sheaf-Theoretic Foundations of Cryptographic Security: Attacker Models and Σ-Protocols as the First Step. 大学教育 Vol. 9 (2026) 大和大学, p. 117-126 (ISBN978-4-9910161-8-9). Preprint, arXiv:2602.17301 [cs.CR], 2026.
  30. Takao Inoué, Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network. 大学教育 Vol. 9 (2026) 大和大学, p. 109-116 (ISBN978-4-9910161-8-9). Also preprint, arXiv:2602.17160 [math.CT], 2026.
  31. Takao Inoué, TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions. 大学教育 Vol. 9 (2026) 大和大学, p. 97-108 (ISBN978-4-9910161-8-9). Also preprint, arXiv:2602.17242 [cs.LO], 2026.
  32. Takao Inoué, On Brain as a Mathematical Manifold: Neural Manifolds, Sheaf Semantics, and Leibnizian Harmony. Preprint, arXiv:2601.15320 [q-bio.NC], 2026.
  33. Tadayoshi Miwa and Takao Inoué, A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems. 大和大学研究紀要, 第12巻, 2026.3, 情報学部編, p. 7-27. Also preprint, arXiv:2601.10026 [math.LO], 2026.
  34. Takao Inoué, On Meaning, Object, Name, and Existence in Lawvere's Categorical Semantics. Preprint, January, 2026 in Takao Inoué's site of ResearchGate.
  35. Takao Inoué, On Definitions of Existence. 大和大学研究紀要, 第12巻, 2026.3, 情報学部編, p. 1-6. Also preprint in PhilArchive, https://philarchive.org/rec/INOODO
  36. Takao Inoué, Ketonen-type Gentzen and tableau systems for intuitionistic predicate logic. Preprint, August, 2025 in Takao Inoué's site of ResearchGate.
  37. Takao Inoué, On Data. Preprint, August, 2025 in Takao Inoué's site of ResearchGate.
  38. Ketonen-type Gentzen and Tableau systems for classical predicate logic. Preprint, July, 2025 in Takao Inoué's site of ResearchGate.
  39. Takao Inoué, On the TBox-derivation of ""Murderer is included in Human"" in certain description logic T 2 |= Murderer ⊑ Human, and more. Preprint, July, 2025 in Takao Inoué's site of ResearchGate.
  40. Takao Inoué, On Philosophy. Preprint, July, 2025 in Takao Inoué's site of ResearchGate.
  41. Thien Vu, Yoshihiro Kokubo, Mai Inoue, Masaki Yamamoto, Attayeb Mohsen, Agustín Martín-Morales, Research Dawadi, Takao Inoué, Jie Ting Tay, Mari Yoshizaki, Naoki Watanabe, Yuki Kuriya, Chisa Matsumoto, Ahmed Arafa, Yoko M. Nakao, Yuka Kato, Masayuki Teramoto, and Michihiro Araki, Machine Learning Model for Predicting Coronary Heart Disease Risk: Development and Validation Using Insights From a Japanese Population-Based Study. JMIR Cardio 9 (2025), e68066. doi:10.2196/68066.
  42. 井上茂雄, 井上研ゼミ紹介(第4版) 担当教員：井上茂雄(いのうえたかお) 大和大学 情報学部 情報学科 教授 2025年. Preprint, April, 2025 in Takao Inoué's site of ResearchGate.
  43. 井上茂雄（Takao Inoué）, DX時代の経営情報論の定番教科書「現代経営情報論」（有斐閣、2021）とその旧版との比較研究）, Journal of Yamato University, Vol.11, Faculty of Informatics（大和大学研究紀要, 第11巻（情報学部偏））, p.1-10, 2025.
  44. Takao Inoué, On humanization of mathematics: aesthetic mathematics（数学の人間化について：審美的数学）, Journal of Yamato University, Vol.11, Faculty of Informatics（大和大学研究紀要, 第11巻（情報学部偏））, p.11-19, 2025. Also, arXiv:2302.02449 [math.HO] [math.HO] (2025), 2nd.
  45. Takao Inoué and Tadayoshi Miwa, Nontrivial single axiom-schemata and their quasi-nontriviality of Leśniewski-Ishimoto’s propositional ontology L1. Preprint, arXiv:2402.07030 [math.LO] [math.LO] (2025), 6th.
  46. Thien Vu, Yoshihiro Kokubo, Mai Inoue, Masaki Yamamoto, Attayeb Mohsen, Agustin Martin-Morales, Research Dawadi, Takao Inoue, Tay Jie Ting, Mari Yoshizaki, Naoki Watanabe, Yuki Kuriya, Chisa Matsumoto, Ahmed Arafa, Yoko M Nakao, Yuka Kato, Masayuki Teramoto, Michihiro Araki, Unveiling Coronary Heart Disease Prediction through Machine Learning Techniques: Insights from the Suita Population-Based Cohort Study, Accepted for the publication for JMIR Cardio. DOI: 10.2196/68066
  47. Thien Vu , Yoshihiro Kokubo, Mai Inoue, Masaki Yamamoto, Attayeb Mohsen, Agustin Martin-Morales, Takao Inoué, Research Dawadi and Michihiro Araki, Machine Learning Approaches for Stroke Risk Prediction: Findings from the Suita Study, Journal of Cardiovascular Development and Disease (JCDD), 2024, 11, 207, (13 pages). https://doi.org/10.3390/jcdd11070207
  48. Takao Inoué, On Love, Preprint, 2024. DOI: 10.13140/RG.2.2.27593.35688.
  49. Takao Inoué, Z/(3)-Modules in Mizar, Preprint, April 2024. DOI: 10.13140/RG.2.2.33928.02568
  50. Takao Inoué and Kosuke Sano, Z/(2)-Modules in Mizar, Preprint, April, 2024. DOI: 10.13140/RG.2.2.32250.30407
  51. Takao Inoué, Fun of Python, Part 1 (Ver. 1.0). Preprint, March 2024. DOI: 10.13140/RG.2.2.12932.74882
  52. Takao Inoué, Epistemic systems and Flagg and Friedman’s translation. © Publications of Center for Computer Science, Mathematics, and Engineering Physics 1:4 Mathematical Logic, October 24, 2023. The link now disappeared. Also preprint, arXiv:2307.02688 [math.LO] (2023). Please get this article at arXiv site.
  53. Takao Inoué, On Bergman's Diamond Lemma for Ring Theory, Journal of Mathematical Techniques and Computational Mathematics 2(10):420-430 (2023). Also preprint, arXiv:2007.13845 [math.RT] (2020).
  54. Takao Inoué, On Blass translation for Leśniewski's propositional ontology and modal logics, Studia Logica. 110, No. 1, 265-289 (2022). Also preprint arXiv:2006.15421v2 [math.LO] (2020).
  55. Takao Inoué and Riku Hanaoka, Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II. Formaliz. Math. 30(1): 1-12 (2022) .
  56. Takao Inoué, On the fifth dimension as the set of possible worlds with tree structures, Journal of Computer Science, Vol. I, Issue I, Center for Computer Science, Mathematics, and Engineering Physics 2022. The link now disappeared. Please get this article at https://github.com/Takao-Inoue/Kusan-arXiv/blob/main/Inoue-new-pdf-fifth-dimension.pdf
  57. Takao Inoué, A sound interpretation of Leśniewski's epsilon in modal logic KTB, Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 4, 455-463 (2021). Also arXiv:2007.12006v2 [math.LO] (2021).
  58. Takao Inoué, Arata Ishimoto and Mitsunori Kobayashi, Axiomatic Rejection for the Propositional Fragment of Leśniewski's Ontology. Preprint, arXiv:2108.06604 [math.LO] (2021).
  59. Takao Inoué, How to Make a New Logic. Preprint, arXiv:2108.05934 [math.LO] (2021).
  60. Takao Inoué, The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: the system without complete induction. Preprint, arXiv:2010.07368 [math.LO] (2020).
  61. Takao Inoué, Adam Naumowicz, Noboru Endou and Yasunari Shidama, Partial differentiation of vector-valued functions on n-dimensional real normed linear spaces, Formaliz. Math. 19, No. 1, 1-9 (2011).
  62. Takao Inoué, Noboru Endou and Yasunari Shidama, Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces, Formaliz. Math. 18(1-4): 207-212 (2010).
  63. Takao Inoué, MizarMML-DB, a simple free Database for Mizar Articles, Mechanized Mathematics and Its Applications, Vol.8, No.1, 2010, pp. 1-8.
  64. Takao Inoué, Corrections and additions to my paper “A note on unprovability-preserving sound translations”, more general constructions, Log. Anal., Nouv. Sér. 39, No. 155-156, 335-367 (1996).
  65. Takao Inoué, The single axiom-schema of March 8th, Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 2, 115 (1995).
  66. Takao Inoué, Hintikka formulas as axioms of refutation calculus, a case study, Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 2, 105-114 (1995).
  67. Takao Inoué, Some type of formulas and the faithfulness of Flagg and Friedman's translation, Bull. Sect. Log., Pol. Acad. Sci. 21, No. 1, 2-11 (1992).
  68. Takao Inoué, Flagg and Friedman’s translation is not faithful, Z. Math. Logik Grundlagen Math. 38, No. 5-6, 551-554 (1992).
  69. 井上 茂雄, 帰結関係と帰結作用素への誘い, 科学哲学, 1992 年 25 巻 p. 69-84, 早稲田大学出版会. DOI https://doi.org/10.4216/jpssj.25.69
  70. Takao Inoué, A note on unprovability-preserving sound translations, Logique Anal., Nouv. Sér. 33, No. 131-132, 243-257 (1990).
  71. Takao Inoué, A note on Stahl's opposite system, Z. Math. Logik Grundlagen Math. 35, No. 5, 387-390 (1989).
  72. 井上 茂雄, 公理的拒否における石本の定理について -証明不可能性についての哲学- 科学哲学, 1989 年 22 巻 p. 77-93, 早稲田大学出版会. DOI https://doi.org/10.4216/jpssj.22.77

私が書いたzbMATH Open のReviews: Reviewed Papers ( https://zbmath.org/?q=rn%3A18297 )

  1. Grigory Olkhovikov, An intuitionistically complete system of basic intuitionistic conditional logic. J. Philos. Log. 53, No. 5, 1199-1240 (2024). DOI: 10.1007/s10992-024-09763-6.
  2. S. Guerrini, A. Masini, and M. Zorzi, Natural deduction calculi for classical and intuitionistic S5. J. Appl. Non-Class. Log. 33, No. 2, 165-205 (2023). DOI: 10.1080/11663081.2023.2233750.
  3. Jim de Groot and Dirk Pattinson, Hennessy-Milner properties via topological compactness. Information and Computation 287, Article 104757 (2022). DOI: 10.1016/j.ic.2021.104757.
  4. Harold T. Hodes, One-step modal logics, intuitionistic and classical. II. J. Philos. Log. 50, No. 5, 873-910 (2021). DOI: 10.1007/s10992-021-09607-7.
  5. Harold T. Hodes, One-step modal logics, intuitionistic and classical. I. J. Philos. Log. 50, No. 5, 837-872 (2021). DOI: 10.1007/s10992-020-09574-5.
  6. Sergey Drobyshevich and Heinrich Wansing, Proof systems for various FDE-based modal logics. Rev. Symb. Log. 13, No. 4, 720-747 (2020). DOI: 10.1017/S1755020319000261.
  7. Jc. Beall and Caleb Camrud, A note on FDE ""all the way up"". Notre Dame J. Formal Logic 61, No. 2, 283-296 (2020). DOI: 10.1215/00294527-2020-0007.
  8. Nissim Francez, A proof-theoretic semantics for parametric logical constants. Log. Anal., Nouv. Sér. 62, No. 247, 225-244 (2019). DOI: 10.2143/LEA.237.0.3287262.
主な所属学会 日本数学会、日本Mizar学会、日本図書館情報学会
戻る

HOME > 大学について > 教員紹介 > 井上 茂雄