研究者情報
基本情報
研究者基本情報
主な研究課題
所属
研究分野
研究経歴
研究職歴
委員歴／役員歴
学位
出身大学
研究情報
著作(論文等)
著書
学会発表
その他業績
特許
受賞歴
学会活動
客員教授
researchmap研究分野
産学連携情報
共同研究テーマ
教育情報
学識経験
シーズ集
シーズ集URL
基本情報
氏名
神林 靖
氏名（カナ）
カンバヤシ ヤスシ
氏名（英語）
Kambayashi Yasushi
基本情報
研究者基本情報
神林 靖 カンバヤシ ヤスシ Kambayashi Yasushi
主な研究課題
災害時避難支援システムの研究
所属
山口東京理科大学 工学部数理情報科学科 教授
研究分野
計算理論，プログラミング言語，マルチエージェント，情報倫理，数理政治学 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 ～ 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 ～ 1047
全て表示する（50件）
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 ～ 29
Memoization in Model Checking Algorithm for Safety Properties with Multi-swarm Particle Swarm Optimization Electronics 2024/10 13 21 1 ～ 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 ～ 71
A Semiautonomous Drone System for Inspecting Structures Proceedings of the Twenty-Ninh International Symposium on Artificial Life and Robotics 2024/01 553 ～ 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 ～ 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 ～ 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 ～ 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 ～ 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 ～ 101
An Autonomous UAV System for Inspecting Structures Proceedings of the Twenty-Eighth International Symposium on Artificial Life and Robotics 2023/01 810 ～ 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 ～ 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 ～ 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 ～ 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 ～ 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 ～ 135
Vector Quantization to Visualize the Detection Process Proceeding of the Thirteenth International Conference on Agents and Artificial Intelligence 2021/02 1 553 ～ 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 ～ 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 ～ 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 ～ 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 ～ 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 ～ 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 ～ 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 ～ 260
Virtual Space Pointing Based on Vergence Proceedings of the Twenty-First International Conference on HCI International 2019/07 LNCS 11567 259 ～ 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 ～ 56
Formation Control of Swarm Robots Using Mobile Agents Vietnam Journal of Computer Science 2019/05 6 2 193 ～ 222
Multi-Agent Base Evacuation Support System Using MANET Vietnam Journal of Computer Science 2019/05 6 2 177 ～ 191
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone with Hop Counts Swarm and Evolutionary Computation 2019/04 4 511 ～ 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 ～ 320
Multi-Agent Base Evacuation Support System Considering Altitude Proceeding of the Eleventh International Conference on Agents and Artificial Intelligence 2019/02 1 299 ～ 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 ～ 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 ～ 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 ～ 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 ～ 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 ～ 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 ～ 177
Mobile Agents for Robot Control Based on PSO Proceeding of the Tenth International Conference on Agents and Artificial Intelligence 2018/01 1 309 ～ 317
表示を折りたたむ
著書
AI技術史 考える機械への道とディープラーニング インプレス 2022/03/18
オブジェクト指向の考え方 5th Edition インプレス 2020/10/23
Xinuオペレーティングシステムデザイン 改訂2版 KADOKAWA 2020/02/21
学会発表
Multi-Agent Base Evacuation Support System Using MANET 口頭発表（基調） International Conference on Novel and Intelligent Digital Systems 2025/09
A Multi-Agent Approach for Evacuation Support Systems 口頭発表（基調） IARIA Congress 2024 2024/07/02
Embracing Change through Productivity Specialists: Transformation Journey toward Digitalization 口頭発表（基調） International Conference on Productivity Accreditation and Certification 2022/10
Evacuation route support system for smartphone users 口頭発表（基調） 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 口頭発表（招待・特別） International Conference on Machine Learning and Intelligent Systems 2019/11
全て表示する（6件）
An Evacuation Support System Using Multi Agent System Based on Ad Hoc Communications 口頭発表（招待・特別） 9th International Conference on Electronics, Communications and Networks 2019/10
表示を折りたたむ
その他業績
特許
受賞歴
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
