研究者情報
基本情報
研究者基本情報
主な研究課題
所属
研究分野
研究経歴
研究職歴
委員歴／役員歴
学位
出身大学
研究情報
著作(論文等)
著書
学会発表
その他業績
特許
受賞歴
学会活動
客員教授
researchmap研究分野
産学連携情報
共同研究テーマ
教育情報
学識経験
シーズ集
シーズ集URL
基本情報
氏名
神林 靖
氏名（カナ）
カンバヤシ ヤスシ
氏名（英語）
Kambayashi Yasushi
基本情報
研究者基本情報
神林 靖 カンバヤシ ヤスシ Kambayashi Yasushi
主な研究課題
災害時避難支援システムの研究
所属
山口東京理科大学 工学部数理情報科学科 教授
研究分野
研究経歴
研究職歴
委員歴／役員歴
学位
トレド大学 University of Toledo 計算機科学 Computer Science 工学博士 Doctor of Philosophy in Engineering
出身大学
トレド大学 University of Toledo 電気工学計算機科学科 Department of Electrical Engineering and Computer Science 博士課程 修了
研究情報
著作(論文等)
A Memoization in Model Checking Algorithm for Safety Properties with Multi-swarm Particle Swarm Optimization Electronics 2024/10 13 21
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
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
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
全て表示する（7件）
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
表示を折りたたむ
著書
AI技術史 考える機械への道とディープラーニング インプレス 2022/03/18
オブジェクト指向の考え方 5th Edition インプレス 2020/10/23
Xinuオペレーティングシステムデザイン 改訂2版 KADOKAWA 2020/02/21
学会発表
An Evacuation Support Method Using Low-Cost, Low-Performance UAVs 口頭発表（一般） Seventeenth Asian Conference on Intelligent Information and Database Systems 2025/04
Efficient Inductive Logic Programming Based on Neural Networks 口頭発表（一般） Eleventh Annual Conference on Computational Science and Computational Intelligence 2024/12
A Simple Negative Benchmark Generation for Safety Checking 口頭発表（一般） First International Conference on AI-empowered Software Engineering, 2024/08
Development of a UAV-based Disaster Evacuation Support System: An Interim Report 口頭発表（一般） First International Conference on IoT-AI 2024/07/03
A Multi-Agent Approach for Evacuation Support Systems 口頭発表（基調） IARIA Congress 2024 2024/07/02
全て表示する（38件）
Development and evaluation experiment of a classroom support system for programming education using tangibles educational materials 口頭発表（一般） 12th International Conference on Information and Education Technology 2024/03
A Semiautonomous Drone System for Inspecting Structures 口頭発表（一般） Twenty-Ninh International Symposium on Artificial Life and Robotics 2024/01
A Proposal of Educational Programming Environment Using Tangible Materials 口頭発表（一般） Fifth International Conference on Human Systems Engineering and Design 2023/09
Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization 口頭発表（一般） 21st International Conference on Practical Applications of Agents and Multi-Agent Systems 2023/07
Efficient Inductive Logic Programming Based on Predictive A*-Like Algorithm 口頭発表（一般） Ninth International Conference on Human Interaction and Emerging Technologies 2023/04
A Rehabilitation-through-Photographing Support System for Muscular Dystrophy Patients 口頭発表（一般） Sixth International Conference on Intelligent Human Systems Integration: Integrating People and Intelligent Systems 2023/02
An Improved Body Operations Mitigating VR Sickness through Stepping Gaming Mat 口頭発表（一般） Sixth International Conference on Intelligent Human Systems Integration: Integrating People and Intelligent Systems 2023/02
An Autonomous UAV System for Inspecting Structures 口頭発表（一般） Twenty-Eighth International Symposium on Artificial Life and Robotics 2023/01
Embracing Change through Productivity Specialists: Transformation Journey toward Digitalization 口頭発表（基調） International Conference on Productivity Accreditation and Certification 2022/10
A Safety Checking Algorithm with Multi-swarm Particle Swarm Optimization 口頭発表（一般） Genetic and Evolutionary Computation Conference 2022 2022/07
A Classroom Support in Smartphone Learning Environments Using Tangibles Materials 口頭発表（一般） Twelfth IIAI International Congress on Advanced Applied Informatics 2022/02
CrossSiam: k-Fold Cross Representation Learning 口頭発表（一般） Fourteenth International Conference on Agents and Artificial Intelligence 2022/02
Smartphone Based Accurate Touch Operations on an AR Desktop 口頭発表（一般） Fifth International Conference on Intelligent Human Systems Integration: Integrating People and Intelligent Systems 2022/02 2022/02
A Multi-Agent Approach for Evacuation Support in Mountainous Areas Using UAV 口頭発表（一般） 19th International Conference on Practical Applications of Agents and Multi-Agent Systems 2021/10
Exploration Strategies for Model Checking with Ant Colony Optimization 口頭発表（一般） 13th International Conference on Computational Collective Intelligence 2021/09
Intuitive Body Operations Suppressing VR Sickness 口頭発表（一般） Fourth International Conference on Human Systems Engineering and Design 2021/09
A Search Strategy for Efficient Model Checking Using Ant Colony Optimization Algorithm 口頭発表（一般） Forty-First Software Symposium 2021/06
Vector Quantization to Visualize the Detection Process 口頭発表（一般） Thirteenth International Conference on Agents and Artificial Intelligence 2021/02
Evacuation route support system for smartphone users 口頭発表（基調） International E-Conference on Data Analytics, Intelligent Systems and Information Security 2020/12
User Interface in Virtual Space Using VR Device with Eye Tracking 口頭発表（一般） Third International Conference on Human Interaction and Emerging Technologies 2020/08
Providing Efficient Redundancy to an Evacuation Support System Using Remote Procedure Calls 口頭発表（一般） Fourteenth KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications 2020/06
A User Independent Method for Identifying Hand Gestures with sEMG 口頭発表（一般） Twelveth International Conference on Agents and Artificial Intelligence 2020/02
Capture of Intruders by Cooperative Multiple Robots Using Mobile Agents 口頭発表（一般） Third International Conference on Intelligent Human Systems Integration: Integrating People and Intelligent Systems 2020/02
Capture of Multi Intruders by Cooperative Multiple Robots Using Mobile Agents 口頭発表（一般） Twelveth International Conference on Agents and Artificial Intelligence 2020/02
An evacuation support system using multi-agent system based on ad hoc communications 口頭発表（招待・特別） International Conference on Machine Learning and Intelligent Systems 2019/11
An Evacuation Support System Using Multi Agent System Based on Ad Hoc Communications 口頭発表（招待・特別） 9th International Conference on Electronics, Communications and Networks 2019/10
A Proposal of Human Interface for Evacuation Support System on Smartphone 口頭発表（一般） First International Conference on Human Interaction and Emerging Technologies 2019/08
Providing Recursive Functions to the Tangible Programming Environment for Smartphones ポスター発表 Twenty-First International Conference on HCI International 2019/07
Virtual Space Pointing Based on Vergence 口頭発表（一般） Twenty-First International Conference on HCI International 2019/07
A Proposal of Evacuation Support System with Redundancy Using Multiple Mobile Agent 口頭発表（一般） Thirteenth KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications 2019/06
Development of Agent System for Multi-Robot Search 口頭発表（一般） Eleventh International Conference on Agents and Artificial Intelligence 2019/02
Multi-Agent Base Evacuation Support System Considering Altitude 口頭発表（一般） Eleventh International Conference on Agents and Artificial Intelligence 2019/02
Multi-Robots Exploring Maze-like Area with Ad-hoc Communications 口頭発表（一般） Twenty-Fourth International Symposium on Artificial Life and Robotics 2019/01
表示を折りたたむ
その他業績
特許
受賞歴
ISAT 最優秀論文賞 ISAT Best Paper Award 2015/09
学会活動
客員教授
東京理科大学 2023/07
放送大学 2023/04
researchmap研究分野
産学連携情報
共同研究テーマ
教育情報
学識経験
シーズ集
シーズ集URL
