Researcher Information
研究者基本情報
主な研究課題
所属
研究分野
研究経歴
研究職歴
委員歴／役員歴
学位
出身大学
著作(論文等)
著書
学会発表
その他業績
特許
受賞歴
学会活動
客員教授
researchmap研究分野
共同研究テーマ
学識経験
シーズ集URL
Basic information
Name
Kambayashi Yasushi
研究者基本情報
神林 靖 カンバヤシ ヤスシ Kambayashi Yasushi
主な研究課題
災害時避難支援システムの研究
所属
ENG 工学部数理情報科学科 教授
研究分野
計算理論，プログラミング言語，マルチエージェント，情報倫理，数理政治学 Theory of Computation, Programming Languages, Multi-agents, Ethics in IT and AI, Political Science
研究経歴
研究職歴
1986 三菱綜合研究所 研究員 1986-1994 日本工業大学 准教授 2001-2022 Staff Researcher, Mitsubishi Research Institute, 1986-1994 Associate Professor, Nippon Institute of Technology, 2001-2022
委員歴／役員歴
2008-04 2013-03 独立行政法人 情報処理推進機構 情報処理技術者試験委員
学位
トレド大学 University of Toledo 計算機科学 Computer Science 工学博士 Doctor of Philosophy in Engineering
出身大学
慶應義塾大学 法学部 政治学科 大学 卒業
ワシントン大学 University of Washington 計算機科学科 Department of Computer Science 修士課程 修了
トレド大学 University of Toledo 電気工学計算機科学科 Department of Electrical Engineering and Computer Science 博士課程 修了
著作(論文等)
Evacuation Guidance System Using SSID-Based Communication with UAVs Proceedings of the 18th IIAI International Congress on Advanced Applied Informatics 2025-07
Development of a UAV-based Disaster Evacuation Support System Proceedings of the Eighteenth International Conference on Pervasive Technologies Related to Assistive Environments 2025-06
Effectiveness of Sub-MSH Size Pruning in BCP Based ILP Proceedings of the Eighteenth International Conference on Pervasive Technologies Related to Assistive Environments 2025-06
A Proposal of Educational Programming Environment Using Tangible Materials Proceeding of the Fifth International Conference on Human Systems Engineering and Design 2024-12 1 520 ENG 527
Efficient Inductive Logic Programming Based on Neural Networks Proceedings of the Eleventh Annual Conference on Computational Science and Computational Intelligence 2024-12 1 1041 ENG 1047
Show All（50 Line）
Evaluation of a Classroom Support System for Programming Education Using Tangible Materials Advances in Science, Technology and Engineering Systems Journal 2024-10 9 5 21 ENG 29
Memoization in Model Checking Algorithm for Safety Properties with Multi-swarm Particle Swarm Optimization Electronics 2024-10 13 21 1 ENG 25
A Simple Negative Benchmark Generation for Safety Checking Proceedings of the First International Conference on AI-empowered Software Engineering 2024-08
Development of a UAV-based Disaster Evacuation Support System: An Interim Report Proceeding of the First IARIA International Conference on IoT-AI 2024-07
Development and evaluation experiment of a classroom support system for programming education using tangibles educational materials Proceeding of the 12th International Conference on Information and Education Technology 2024-03 67 ENG 71
A Semiautonomous Drone System for Inspecting Structures Proceedings of the Twenty-Ninh International Symposium on Artificial Life and Robotics 2024-01 553 ENG 558
A Proposal of Educational Programming Environment Using Tangible Materials Proceeding of the Fifth International Conference on Human Systems Engineering and Design 2023-09 520 ENG 527
Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization Proceeding of the 21st International Conference on Practical Applications of Agents and Multi-Agent Systems 2023-07 137 ENG 148
Efficient Inductive Logic Programming Based on Predictive A*-Like Algorithm Proceedings of the Ninth International Conference on Human Interaction and Emerging Technologies, IHIET-AI 2023 2023-04 99 ENG 107
A Rehabilitation-through-Photographing Support System for Muscular Dystrophy Patients Proceedings of the Sixth International Conference on Intelligent Human Systems Integration: Integrating People and Intelligent Systems 2023-02 810 ENG 814
An Improved Body Operations Mitigating VR Sickness through Stepping Gaming Mat Proceedings of the Sixth International Conference on Intelligent Human Systems Integration: Integrating People and Intelligent Systems 2023-02 94 ENG 101
An Autonomous UAV System for Inspecting Structures Proceedings of the Twenty-Eighth International Symposium on Artificial Life and Robotics 2023-01 810 ENG 814
A Safety Checking Algorithm with Multi-swarm Particle Swarm Optimization Proceedings of the Genetic and Evolutionary Computation Conference 2022-07
Exploration Strategies for Balancing Efficiency and Comprehensibility in Model Checking with Ant Colony Optimization Journal of Information and Telecommunication 2022-03 6 3 341 ENG 359
A Classroom Support in Smartphone Learning Environments Using Tangibles Materials Proceedings of the Twelfth IIAI International Congress on Advanced Applied Informatics 2022-02
CrossSiam: k-Fold Cross Representation Learning Proceeding of the Fourteenth International Conference on Agents and Artificial Intelligence 2022-02 541 ENG 547
Smartphone Based Accurate Touch Operations on an AR Desktop Proceedings of the Fifth International Conference on Intelligent Human Systems Integration: Integrating People and Intelligent Systems 2022-02
A Multi-Agent Approach for Evacuation Support in Mountainous Areas Using UAV Proceeding of the 19th International Conference on Practical Applications of Agents and Multi-Agent Systems 2021-10 LNAI 12946 127 ENG 138
Exploration Strategies for Model Checking with Ant Colony Optimization Proceeding of the 13th International Conference on Computational Collective Intelligence, Part 1 2021-09 LNAI 12876 264 ENG 276
Intuitive Body Operations Suppressing VR Sickness Proceeding of the Fourth International Conference on Human Systems Engineering and Design 2021-09 AICS
A Search Strategy for Efficient Model Checking Using Ant Colony Optimization Algorithm Proceeding of the Forty-First Software Symposium 2021-06 126 ENG 135
Vector Quantization to Visualize the Detection Process Proceeding of the Thirteenth International Conference on Agents and Artificial Intelligence 2021-02 1 553 ENG 561
User Interface in Virtual Space Using VR Device with Eye Tracking Proceedings of the Third International Conference on Human Interaction and Emerging Technologies 2020-08 AICS 1253 316 ENG 325
Providing Efficient Redundancy to an Evacuation Support System Using Remote Procedure Calls Proceedings of the Fourteenth KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications 2020-06 SIST 186 47 ENG 56
A User Independent Method for Identifying Hand Gestures with sEMG Proceeding of the Twelveth International Conference on Agents and Artificial Intelligence 2020-02 1 355 ENG 362
Capture of Intruders by Cooperative Multiple Robots Using Mobile Agents Proceedings of the Third International Conference on Intelligent Human Systems Integration: Integrating People and Intelligent Systems, AICS 1131 2020-02 1 1041 ENG 1047
Capture of Multi Intruders by Cooperative Multiple Robots Using Mobile Agents Proceeding of the Twelveth International Conference on Agents and Artificial Intelligence 2020-02 1 370 ENG 377
A Proposal of Human Interface for Evacuation Support System on Smartphone Proceedings of the First International Conference on Human Interaction and Emerging Technologies 2019-08 AICS 1018 448 ENG 453
Providing Recursive Functions to the Tangible Programming Environment for Smartphones Proceedings of the Twenty-First International Conference on HCI International, HCII Posters 2019, Part III 2019-07 CCIS 2034 255 ENG 260
Virtual Space Pointing Based on Vergence Proceedings of the Twenty-First International Conference on HCI International 2019-07 LNCS 11567 259 ENG 269
A Proposal of Evacuation Support System with Redundancy Using Multiple Mobile Agent Proceedings of the Thirteenth KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications 2019-06 AISC 296 47 ENG 56
Formation Control of Swarm Robots Using Mobile Agents Vietnam Journal of Computer Science 2019-05 6 2 193 ENG 222
Multi-Agent Base Evacuation Support System Using MANET Vietnam Journal of Computer Science 2019-05 6 2 177 ENG 191
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone with Hop Counts Swarm and Evolutionary Computation 2019-04 4 511 ENG 521
Estimating Academic results from Trainees’ Activities in Programming Exercises Using Four Types of Machine Learnin Advances in Science, Technology and Engineering Systems Journal 2019-02 4 2
Development of Agent System for Multi-Robot Search Proceeding of the Eleventh International Conference on Agents and Artificial Intelligence 2019-02 1 315 ENG 320
Multi-Agent Base Evacuation Support System Considering Altitude Proceeding of the Eleventh International Conference on Agents and Artificial Intelligence 2019-02 1 299 ENG 306
Multi-Robots Exploring Maze-like Area with Ad-hoc Communications Proceeding of the Twenty-Fourth International Symposium on Artificial Life and Robotics 2019-01
A Contactless Walking Stick Using Depth Sensor and Vibrators Proceeding of the First International Conference on Human Systems Engineering and Design 2018-09 AICS 876 1007 ENG 1012
A Prototype of Evacuation Support Systems Based on the Ant Colony Optimization Algorithm Proceeding of the Thirty-ninth International Conference on Information Systems Architecture and Technology 2018-09 AICS 852 324 ENG 333
Development of a Prototype of Non-contact Keyboard Proceeding of the First International Conference on Human Systems Engineering and Design 2018-09 AICS 876 299 ENG 304
Multi-Agent Base Evacuation Support System Using MANET Proceeding of the Tenth International Conference on Computational Collective Intelligence, Part 1 2018-09 LNAI 11055 445 ENG 454
3D Formation Control of Swarm Robots Using Mobile Agents Proceeding of the 12th Joint Conference on Knowledge-based Software Engineering 2018-08 SIST 108 168 ENG 177
Estimating Grades from Students’ Behaviors of Programming Exercises Using Machine Learning Proceeding of the Eighth International Learning Analytics and Knowledge Conference 2018-03 SIST 108 168 ENG 177
Mobile Agents for Robot Control Based on PSO Proceeding of the Tenth International Conference on Agents and Artificial Intelligence 2018-01 1 309 ENG 317
Collapse The View
著書
AI技術史 考える機械への道とディープラーニング インプレス 2022-03-18
オブジェクト指向の考え方 5th Edition インプレス 2020-10-23
Xinuオペレーティングシステムデザイン 改訂2版 KADOKAWA 2020-02-21
学会発表
Multi-Agent Base Evacuation Support System Using MANET ENG International Conference on Novel and Intelligent Digital Systems 2025-09
A Multi-Agent Approach for Evacuation Support Systems ENG IARIA Congress 2024 2024-07-02
Embracing Change through Productivity Specialists: Transformation Journey toward Digitalization ENG International Conference on Productivity Accreditation and Certification 2022-10
Evacuation route support system for smartphone users ENG International E-Conference on Data Analytics, Intelligent Systems and Information Security 2020-12
An evacuation support system using multi-agent system based on ad hoc communications ENG International Conference on Machine Learning and Intelligent Systems 2019-11
Show All（6 Line）
An Evacuation Support System Using Multi Agent System Based on Ad Hoc Communications ENG 9th International Conference on Electronics, Communications and Networks 2019-10
Collapse The View
その他業績
特許
受賞歴
IARIA Congress 2024 最優秀論文賞 IARIA Congress 2024 Best Paper Award 2024-07-04
ISAT 最優秀論文賞 ISAT Best Paper Award 2015-09
学会活動
客員教授
東京理科大学 2023-07
放送大学 2023-04
researchmap研究分野
共同研究テーマ
学識経験
シーズ集URL
