Takimoto Munehiro 滝本宗宏

… Alternative Names

TAKIMOTO Munehiro 滝本宗宏

Less

Researcher Number	00318205
Other IDs
Affiliation (Current)	2025: 東京理科大学, 創域理工学部情報計算科学科, 教授
Affiliation (based on the past Project Information) *help	2023 – 2024: 東京理科大学, 創域理工学部情報計算科学科, 教授 2015 – 2022: 東京理科大学, 理工学部情報科学科, 教授 2012 – 2015: 東京理科大学, 理工学部, 教授 2009 – 2012: Tokyo University of Science, 理工学部, 准教授 2006 – 2009: Tokyo University of Science, Dept. of Information Science, Lecturer, 理工学部, 講師 … More 2004: 東京理科大学, 理工学部, 講師 2003: 東京理科大学, 理工学部情報科学科, 助手 2001 – 2002: 東京理科大学, 理工学部, 助手 Less
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software / 計算機科学 Except Principal Investigator Social systems engineering/Safety system / Software / Basic Section 25030:Disaster prevention engineering-related / Basic Section 60050:Software-related / Basic Section 25020:Safety engineering-related / Natural disaster / Disaster prevention science / 計算機科学 / Social systems engineering/Safety system
Keywords	Principal Investigator コード最適化 / コンパイラ / 並列化 / コンパイラ共通基盤 / GPU / 部分冗長除去 / ILP / 人工知能 / PSO / 粒子群最適化 … More / 群知能 / 帰納論理プログラミング / CUDA / GPGPU / 大域値番号付け / キャッシュ効率化 / 要求駆動型データフロー解析 / 網羅型データフロー解析 / 静的単一代入形式 / 投機的移動 / 部分無用コード除去 / FPGA / 高位合成 / 投機実行 / XAI / 説明可能AI / 負例 / 正例 / 被覆 / Datalog / カーネルフュージョン / A*アルゴリズム / SQL / RDBMS / Progol / 選択命令 / くくり出し / プロファイリング / PTX / 疎なコード移動 / 分岐発散 / OpenCL / LLVM / ＣＯＩＮＳ / キャッシュ最適化 / スカラー置換 / 質問伝播 / ループスケジューリング / レジスタプロモーション / 命令レベル並列化 / 投機的巣ケージゆーリング / 命令スケジューリング / 投機的実行 / スケジューリング / ソフトウェアパイプライニング / コンパイラ・インフラストラクチャ / 最適化 / 疎な解析 / 要求駆動型 / VLIW / データフロー解析 / 関数型言語 … More Except Principal Investigator 移動エージェント / 最適化 / コンパイラ / 避難誘導 / モデル検査 / 時相論理 / UAV / エージェント / アルゴリズム / 群ロボット / Optimization / Compiler / マルチコプター / シミュレーション / ロボット / モバイルアドホックネットワーク / アドホックネットワーク / 自然災害 / MANET / 移動端末 / 災害対策 / 移動ロボット / 群知能 / 部分無用コード除去 / 検証 / 被災者支援 / 目的関数 / 問題分割 / ベンチマーク生成 / 網羅性 / 粒子群最適化法 / 飛行制御 / アドホック通信 / 編隊構成 / 構造物検査 / 飛行ロボット / 画像処理 / ロボットビジョン / 自律飛行 / LiDARセンサ / simulation / CDN / ad hoc network / mobile agent / multi agent / CCN / Vector Quantization / 機械学習 / エージェントプラットフォーム / PSOアルゴリズム / ロボット制御 / 不整地踏破ロボット / 粒子最適化 / Validation / Static single assignment form / 静的単一代入形式(SSA形式) / Compiler infrastructure / Advanced architecture / SSA (static single assignment) form / コード生成 / 命令レベル並列処理 / コンパイラ・インフラストラクチャ / 先端アーキテクチャ / SSA形式(静的単一代入形式) / ドローン / 空中ロボット / 経路構築 / Bluetooth / 災害 / 避難 / ACO / 災害シミュレーション / Swarm intelligence / Ant Colony Optimization / CTL / 時相論理理 / キャッシュ最適化 / 部分冗長性除去 / スカラー置換 / COINS / 大域値番号付け / キャッシュ効率化 / 要求駆動型データフロー解析 / 網羅型データフロー解析 / 静的単一代入形式 / コード最適化 / 最適化アルゴリズム / SSA形式 / データフロー解析 / 無用コード / 投機的部分冗長除去 / 最適化器 Less

Construction of disaster network using mobile ad hoc network
- Principal Investigator
  
  松澤智史
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 25030:Disaster prevention engineering-related
- Research Institution
  Tokyo University of Science
群知能に基づく並列帰納論理プログラミングの実現Principal Investigator
- Principal Investigator
  
  滝本宗宏
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo University of Science
複数の群れに基づく群知能を用いた軽量モデル検査技法の研究
- Principal Investigator
  
  熊澤努
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Software Research Assosiate,Inc.(Key Technology Group)
Development of an Algorithm for UAV Formation Control for Structural Inspection
- Principal Investigator
  
  Kambayashi Yasushi
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 25020:Safety engineering-related
- Research Institution
  Tokyo University of Science, Yamaguchi
  Nippon Institute of Technology
Accelerating Inductive Logic Programming Using GPUPrincipal Investigator
- Principal Investigator
  
  Takimoto Munehiro
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Tokyo University of Science
A Study of Multi-Robot Control System with Mobile Agents Based on PSO
- Principal Investigator
  
  Kambayashi Yasushi
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Social systems engineering/Safety system
- Research Institution
  Nippon Institute of Technology
Development of disaster evacuation guidance system using MANET
- Principal Investigator
  
  MATSUZAWA TOMOFUMI
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Natural disaster / Disaster prevention science
- Research Institution
  Tokyo University of Science
Extension of COINS Compiler Infrastructure Based on PTXPrincipal Investigator
- Principal Investigator
  
  Takimoto Munehiro
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo University of Science
A study on establishing ad-hoc network using mobile agents and multi-robot system
- Principal Investigator
  
  KAMBAYASHI Yasushi
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Social systems engineering/Safety system
- Research Institution
  Nippon Institute of Technology
Extension for GPU of CONS compiler infrastructurePrincipal Investigator
- Principal Investigator
  
  Takimoto Munehiro
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo University of Science
A Guidance System for Wide-area Complex Disaster Evacuation over Mobile Ad Hoc Networks
- Principal Investigator
  
  Matsuzawa Tomofumi
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Social systems engineering/Safety system
- Research Institution
  Tokyo University of Science
Generation and verification of COINS compiler optimizers using temporal logic and high-level extensions of optimizers
- Principal Investigator
  
  SASSA Masataka
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Extracting The Regions with No Memory Accessfor High-level SynthesisPrincipal Investigator
- Principal Investigator
  
  TAKIMOTO Munehiro
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo University of Science
A study on controlling multiple mobile robots using multiple software agents with evolutionary algorithms
- Principal Investigator
  
  KAMBAYASHI Yasushi
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Social systems engineering/Safety system
- Research Institution
  Nippon Institute of Technology
Generation and verification of compiler optimizers using temporal logic and high-level SSA form optimization considering aliases
- Principal Investigator
  
  SASSA Masataka
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
Parallelizing Compiler Infrastructure for High-level SynthesisPrincipal Investigator
- Principal Investigator
  
  TAKIMOTO Munehiro
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo University of Science
New methods for translation and optimization using SSA form in compilers and their validation systems
- Principal Investigator
  
  SASSA Masataka
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
関数型言語記述に基づくコード最適化共通フレームワークの研究Principal Investigator
- Principal Investigator
  
  滝本宗宏
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  Tokyo University of Science
Optimizations for advanced architectures using compiler infrastructures
- Principal Investigator
  
  SASSA Masataka
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  TOKYO INSTITUTE OF TECHNOLOGY

[Book] Artificial Intelligence for Communications and Networks -4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings2023
- Author(s)
  Yasushi Kambayashi, Ngoc Thanh Nguyen, Shu-Heng Chen, Petre Dini, Munehiro Takimoto
- Total Pages
  159
- Publisher
  Springer
- ISBN
  9783031291258
- Data Source
  KAKENHI-PROJECT-19K11909
[Book] Multi-Agent Systems2019
- Author(s)
  Vladimir Shikhin, Yasushi Kambayashi, Ryotaro Oikawa, and Munehiro Takimoto
- Total Pages
  80
- Publisher
  Intech
- Data Source
  KAKENHI-PROJECT-17K01304
[Book] Multi-Agent Systems and Agreement Technologies2016
- Author(s)
  及川亮太郎，滝本宗宏，神林靖
- Total Pages
  474
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-26350456
[Book] Agents and Artificial Intelligence2015
- Author(s)
  高橋諒，滝本宗宏，神林靖
- Total Pages
  378
- Publisher
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-26350456
[Book] コンパイラの基盤技術と実践-コンパイラ・インフラストラクチヤCOINSを用いて2008
- Author(s)
  中田育男, 渡辺坦, 佐々政孝, 滝本宗宏
- Total Pages
  260
- Publisher
  朝倉書店
- Data Source
  KAKENHI-PROJECT-19300006
[Book] コンパイラの基盤技術と実践-コンパイラ・インフラストラクチャCOINSを用いて2008
- Author(s)
  中田育男,渡辺坦,佐々政孝,滝本宗宏
- Total Pages
  260
- Publisher
  朝倉書店
- Data Source
  KAKENHI-PROJECT-19500031
[Book] コンパイラの基盤技術と実践-コンパイラ・インフラストラクチャCOINSを用いて
- Author(s)
  中田育男,渡辺坦,佐々政孝,滝本宗宏
- Total Pages
  260
- Publisher
  朝倉書店
- Data Source
  KAKENHI-PROJECT-19300006
[Journal Article] Efficient Inductive Logic Programming based on Predictive A*-like Algorithm2023
- Author(s)
  Meko Okawara, Junji Fukuhara, Munehiro Takimoto, Tsutomu Kumazawa and Yasushi Kambayashi
- Journal Title
  
  AHFE International
  
  Volume: 70 Pages: 99-107
- DOI
  10.54941/ahfe1002934
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11909, KAKENHI-PROJECT-23K11054
[Journal Article] Scalar Replacement Considering Branch Divergence2022
- Author(s)
  Junji Fukuhara and Munehiro Takimoto
- Journal Title
  
  Journal of Information Processing
  
  Volume: 30 Issue: 0 Pages: 164-178
- DOI
  10.2197/ipsjjip.30.164
- NAID
  130008159962
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11909
[Journal Article] Efficient Inductive Logic Programming Based on Particle Swarm Optimization2022
- Author(s)
  Kyosuke Obara, Munehiro Takimoto, Tsutomu Kumazawa and Yasushi Kambayashi
- Journal Title
  
  Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
  
  Volume: 477 Pages: 151-158
- DOI
  10.1007/978-3-031-29126-5_13
- ISBN
  9783031291258, 9783031291265
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11909
[Journal Article] Automated kernel fusion for GPU based on code motion2022
- Author(s)
  Junji Fukuhara and Munehiro Takimoto
- Journal Title
  
  LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
  
  Volume: 23 Pages: 151-161
- DOI
  10.1145/3519941.3535078
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11909
[Journal Article] Vector Quantization to Visualize the Detection Process2021
- Author(s)
  Suzuki Kaiyu、Matsuzawa Tomofumi、Takimoto Munehiro、Kambayashi Yasushi
- Journal Title
  
  Proceedings of the 13th International Conference on Agents and Artificial Intelligence
  
  Volume: 1 Pages: 553-561
- DOI
  10.5220/0010426005530561
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K01342
[Journal Article] A Proposal of Evacuation Support System with Redundancy Using Multiple Mobile Agents2020
- Author(s)
  Tago Itsuki、Suzuki Naoto、Matsuzawa Tomofumi、Takimoto Munehiro、Kambayashi Yasushi
- Journal Title
  
  Agents and Multi-agent Systems: Technologies and Applications 2019
  
  Volume: 1 Pages: 47-56
- DOI
  10.1007/978-981-13-8679-4_4
- ISBN
  9789811386787, 9789811386794
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K01342
[Journal Article] Branch Divergence Reduction Based on Code Motion2020
- Author(s)
  Junji Fukuhara and Munehiro Takimoto
- Journal Title
  
  Journal of Information Processing
  
  Volume: 28 Issue: 0 Pages: 302-309
- DOI
  10.2197/ipsjjip.28.302
- NAID
  130007843339
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11909
[Journal Article] Multi-agent Base Evacuation Support System Using MANET2019
- Author(s)
  Shohei Taga, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi
- Journal Title
  
  Vietnam Journal of Computer Science
  
  Volume: 6 Issue: 02 Pages: 1-15
- DOI
  10.1142/s219688881950012x
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K01342
[Journal Article] Multi-Agent Base Evacuation Support System Considering Altitude2019
- Author(s)
  Shohei Taga, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi
- Journal Title
  
  Proceedings of the 11th International Conference on Agents and Artificial Intelligence
  
  Volume: 1 Pages: 299-306
- DOI
  10.5220/0007693302990306
- Data Source
  KAKENHI-PROJECT-17K01342
[Journal Article] Formation Control of Swarm Robots Using Mobile Agents2019
- Author(s)
  Yasushi Kambayashi, Hideaki Yajima, Tadashi Shyoji, Ryotaro Oikawa, Munehiro Takimoto
- Journal Title
  
  Vietnam Journal of Computer Science
  
  Volume: 印刷中 Pages: 1-30
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K01304
[Journal Article] Multi-Agent Approach for Evacuation Support System2017
- Author(s)
  11.Shouhei Taga, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi
- Journal Title
  
  9th International Conference on Agents and Artificial Intelligence
  
  Volume: 1 Pages: 220-227
- DOI
  10.5220/0006194202200227
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K01342
[Journal Article] Predictive Distributed Formation Control for Swarm Robots Using Mobile Agents2017
- Author(s)
  及川亮太郎，滝本宗宏，神林靖
- Journal Title
  
  Transactions on Automatic Control and Computer Science
  
  Volume: 印刷中
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26350456
[Journal Article] A Guidance System for Wide-area Complex Disaster Evacuation based on Ant Colony Optimization2016
- Author(s)
  Hirotaka Goto, Asuka Ohta, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi, Masayuki Takeda
- Journal Title
  
  Proceedings of the 8th International Conference on Agents and Artificial Intelligence
  
  Volume: 1 Pages: 262-268
- DOI
  10.5220/0005819502620268
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25350482
[Journal Article] Multi-agent Approach for Return Route Support System Simulation2016
- Author(s)
  Shouhei Taga, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi
- Journal Title
  
  Proceedings of the 8th International Conference on Agents and Artificial Intelligence
  
  Volume: 1 Pages: 269-274
- DOI
  10.5220/0005819602690274
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25350482
[Journal Article] 要求駆動型スカラ置換2015
- Author(s)
  澄川靖信，小島量，滝本宗宏
- Journal Title
  
  日本ソフトウェア科学会論文誌コンピュータソフトウェア
  
  Volume: 未定
- NAID
  130005086348
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330089
[Journal Article] 依存関係に基づく括出し法2015
- Author(s)
  那須孝志，滝本宗宏
- Journal Title
  
  電子情報通信学会技術研究報告
  
  Volume: 115(154) Pages: 57-62
- Data Source
  KAKENHI-PROJECT-25330089
[Journal Article] An improved evacuation guidance system based on ant colony optimization2015
- Author(s)
  Asuka Ohta, Hirotaka Goto, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi, Masayuki Takeda
- Journal Title
  
  The 19th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2015)
  
  Volume: 5 Pages: 15-27
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25350482
[Journal Article] 被災時避難誘導に向けたフェロモン調節による改良ACOアルゴリズムの提案2015
- Author(s)
  後藤大貴，太田飛鳥，松澤智史，滝本宗宏，神林靖，武田正之
- Journal Title
  
  情報処理学会電子情報通信学会 FIT2015 情報科学技術レターズ
  
  Volume: RO-007 Pages: 65-70
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25350482
[Journal Article] Cooperative Control of Multi-Robot Using Mobile Agents in a Three-dimensional Environment2013
- Author(s)
  Chihiro Yokoyama, Munehiro Takimoto and Yasushi Kambayashi
- Journal Title
  
  Proceeding of the 2013 IEEE International Conference on Systems, Man, and Cybernetics
  
  Volume: なし Pages: 1115-1120
- DOI
  10.1109/smc.2013.194
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25350482
[Journal Article] 効率的な要求駆動型部分冗長除去2013
- Author(s)
  澄川靖信,滝本宗宏
- Journal Title
  
  情報処理学会論文誌:プログラミング
  
  Volume: (掲載予定)
- NAID
  110009784973
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300007
[Journal Article] 効率的な要求駆動型部分冗長除去2013
- Author(s)
  澄川靖信,滝本宗宏
- Journal Title
  
  情報処理学会論文誌:プログラミング,掲載予定
- NAID
  110009784973
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500034
[Journal Article] ERAM - Evacuation Routing using Ant Colony Optimization over Mobile Ad Hoc Networks2013
- Author(s)
  Alejandro Aviles del Moral, Munehiro Takimoto, Yasushi Kambayashi
- Journal Title
  
  Proceedings of the Fifth International Conference on Agents and Artificial Intelligence
  
  Volume: 1 Pages: 118-127
- DOI
  10.5220/0004261301180127
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25350482
[Journal Article] Effective Demand-driven Partial Redundancy Elimination2013
- Author(s)
  Yasunobu Sumikawa and Munehiro Takimoto
- Journal Title
  
  IPSJ Trans. Programming
  
  Volume: Vol.6, No.2 Pages: 33-44
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330089
[Journal Article] Cooperatively Searching Objects Based on Mobile Agents2013
- Author(s)
  Takashi Nagata, Munehiro Takimoto, and Yasushi Kambayashi
- Journal Title
  
  Transaction on Computational Collective Intelligence XI
  
  Volume: LNCS 8065 Pages: 119-136
- DOI
  10.1007/978-3-642-41776-4_5
- ISBN
  9783642417757, 9783642417764
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25350482
[Journal Article] Demand-driven Partial Dead Code Elimination2012
- Author(s)
  Munehiro Takimoto
- Journal Title
  
  IPSJ Transaction on Programming
  
  Volume: 5 Pages: 9-16
- NAID
  130002073590
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500034
[Journal Article] Global Load Instruction Aggregation Based on Code Motion2012
- Author(s)
  Sumikawa, Y. and Takimoto, M.
- Journal Title
  
  Proc. of IEEE International Symposium on Parallel Architectures,Algorithms and Programming, PAAP'12, IEEE Computer Society
  
  Pages: 149-156
- NAID
  40020660279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500034
[Journal Article] 配列の次元を考慮した大域ロード命令集約2012
- Author(s)
  澄川靖信，滝本宗宏
- Journal Title
  
  信学技報，電子情報通信学会
  
  Volume: Vol.112，No.164 Pages: 115-119
- NAID
  110009626582
- Data Source
  KAKENHI-PROJECT-22500034
[Journal Article] Global Load Instruction Aggregation Based on Code Motion2012
- Author(s)
  Sumikawa, Yasunobu. and Takimoto, Munehiro
- Journal Title
  
  Proc. of IEEE International Symposium on Parallel Architectures, Algorithms and Programming, PAAP'12
  
  Volume: なし Pages: 149-156
- NAID
  40020660279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500034
[Journal Article] Demand-driven Partial Dead Code Elimination2012
- Author(s)
  Takimoto, M.
- Journal Title
  
  IPSJ Transactions on Programming
  
  Volume: Vol.5, No.1 Pages: 9-16
- NAID
  130002073590
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500034
[Journal Article] 配列の次元を考慮した大域ロード命令集約2012
- Author(s)
  澄川靖信,滝本宗宏
- Journal Title
  
  信学技報,電子情報通信学会
  
  Volume: Vol.112,No.164 Pages: 115-119
- NAID
  110009626582
- Data Source
  KAKENHI-PROJECT-22500034
[Journal Article] Demand-driven Partial Dead Code Elimination2012
- Author(s)
  Takimoto, M.
- Journal Title
  
  IPSJ Transactions on Programming
  
  Volume: Vol.5,No.1 Pages: 9-16
- NAID
  130002073590
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300007
[Journal Article] 配列の次元を考慮した大域ロード命令集約2012
- Author(s)
  澄川靖信,滝本宗宏
- Journal Title
  
  信学技報,電子情報通信学会
  
  Volume: Vol.112No.164
- NAID
  110009626582
- Data Source
  KAKENHI-PROJECT-22300007
[Journal Article] Global Load Instruction Aggregation Based on Code Motion, Proc. of IEEE International Symposium on Parallel Architectures, Algorithms and Programming, PAAP'122012
- Author(s)
  Sumikawa, Y. and Takimoto, M.
- Journal Title
  
  IEEE Computer Society
  
  Pages: 149-156
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300007
[Journal Article] コード移動に基づく大域ロード命令集約2011
- Author(s)
  澄川靖信, 滝本宗宏
- Journal Title
  
  日本ソフトウエア科学会大会講演論文集
  
  Volume: 28
- NAID
  40020660279
- Data Source
  KAKENHI-PROJECT-22500034
[Journal Article] Ant Colony Clustering Using Mobile Agents as Ants and Pheromone2010
- Author(s)
  Yasushi Kambayashi, Hidemi Yamachi, Munehiro Takimoto
- Journal Title
  
  Proceedings of Second Asian Conference on Intelligent Information and Database Systems LNAI 5990
  
  Pages: 435-444
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] Distributed Ant Colony Clustering Using Mobile Agents and Its Effects2010
- Author(s)
  Ryotaro Oikawa, Masashi Mizutani, Munehiro Takimoto, Yasushi Kambayashi
- Journal Title
  
  Proceedings of Fourteenth International Conference on Knowledge-Based Intelligent Information and Engineering Systems LNAI 6276
  
  Pages: 198-208
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] Distributed Ant Colony Clustering Using Mobile Agents and Its Effects2010
- Author(s)
  及川亮太郎, 水谷昌史, 滝本宗宏, 神林靖
- Journal Title
  
  Proceedings of the Fourteenth KES International Conference on Knowledge-Based Intelligent Information and Engineering Systems
  
  Volume: LNAT6276 Pages: 198-208
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] A Search for Practical Implementation of the Intelligent Cart System2010
- Author(s)
  神林靖, 山地秀美, 滝本宗宏
- Journal Title
  
  Proceedings of the 2010 IRAST International Congress on Computer Applications and Computational Science
  
  Pages: 895-898
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] Ant Colony Clustering Using Mobile Agents as Ants and Pheromone2010
- Author(s)
  水谷昌史, 滝本宗宏, 神林靖
- Journal Title
  
  Proceedings of the Second Asian Conference on Intelligent Information and Database Systems LNAI 5990
  
  Pages: 435-444
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] A Feasibility Study of the Intelligent Cart System2010
- Author(s)
  神林靖, 山地秀美, 滝本宗宏
- Journal Title
  
  Proceedings of SICE Annual Conference 2010
  
  Pages: 1159-1163
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] Design of Multi-Robot System Using Mobile Agents with Ant Colony Clustering2009
- Author(s)
  神林靖, 辻村泰寛, 山地秀実滝本宗宏, 山本久志
- Journal Title
  
  Proceedings of Hawaii International Conference on Systems Sciences (CD-ROM)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] Design of an Intelligent Cart System Used in Common Airport2009
- Author(s)
  Yasushi Kambayashi, Osamu Sato, Yoshikuni Harada, Munehiro Takimoto
- Journal Title
  
  Proceedings of Thirteenth IEEE International Symposium on Consumer Electronics CD-ROM
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] 質問伝播に基づく投機的部分冗長除去2009
- Author(s)
  滝本宗宏
- Journal Title
  
  情報処理学会論文誌プログラミング Vol.2,No.5
  
  Pages: 15-27
- NAID
  110007970926
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500031
[Journal Article] Integrating Ant Colony Clustering Method to Multi-Robots Using Mobile Agents2009
- Author(s)
  Yasushi Kambayashi, Masataka, Ugajin, Osamu Sato, Yasuhiro Tsujimura, Hidemi Yamachi, Hisashi Yamamoto, Munehiro Takimoto
- Journal Title
  
  Industrial Engineering and Management Systems, An International Journal Vol.8, No.3
  
  Pages: 181-193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] Design of Multi-Robot System Using Mobile Agents with Ant Colony Clustering2009
- Author(s)
  Yasushi Kambayashi, Yasuhiro Tsujimura, Hidemi Yamachi, Munehiro Takimoto, Hisashi Yamamoto
- Journal Title
  
  Proceedings of Hawaii International Conference on System Sciences 42 CD-ROM
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] Suppressing the Total Costs of Executing Tasks Using Mobile Agents2009
- Author(s)
  永田隆士, 滝本宗宏, 神林靖
- Journal Title
  
  Proceedings of Hawaii International Conference on Systems Sciences (CD-ROM)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] Suppressing the Total Costs of Executing Tasks Using Mobile Agents2009
- Author(s)
  Takashi Nagata, Munehiro Takimoto, Yasushi Kambayashi
- Journal Title
  
  Proceedings of Hawaii International Conference on System Sciences 42 CD-ROM
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] 質問伝播に基づく投機的部分冗長除去2009
- Author(s)
  滝本宗宏
- Journal Title
  
  情報処理学会論文誌プログラミング Vol.2,No.5
  
  Pages: 15-27
- NAID
  110007970926
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300006
[Journal Article] 質問伝播に基づく投機的部分冗長除去2009
- Author(s)
  滝本宗宏
- Journal Title
  
  情報処理学会論文誌プログラミング 2,5
  
  Pages: 15-27
- NAID
  110007970926
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300006
[Journal Article] Design of an Intelligent Cart System Used in Common Airport2009
- Author(s)
  神林靖, 佐藤修, 原田義邦, 滝本宗宏
- Journal Title
  
  Proceedings of the 13^<th> IEEE International Symposium on Consumer Electronics (CD-ROM)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] 質問伝播に基づく投機的部分冗長除去2009
- Author(s)
  滝本宗宏
- Journal Title
  
  情報処理学会論文誌プログラミング 2
  
  Pages: 15-27
- NAID
  110007970926
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500031
[Journal Article] Integrating Ant Colony Clustering Method to Multi-Robots Using Mobile Agents2009
- Author(s)
  神林靖, 宇賀神匡孝, 佐藤修, 辻村泰寛, 山地秀実, 山本久志, 滝本宗宏
- Journal Title
  
  Industrial Engineering and Management Systems 8(3)
  
  Pages: 181-193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20510141
[Journal Article] 静的単一代入形式を用いた最適化(導入編)2008
- Author(s)
  佐々政孝, 滝本宗宏
- Journal Title
  
  コンピュータソフトウェア Vol.25,No.1
  
  Pages: 19-29
- NAID
  110006572496
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500031
[Journal Article] 静的単一代入形式を用いた最適化(導入編)2008
- Author(s)
  佐々政孝, 滝本宗宏
- Journal Title
  
  日本ソフトウェア科学会コンピュータソフトウェア 25
  
  Pages: 19-29
- NAID
  110006572496
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500031
[Journal Article] 静的単一代入形式を用いた最適化(導入編)2008
- Author(s)
  佐々政孝, 滝本宗宏
- Journal Title
  
  コンピュータソフトウェア Vol.25, No.1
  
  Pages: 19-29
- NAID
  110006572496
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300006
[Journal Article] 静的単一代入形式を用いた最適化(発展編)2008
- Author(s)
  滝本宗宏, 佐々政孝
- Journal Title
  
  日本ソフトウェア科学会コンピュータソフトウェア 25
  
  Pages: 30-46
- NAID
  110006572497
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500031
[Journal Article] 静的単一代入形式を用いた最適化2008
- Author(s)
  佐々政孝, 滝本宗宏
- Journal Title
  
  コンピュータソフトウェア Vol.25,No.1
  
  Pages: 19-29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300006
[Journal Article] 静的単一代入形式を用いた最適化(発展編)2008
- Author(s)
  滝本宗宏, 佐々政孝
- Journal Title
  
  コンピュータソフトウェア Vol.25,No.1
  
  Pages: 30-46
- NAID
  110006572497
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500031
[Journal Article] 要求駆動型部分無用コード除去2008
- Author(s)
  滝本宗宏
- Journal Title
  
  組込みシンポジウム2008論文集
  
  Pages: 107-114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300006
[Journal Article] 要求駆動型部分無用コード除去2008
- Author(s)
  滝本宗宏
- Journal Title
  
  組込みシステムシンポジウム 2008
  
  Pages: 107-114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500031
[Journal Article] 要求駆動型部分無用コード除去2008
- Author(s)
  滝本宗宏
- Journal Title
  
  組込みシステムシンポジウム論文集
  
  Pages: 107-114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500031
[Journal Article] 静的単一代入形式を用いた最適化2008
- Author(s)
  滝本宗宏, 佐々政孝
- Journal Title
  
  コンピュータソフトウェア Vol.25,No.1
  
  Pages: 30-46
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300006
[Journal Article] 要求駆動型部分無用コード除去2008
- Author(s)
  滝本宗宏
- Journal Title
  
  組込みシステムシンポジウム 2008
  
  Pages: 107-114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300006
[Journal Article] 部分冗長除去に基づく大域命令スケジューリング2007
- Author(s)
  勝原達也, 滝本宗宏
- Journal Title
  
  情報処理学会論文誌プログラミング 48
  
  Pages: 52-65
- NAID
  110006367009
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500031
[Journal Article] 部分冗長除去に基づく大域命令スケジューリング, 情報処理学会論文誌.2007
- Author(s)
  勝原達也, 滝本宗宏
- Journal Title
  
  プログラミング Vol.48,No.12
  
  Pages: 52-65
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500031
[Journal Article] コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現2006
- Author(s)
  佐々政孝, 福岡岳穂, 滝本宗宏
- Journal Title
  
  情報処理学会論文誌 : プログラミング 47・SIG 2 (PRO 28)
  
  Pages: 30-43
- NAID
  110004078710
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16500016
[Journal Article] コンパイラ・インフラストラクチャにおける静的単一代入形式最適化部の実現2006
- Author(s)
  佐々政孝, 福岡岳穂, 滝本宗宏
- Journal Title
  
  情報処理学会論文誌:プログラミング 47・SIG 2(PRO 28)
  
  Pages: 30-43
- NAID
  110004078710
- Data Source
  KAKENHI-PROJECT-16500016
[Journal Article] Realizatiion of Static Single Assignment Form Optimization Module in a Compiler Infrastructure (in Japanese)2006
- Author(s)
  Sassa, M., Fukuoka, T., Takimoto, M.
- Journal Title
  
  Transactions of IPSJ : Programming Vol.47・SIG 2 (PRO 28)
  
  Pages: 30-43
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16500016
[Journal Article] 疎な要求駆動型データフロー解析2005
- Author(s)
  滝本宗宏, 福岡岳穂, 佐々政孝, 原田賢一
- Journal Title
  
  情報処理学会論文誌:プログラミング 46・SIG 11(PRO 26)
  
  Pages: 16-26
- NAID
  130005006651
- Data Source
  KAKENHI-PROJECT-16500016
[Journal Article] 疎な要求駆動型データフロー解析2005
- Author(s)
  滝本宗宏, 福岡岳穂, 佐々政孝, 原田賢一
- Journal Title
  
  情報処理学会論文誌 : プログラミング 46・SIG 11 (PRO 26)
  
  Pages: 16-26
- NAID
  130005006651
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16500016
[Journal Article] Sparse Demand-driven Dataflow Analysis (in Japanese)2005
- Author(s)
  Takimoto, M., Fukuoka, T., Sassa, M., Harada, K.
- Journal Title
  
  Transactions of IPSJ : Programming Vol.46・SIG 11 (PRO 26)
  
  Pages: 16-26
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16500016
[Presentation] A Semiautonomous Drone System for Inspecting Structures2024
- Author(s)
  Yuta Sato, Masaru Kamada, Munehiro Takimoto, Yasushi Kambayashi
- Organizer
  Twenty-Ninh International Symposium on Artificial Life and Robotics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K05010
[Presentation] Efficient Inductive Logic Programming Based on Predictive A*-Like Algorithm2023
- Author(s)
  Moeko Okawara, Junji Fukuhara, Munehiro Takimoto, Tsutomu Kumazawa and Yasushi Kambayashi
- Organizer
  IHIET 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11054
[Presentation] An Autonomous UAV System for Inspecting Structures2023
- Author(s)
  Yuta Sato, Masaru Kamada, Munehiro Takimoto, Yasushi Kambayashi
- Organizer
  Twenty-Eighth International Symposium on Artificial Life and Robotics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K05010
[Presentation] Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization2023
- Author(s)
  Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, Yasushi Kambayashi
- Organizer
  21st International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11988
[Presentation] Efficient Inductive Logic Programming based on Predictive A*-like Algorithm2023
- Author(s)
  Moeko Okawara, Junji Fukuhara, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi
- Organizer
  9th International Conference on Human Interaction and Emerging Technologies (IHIET-AI 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11988
[Presentation] A safety checking algorithm with multi-swarm particle swarm optimization2022
- Author(s)
  Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
- Organizer
  The Genetic and Evolutionary Computation Conference (GECCO '22)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11988
[Presentation] Meko Okawara, Junji Fukuhara, Munehiro Takimoto, Tsutomu Kumazawa and Yasushi Kambayashi2022
- Author(s)
  Meko Okawara, Junji Fukuhara, Munehiro Takimoto, Tsutomu Kumazawa and Yasushi Kambayashi
- Organizer
  IHIET-AI 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11909
[Presentation] Efficient Inductive Logic Programming Based on Particle Swarm Optimization2022
- Author(s)
  Kyosuke Obara, Munehiro Takimoto, Tsutomu Kumazawa and Yasushi Kambayashi
- Organizer
  EAI AICON 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11909
[Presentation] Vector Quantization to Visualize the Detection Process2021
- Author(s)
  Kaiyu Suzuki, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi
- Organizer
  Special Session on Super Distributed and Multi-agent Intelligent Systems - SDMIS 2021(ICAART 2021 Special Sessions)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K01342
[Presentation] Capture of Intruders by Cooperative Multiple Robots Using Mobile Agents2020
- Author(s)
  Yasushi Kambayashi, Taichi Sekido and Munehiro Takimoto
- Organizer
  Intelligent Human Systems Integration: Integrating People and Intelligent Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K01304
[Presentation] Capture of Multi Intruders by Cooperative Multiple Robots Using Mobile Agents2020
- Author(s)
  Tadashi Shoji, Munehiro Takimoto and Yasushi Kambayashi
- Organizer
  International Conference on Agents and Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K01304
[Presentation] Capture of Multi Intruders by Cooperative Multiple Robots using Mobile Agents2020
- Author(s)
  Tadashi Shoji, Munehiro Takimoto and Yasushi Kambayashi
- Organizer
  International Conference on Agents and Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11909
[Presentation] コード移動に基づく分岐発散の低減2019
- Author(s)
  福原淳司，滝本宗宏
- Organizer
  情報処理学会第126回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-19K11909
[Presentation] Virtual Space Pointing Based on Vergence2019
- Author(s)
  Yuki Hirata, Hiroki Soma, Munehiro Takimoto and Yasushi Kambayashi
- Organizer
  International Conference on Human-Computer Interaction
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11909
[Presentation] Multi-Robots Exploring Maze-like Area with Ad-hoc Communications2019
- Author(s)
  Keita Nakai, Kousuke Yamashima, Tomoki Tanaka, Yasushi Kambayashi, Munehiro Takimoto
- Organizer
  International Symposium on Artificial Life and Robotics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K01304
[Presentation] Development of Agent System for Multi-Robot Search2019
- Author(s)
  Masashi Omiya, Munehiro Takimoto Yasushi Kambayashi
- Organizer
  International Conference on Agents and Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K01304
[Presentation] コード移動に基づく分岐発散低減2019
- Author(s)
  福原淳司，滝本宗宏
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
- Data Source
  KAKENHI-PROJECT-16K00107
[Presentation] Mobile Agents for Robot Control Based on PSO2018
- Author(s)
  神林靖，織田晃治，滝本宗宏
- Organizer
  Tenth International Conference on Agents and Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K01304
[Presentation] 3D Formation Control of Swarm Robots Using Mobile Agents2018
- Author(s)
  Hideaki Yajima, Tadashi Shyoji, Ryotaro Oikawa, Munehiro Takimoto, Yasushi Kambayashi
- Organizer
  Joint Conference on Knowledge-based Software Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K01304
[Presentation] Cooperative Control of Multi-Robot System Using Mobile Agent for Multiple Source Localization2017
- Author(s)
  神林靖，石渡直也，澄川靖信，滝本宗宏
- Organizer
  Eighth International Conference on Swarm Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K01304
[Presentation] Multi-agent Approach for Return Route Support System Simulation2016
- Author(s)
  Shouhei Taga, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi
- Organizer
  The 8th International Conference on Agents and Artificial Intelligence
- Place of Presentation
  Rome, ITALY
- Year and Date
  2016-02-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25350482
[Presentation] 依存関係に基づく分岐融合2016
- Author(s)
  那須孝志，滝本宗宏
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ（PPL 2016）
- Place of Presentation
  たまの温泉（岡山県）
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-25330089
[Presentation] Mobile Agent Based Obstacle Avoidance in Multi-Robot Hunting2016
- Author(s)
  上原志陽，滝本宗宏，神林靖
- Organizer
  20th Asia Pacific Symposium on Intelligent and Evolutionary Systems
- Place of Presentation
  キャンベラ（オーストラリア）
- Year and Date
  2016-11-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26350456
[Presentation] A Guidance System for Wide-area Complex Disaster Evacuation based on Ant Colony Optimization2016
- Author(s)
  Hirotaka Goto, Asuka Ohta, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi, Masayuki Takeda
- Organizer
  The 8th International Conference on Agents and Artificial Intelligence
- Place of Presentation
  Rome, ITALY
- Year and Date
  2016-02-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25350482
[Presentation] An Implementation of an Ad hoc Mobile Multi-Agent System for a Safety Information2015
- Author(s)
  神林靖，西山拓志，松澤智史，滝本宗宏
- Organizer
  International Conference on Information Systems Architecture and Technology
- Place of Presentation
  カルパッチ（ポーランド）
- Year and Date
  2015-09-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26350456
[Presentation] 依存関係に基づく括出し法2015
- Author(s)
  那須孝志，滝本宗宏
- Organizer
  ソフトウェアサイエンス研究会
- Place of Presentation
  札幌市教育文化会館（北海道）
- Year and Date
  2015-07-22
- Data Source
  KAKENHI-PROJECT-25330089
[Presentation] アドホックモバイルエージェントシステムの実装2015
- Author(s)
  西山拓志，松澤智史，滝本宗宏，神林靖
- Organizer
  電子情報通信学会モバイルネットワークとアプリケーション研究会
- Place of Presentation
  南紀白浜温泉ホテルむさし（和歌山県）
- Year and Date
  2015-01-27
- Data Source
  KAKENHI-PROJECT-26350456
[Presentation] Dependency Based Factoring2015
- Author(s)
  Takashi Nasu and Munehiro Takimoto
- Organizer
  ACM The 24th International Conference on Parallel Architectures and Compilation Techniques (PACT2015)
- Place of Presentation
  サンフランシスコ（アメリカ合衆国）
- Year and Date
  2015-10-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330089
[Presentation] An Implementation of an Ad hoc Mobile Multi-Agent System for a Safety Information2015
- Author(s)
  Yasushi Kambayashi, Takushi Nishiyama, Tomofumi Matsuzawa and Munehiro Takimoto
- Organizer
  The Thirty-sixth International Conference on Information Systems Architecture and Technology
- Place of Presentation
  KARPACZ, POLAND,
- Year and Date
  2015-09-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25350482
[Presentation] Multi-Agent Approach for Controlling Robots Marching in a File: a Simulation2015
- Author(s)
  神林靖，渋谷亮佑，滝本宗宏
- Organizer
  Seventh International Conference on Agents and Artificial Intelligence
- Place of Presentation
  リスボン（ポルトガル）
- Year and Date
  2015-01-12
- Data Source
  KAKENHI-PROJECT-26350456
[Presentation] Composing Swarm Robot Formations Based on Their Distributions Using Mobile Agents2015
- Author(s)
  及川亮太郎，滝本宗宏，神林靖
- Organizer
  European Conference on Multi-Agent Systems
- Place of Presentation
  アテネ（ギリシャ）
- Year and Date
  2015-12-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26350456
[Presentation] Colony Optimization Based Model Checking Extended by Smell-like Pheromone2015
- Author(s)
  Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto and Yasushi Kambayashi
- Organizer
  The 9th EAI International Conference on Bio-inspired Information and Communications Technologies
- Place of Presentation
  New York City, New York, United States
- Year and Date
  2015-12-03
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25350482
[Presentation] Distributed Formation Control for Swarm Robots Using Mobile Agents2015
- Author(s)
  及川亮太郎，滝本宗宏，神林靖
- Organizer
  IEEE International Symposium on Applied Computational Intelligence and Informatics
- Place of Presentation
  ティミショアラ（ルーマニア）
- Year and Date
  2015-05-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26350456
[Presentation] An Improved Evacuation Guidance System Based on Ant Colony Optimization2015
- Author(s)
  Asuka Ohta, Hirotaka Goto, Tomofumi Matsuzawa, Munehiro Takimoto, Yasushi Kambayashi and Masayuki Takeda
- Organizer
  The 19th Asia Pacific Symposiumon Intelligent and Evolutionary Systems,
- Place of Presentation
  Bangkok, Thailand
- Year and Date
  2015-11-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25350482
[Presentation] Multi-robot Hunting Using Mobile Agents2014
- Author(s)
  石渡直也，澄川靖信，滝本宗宏，神林靖
- Organizer
  Eighth KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications
- Place of Presentation
  ハニア（ギリシャ）
- Year and Date
  2014-06-19
- Data Source
  KAKENHI-PROJECT-26350456
[Presentation] Cooperative Transportation of a Rod Using Mobile Agents2014
- Author(s)
  大蘆康一，滝本宗宏，神林靖
- Organizer
  IEEE International Conference on Robotics and Biomimetics
- Place of Presentation
  バリ（インドネシア）
- Year and Date
  2014-12-08
- Data Source
  KAKENHI-PROJECT-26350456
[Presentation] Global Load Instruction Aggregation Based on Array Dimensions2014
- Author(s)
  Yasunobu Sumikawa, and Munehiro Takimoto
- Organizer
  2014 International Symposium on Code Generation and Optimization
- Place of Presentation
  Hyatt Regency Orlando, Orlando, Florida
- Data Source
  KAKENHI-PROJECT-25330089
[Presentation] Expanding the Control Scope of Cooperative Multiple Robots2014
- Author(s)
  柴田洸，滝本宗宏，神林靖
- Organizer
  Eighth KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications
- Place of Presentation
  ハニア（ギリシャ）
- Year and Date
  2014-06-18
- Data Source
  KAKENHI-PROJECT-26350456
[Presentation] コンパイラ共通基盤COINSのLLVM向け拡張2014
- Author(s)
  酒井宏城，澄川靖信，滝本宗宏
- Organizer
  第55回プログラミング・シンポジウムプログラム，情報処理学会
- Place of Presentation
  ラフォーレ倶楽部伊東温泉湯の庭
- Data Source
  KAKENHI-PROJECT-25330089
[Presentation] スピルコストを考慮した部分冗長除去2013
- Author(s)
  澄川靖信，滝本宗宏
- Organizer
  情報処理学会第75回全国大会
- Place of Presentation
  仙台
- Data Source
  KAKENHI-PROJECT-22500034
[Presentation] スピルコストを考慮した部分冗長除去2013
- Author(s)
  澄川靖信,滝本宗宏
- Organizer
  情報処理学会第75回全国大会講演論文集,情報処理学会
- Place of Presentation
  仙台
- Year and Date
  2013-03-08
- Data Source
  KAKENHI-PROJECT-22500034
[Presentation] 質問伝播に基づく大域ロード命令集約2013
- Author(s)
  澄川靖信,滝本宗宏
- Organizer
  第54回プログラミングシンポジウム,情報処理学会
- Place of Presentation
  強羅
- Year and Date
  2013-01-11
- Data Source
  KAKENHI-PROJECT-22300007
[Presentation] 質問伝播に基づく大域ロード命令集約2013
- Author(s)
  澄川靖信,滝本宗宏
- Organizer
  第54回プログラミングシンポジウム,情報処理学会
- Place of Presentation
  強羅
- Year and Date
  2013-01-11
- Data Source
  KAKENHI-PROJECT-22500034
[Presentation] 質問伝播に基づく大域ロード命令集約2013
- Author(s)
  澄川靖信，滝本宗宏
- Organizer
  第54回プログラミングシンポジウム，情報処理学会
- Place of Presentation
  強羅
- Data Source
  KAKENHI-PROJECT-22500034
[Presentation] スピルコストを考慮した部分冗長除去2013
- Author(s)
  澄川靖信,滝本宗宏
- Organizer
  情報処理学会第75回全国大会講演論文集,情報処理学会
- Place of Presentation
  仙台
- Year and Date
  2013-03-08
- Data Source
  KAKENHI-PROJECT-22300007
[Presentation] 効率的な要求駆動型部分冗長除去2012
- Author(s)
  澄川靖信,滝本宗宏
- Organizer
  情報処理学会第74回全国大会講演論文集,情報処理学会
- Place of Presentation
  名古屋
- Year and Date
  2012-03-06
- Data Source
  KAKENHI-PROJECT-22500034
[Presentation] 効率的な要求駆動型部分冗長除去2012
- Author(s)
  澄川靖信, 滝本宗宏
- Organizer
  情報処理学会全国大会
- Place of Presentation
  名古屋工業大学(愛知県)
- Year and Date
  2012-03-06
- Data Source
  KAKENHI-PROJECT-22300007
[Presentation] 部分冗長除去に基づく実践的な大域命令スケジューリング2012
- Author(s)
  及川亮太郎, 滝本宗宏
- Organizer
  情報処理学会
- Place of Presentation
  産業技術総合研究所
- Year and Date
  2012-03-16
- Data Source
  KAKENHI-PROJECT-22500034
[Presentation] 効率的な要求駆動型部分冗長除去2012
- Author(s)
  澄川靖信,滝本宗宏
- Organizer
  情報処理学会第74回全国大会講演論文集,情報処理学会
- Place of Presentation
  名古屋
- Year and Date
  2012-03-06
- Data Source
  KAKENHI-PROJECT-22300007
[Presentation] コード移動に基づく大域ロード命令集約2011
- Author(s)
  澄川靖信, 滝本宗宏
- Organizer
  日本ソフトウェア科学会大会
- Place of Presentation
  沖縄産業支援センター(那覇)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-22300007
[Presentation] コード移動に基づく大域ロード命令集約2011
- Author(s)
  澄川靖信,滝本宗宏
- Organizer
  日本ソフトウェア科学会第28回大会講演論文集,日本ソフトウェア科学会
- Place of Presentation
  那覇
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-22300007
[Presentation] コード移動に基づく大域ロード命令集約2011
- Author(s)
  澄川靖信,滝本宗宏
- Organizer
  日本ソフトウェア科学会第28回大会講演論文集,日本ソフトウェア科学会
- Place of Presentation
  那覇
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-22500034
[Presentation] COINSを用いた大域的データサイズ推論の実現2008
- Author(s)
  太田眞敬, 滝本宗宏
- Organizer
  日本ソフトウェア科学会大会論文集, 第25回
- Place of Presentation
  筑波大学東京キャンパス
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-19500031
[Presentation] 質問伝播に基づく要求駆動型大域値番号付け2008
- Author(s)
  滝本宗宏
- Organizer
  プログラミングおよびプログラミング言語ワークショップ(日本ソフトウェア科学会)
- Place of Presentation
  緑水亭(宮城県仙台市)
- Year and Date
  2008-03-07
- Data Source
  KAKENHI-PROJECT-19500031
[Presentation] 質問伝播に基づく要求駆動型大域値番号付け2008
- Author(s)
  滝本宗宏, 佐々政孝
- Organizer
  日本ソフトウェア科学会第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集
- Place of Presentation
  仙台市
- Year and Date
  2008-03-07
- Data Source
  KAKENHI-PROJECT-19500031
[Presentation] 質問伝播に基づく要求駆動型大域値番号付け2008
- Author(s)
  滝本宗宏, 佐々政孝
- Organizer
  日本ソフトウェア科学会第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)
- Place of Presentation
  仙台市.
- Year and Date
  2008-03-07
- Data Source
  KAKENHI-PROJECT-19300006
[Presentation] COINSを用いた大域的データサイズ推論の実現2008
- Author(s)
  太田眞敬, 滝本宗宏
- Organizer
  日本ソフトウェア科学会大会論文集, 第25回
- Place of Presentation
  筑波大学東京キャンパス
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-19300006
[Presentation] コンパイラのコード最適化に基づいたレジスタとキャッシュメモリの使用の効率化
- Author(s)
  澄川靖信，滝本宗宏
- Organizer
  情報処理学会
- Place of Presentation
  京都大学吉田キャンパス（京都府）
- Year and Date
  2015-03-17 – 2015-03-19
- Data Source
  KAKENHI-PROJECT-25330089
[Presentation] Improving Memory hierarchy Performance Based on Code Motion
- Author(s)
  Yasunobu Sumikawa and Munehiro Takimoto
- Organizer
  12th Asian Symposium on Programming Languages and Systems (APLAS'14)
- Place of Presentation
  School of Computing, National University of Singapore （シンガポール）
- Year and Date
  2014-11-17 – 2014-11-19
- Data Source
  KAKENHI-PROJECT-25330089
[Presentation] Global Load Instruction Aggregation Based on Array Dimensions
- Author(s)
  Yasunobu Sumikawa and Munehiro Takimoto
- Organizer
  IEEE Computer Society
- Place of Presentation
  北京交通大学（北京）
- Year and Date
  2014-07-11 – 2014-07-13
- Data Source
  KAKENHI-PROJECT-25330089

1. KAMBAYASHI Yasushi (40269527)

# of Collaborated Projects: 8 results

# of Collaborated Products: 58 results
2. Matsuzawa Tomofumi (20385529)

# of Collaborated Projects: 6 results

# of Collaborated Products: 16 results
3. SASSA Masataka (20016182)

# of Collaborated Projects: 4 results

# of Collaborated Products: 12 results
4. TSUJIMURA Yasuhiro (80240977)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
5. YAMACHI Hidemi (20327018)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
6. WAKITA Ken (10242265)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 鎌田賢 (70204609)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
8. 中谷多哉子 (30431662)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 熊澤努 (90847906)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
10. 児玉靖司 (30266910)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
11. 多賀祥平 (10910648)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 鈴木海友 (10991888)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. SHIBATA Ko

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

Takimoto Munehiro 滝本 宗宏

TAKIMOTO Munehiro 滝本 宗宏

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

群知能に基づく並列帰納論理プログラミングの実現Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Accelerating Inductive Logic Programming Using GPUPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Extension of COINS Compiler Infrastructure Based on PTXPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Extension for GPU of CONS compiler infrastructurePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Extracting The Regions with No Memory Accessfor High-level SynthesisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Takimoto Munehiro 滝本宗宏

TAKIMOTO Munehiro 滝本宗宏