TAKEUTI Izumi 竹内泉

… Alternative Names

竹内泉タケウチイズミ

Less

Researcher Number	20264583
Other IDs
External Links
Affiliation (Current)	2025: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
Affiliation (based on the past Project Information) *help	2022 – 2023: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 2010: 独立行政法人産業技術総合研究所, 情報技術研究部門, 特別研究員 2008 – 2010: 独立行政法人産業技術総合研究所, 情報技術研究部門, 研究員 2002 – 2003: 東邦大学, 理学部, 講師 2001: 京都大学, 情報学研究科, 助手 … More 1999: 京都大学, 大学院・情報学研究科, 助手 1998 – 1999: 京都大学, 情報学研究科, 助手 1997: Kyoto Univ.Information Science.Instructor, 工学研究科, 助手 1997: 新潟大学, 工学研究科, 助手 Less
Review Section/Research Field	Principal Investigator 計算機科学 Except Principal Investigator 計算機科学 / Basic Section 61040:Soft computing-related / Software / Science and Engineering
Keywords	Principal Investigator 計算可能性数学 / 構成的数学 / 実数計算 / パラメトリシティ / ラムダ計算 / 多相型 / パラメトリシティー / 型理論 / 高階型 Except Principal Investigator 型理論 … More / Constructive Programming / 構成的プログラミング / Classical Logic / 古典論理 / Type Theory / Catch / 環境 / 文脈 / 対話システム / 数理論理学 / 語用論 / 汎用人工知能 / 計算論的神経科学 / ベイジアンネットワーク / プログラム合成 / 認知アーキテクチャ / 階層型強化学習 / Context / Variable Collision / Meta Variable / Syntactic Object / Meta Language / Object Language / 計算体系 / 強正規化性 / 合流性 / 変数の衝突 / 超変数 / 文法的対象 / メタ言語 / 対象言語 / キャッチ・スロー機構 / 算術 / Modal Logic / Intuitionistic Logic / Interactive Proof System / 証明エンジン / グラフィカルユーザインターフェース / 証明支援システム / 様相論理 / 直観主義論理 / 対話的証明環境 / Throwcontrd / Throw機構 / 関数型プログラム言語 / キャッチスロー機構 / サービスプロセス / 医療情報システム / ビジネスプロセス / 医療サービス / 形式手法 / 医療オントロジー / 検証 / 要件分析 / 形式的手法 / オントロジー / web / UML / 画面遷移図 / データモデル図 / 業務フロー図 / 仕様書 / 情報システム / 変数束縛 Less

再帰的強化学習を用いた言語理解・発話計画機構の開発
- Principal Investigator
  
  一杉裕志
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 61040:Soft computing-related
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Design-assistance system of large scale information systems based on formal method and web ontology
- Principal Investigator
  
  TAKAKI Osamu
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology
実数関数作用素の多項式時間計算可能性に関する研究Principal Investigator
- Principal Investigator
  
  竹内泉
- Project Period (FY)
  2002 – 2003
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  Toho University
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (C)
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
Calculi and Logic of Environment and Context
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University
高階型理論におけるパラメトリシティーの理論Principal Investigator
- Principal Investigator
  
  竹内泉
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University
Implementation of Constructive Programming Based on Classical Logic
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
Theory of Constructive Programming
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
Design and Implementation of Constructive Programming Systems
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY

All 2024 2023 2022 2010 2009 2008

All Journal Article Presentation

[Journal Article] 前件強化による後件変更2024
- Author(s)
  竹内泉
- Journal Title
  
  哲学誌
  
  Volume: 66
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K12188
[Journal Article] Improvements to the Monte Carlo version of RGoal algorithm2024
- Author(s)
  一杉裕志、中田秀基、高橋直人、竹内泉、佐野崇
- Journal Title
  
  JSAI Technical Report, Type 2 SIG
  
  Volume: 2023 Issue: AGI-026 Pages: 50-55
- DOI
  10.11517/jsaisigtwo.2023.AGI-026_50
- ISSN
  2436-5556
- Year and Date
  2024-03-08
- Language
  Japanese
- Open Access
- Data Source
  KAKENHI-PROJECT-22K12188
[Journal Article] フランス語動詞補語の下位分類と組合せ範疇文法による漸進的解析2024
- Author(s)
  高橋直人、竹内泉、一杉裕志
- Journal Title
  
  言語処理学会第30回年次大会予稿集
  
  Volume: -
- Open Access
- Data Source
  KAKENHI-PROJECT-22K12188
[Journal Article] 報酬最大化を目的とする行動計画・実行・対話・推論の統一的制御機構,2023
- Author(s)
  一杉裕志、中田秀基、高橋直人、竹内泉、佐野崇
- Journal Title
  
  第37回人工知能学会全国大会予稿集
  
  Volume: -
- Data Source
  KAKENHI-PROJECT-22K12188
[Journal Article] 組合せ範疇文法によるドイツ語文の原因・結果関係の意味表示2023
- Author(s)
  高橋直人、一杉裕志、竹内泉
- Journal Title
  
  言語処理学会第29回年次大会発表論文集
  
  Volume: - Pages: 1901-1906
- Open Access
- Data Source
  KAKENHI-PROJECT-22K12188
[Journal Article] 組合せ範疇文法を用いたドイツ語文の漸進的解析2023
- Author(s)
  高橋直人、竹内泉、一杉裕志
- Journal Title
  
  言語処理学会第29回年次大会発表論文集
  
  Volume: - Pages: 1907-1912
- Open Access
- Data Source
  KAKENHI-PROJECT-22K12188
[Journal Article] 〈ならば〉と〈だから〉の意味論2023
- Author(s)
  竹内泉
- Journal Title
  
  哲学誌
  
  Volume: 65 Pages: 111-128
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K12188
[Journal Article] Introducing Exceptional Termination of Subroutines to Recursive Hierarchical Reinforcement Learning RGoal2023
- Author(s)
  一杉裕志、中田秀基、高橋直人、竹内泉、佐野崇
- Journal Title
  
  JSAI Technical Report, Type 2 SIG
  
  Volume: 2023 Issue: AGI-025 Pages: 08
- DOI
  10.11517/jsaisigtwo.2023.AGI-025_08
- ISSN
  2436-5556
- Year and Date
  2023-11-05
- Language
  Japanese
- Open Access
- Data Source
  KAKENHI-PROJECT-22K12188
[Journal Article] Design and prototype implementation of a communication mechanism for reward-maximizing AGI2022
- Author(s)
  一杉裕志、中田秀基、高橋直人、竹内泉、佐野崇
- Journal Title
  
  JSAI Technical Report, Type 2 SIG
  
  Volume: 2022 Issue: AGI-021 Pages: 02
- DOI
  10.11517/jsaisigtwo.2022.AGI-021_02
- ISSN
  2436-5556
- Year and Date
  2022-07-14
- Language
  Japanese
- Open Access
- Data Source
  KAKENHI-PROJECT-22K12188
[Journal Article] Action-Value Function Compression Algorithm for the Program Synthesis Target Language Pro5Langfor the Program Synthesis Target Language Pro5Lang2022
- Author(s)
  一杉裕志、中田秀基、高橋直人、竹内泉、佐野崇
- Journal Title
  
  JSAI Technical Report, Type 2 SIG
  
  Volume: 2022 Issue: AGI-022 Pages: 22
- DOI
  10.11517/jsaisigtwo.2022.AGI-022_22
- ISSN
  2436-5556
- Year and Date
  2022-11-15
- Language
  Japanese
- Open Access
- Data Source
  KAKENHI-PROJECT-22K12188
[Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009
- Author(s)
  Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
- Journal Title
  
  International Journal On Advances in Software 2
  
  Pages: 147-161
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Journal Title
  
  International Journal On Advances in Software vol.2
  
  Pages: 147-161
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Verification of evidence life cycles in workflow diagrams with passback flows2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Journal Title
  
  International journal on advances in software 1-1
  
  Pages: 14-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Verification of evidence life cycles in workflow diagrams with passback flows2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Journal Title
  
  International journal on advances in software vol.1-1
  
  Pages: 14-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 論理学は科学か、哲学か2023
- Author(s)
  竹内泉
- Organizer
  日本科学哲学会第56回大会
- Data Source
  KAKENHI-PROJECT-22K12188
[Presentation] Philosophers and AI2022
- Author(s)
  竹内泉
- Organizer
  日本科学哲学会第55回大会
- Invited
- Data Source
  KAKENHI-PROJECT-22K12188
[Presentation] Syntax and Semantics of Workflows That Include Passbacks2010
- Author(s)
  O.Takaki, I.Takeuti, N.Izumi, K.Hasida
- Organizer
  The 5th International Conference on SoftwareEngineering Advances(ICSEA 2010)
- Place of Presentation
  ニース(フランス)
- Year and Date
  2010-08-24
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows2010
- Author(s)
  高木理, 竹内泉, 和泉憲明, 橋田浩一
- Organizer
  The 9th JOINT CONFERENCE ON KNOWLEDGE-BASED SOFTWARE ENGINEERING(JCKBSE'10)
- Place of Presentation
  カウナス(リトアニア)
- Year and Date
  2010-08-26
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows2010
- Author(s)
  O.Takaki, I.Takeuti, N.Izumi, K.Hasida
- Organizer
  The 9th JOINT CONFERENCE ON KNOWLEDGE-BASEDSOFTWARE ENGINEERING(JCKBSE'10)
- Place of Presentation
  カウナス(リトアニア)
- Year and Date
  2010-08-26
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Syntax and Semantics of Workflows That Include Passbacks2010
- Author(s)
  高木理, 竹内泉, 和泉憲明, 橋田浩一
- Organizer
  The 5th International Conference on Software Engineering Advances(ICSEA 2010)
- Place of Presentation
  ニース(フランス)
- Year and Date
  2010-08-24
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 確率論理による通信の秘匿性の形式化2009
- Author(s)
  竹内泉
- Organizer
  代数,論理,幾何と情報科学研究集会
- Place of Presentation
  鳥取
- Year and Date
  2009-09-14
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 確率論理による通信の秘匿性の形式化,代数,論理2009
- Author(s)
  竹内泉
- Organizer
  幾何と情報科学研究集会
- Place of Presentation
  鳥取
- Year and Date
  2009-09-14
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 様相論理による通信の安全性の記述2009
- Author(s)
  竹内泉
- Organizer
  京都・数学の哲学研究集会
- Place of Presentation
  京都
- Year and Date
  2009-05-16
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 様相論理による通信の安全性の記述2009
- Author(s)
  竹内泉
- Organizer
  京都・数学の哲学研究集
- Place of Presentation
  京都
- Year and Date
  2009-05-16
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] ピゾ数進数から作られるフラクタル図形2009
- Author(s)
  竹内泉
- Organizer
  高知タイル貼り小研究集会2009
- Place of Presentation
  高知
- Year and Date
  2009-10-24
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 様相論理による通信の安全性の記述2009
- Author(s)
  竹内泉
- Organizer
  代数系アルゴリズムと言語および計算理論
- Place of Presentation
  京都
- Year and Date
  2009-02-17
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Incremental Verification of Large Scale Workflows Based on Extended Correctness2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Organizer
  The 3rd International Conference on Software Engineering Advances(ICSEA 2008)
- Place of Presentation
  スリーマ(マルタ共和国)
- Year and Date
  2008-10-30
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 置き替えによる準周期タイル張り,小研究集会2008
- Author(s)
  竹内泉
- Organizer
  準周期タイリング及びその関連する話題
- Place of Presentation
  高知
- Year and Date
  2008-06-20
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Workflow Diagrams Based on Evidence Life Cycles2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 8th Joint Conference on Knowledge-Based Software Engineering 2008(JCKRSE 08)
- Place of Presentation
  アテネ(ギリシャ)
- Year and Date
  2008-08-27
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 置き替えによる準周期タイル張り2008
- Author(s)
  竹内泉
- Organizer
  小研究集会:準周期タイリング及びその関連する話題
- Place of Presentation
  高知
- Year and Date
  2008-06-20
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Quality improvement of workflow diagrams based on passback flow consistency2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 10th International Conference on Enterprise Information Systems(ICEIS 2008)
- Place of Presentation
  バルセロナ(スペイン)
- Year and Date
  2008-06-13
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Function-restricted Constructive Mathematics and Complexity-bounded Computable Analysis2008
- Author(s)
  竹内泉
- Organizer
  Workshop on Constructivism : Logic and Mathematics
- Place of Presentation
  金沢
- Year and Date
  2008-05-26
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Workflow Diagrams Based on Evidence Life Cycles2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 8th Joint Conference on Knowledge-Based Software Engineering 2008 (JCKBSE08)
- Place of Presentation
  アテネ
- Year and Date
  2008-08-27
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Incremental Verification of Large Scale Workflows Based on Extended Correctness2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Organizer
  The 3rd International Conference on Software Engineering Advances (ICSEA2008)
- Place of Presentation
  スリーマ(マルタ共和国)
- Year and Date
  2008-10-30
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Quality improvement of workflow diagrams based on passback flow consistency2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 10th International Conference on Enter prise Information Systems (ICEIS 2008)
- Place of Presentation
  バルセロナ
- Year and Date
  2008-06-13
- Data Source
  KAKENHI-PROJECT-20500045

1. SATO Masahiko (20027387)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
2. KAMEYAMA Yukiyoshi (10195000)

# of Collaborated Projects: 4 results

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

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. TAKAKI Osamu (30388011)

# of Collaborated Projects: 1 results

# of Collaborated Products: 14 results
5. SEINO Takahiro (10397226)

# of Collaborated Projects: 1 results

# of Collaborated Products: 10 results
6. IZUMI Noriyuki (50293593)

# of Collaborated Projects: 1 results

# of Collaborated Products: 14 results
7. SAWAMURA Hajime (40282991)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. NAKAZAWA Koji (80362581)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. IGARASHI Atsushi (40323456)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 桜井貴文 (60183373)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 高橋孝一 (40357372)

# of Collaborated Projects: 1 results

# of Collaborated Products: 10 results
12. 一杉裕志 (30356464)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
13. 佐野崇 (00710295)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
14. 中田秀基 (80357631)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
15. 高橋直人 (40357380)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
16. OHTANI Takeshi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

TAKEUTI Izumi 竹内 泉

竹内 泉 タケウチ イズミ

Research Projects

Research Products

Co-Researchers

再帰的強化学習を用いた言語理解・発話計画機構の開発

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Design-assistance system of large scale information systems based on formal method and web ontology

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

実数関数作用素の多項式時間計算可能性に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Calculi and Logic of Environment and Context

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

高階型理論におけるパラメトリシティーの理論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Implementation of Constructive Programming Based on Classical Logic

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Theory of Constructive Programming

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design and Implementation of Constructive Programming Systems

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 前件強化による後件変更2024

Author(s)

Journal Title

Data Source

[Journal Article] Improvements to the Monte Carlo version of RGoal algorithm2024

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] フランス語動詞補語の下位分類と組合せ範疇文法による漸進的解析2024

Author(s)

Journal Title

Data Source

[Journal Article] 報酬最大化を目的とする行動計画・実行・対話・推論の統一的制御機構,2023

Author(s)

Journal Title

Data Source

[Journal Article] 組合せ範疇文法によるドイツ語文の原因・結果関係の意味表示2023

TAKEUTI Izumi 竹内泉

竹内泉タケウチイズミ