Degree

• Master of Science（The University of Tokyo）
• Doctor of Information and Computer Science（Waseda University）

Research History

Education

Awards

• 優秀賞（2025-02）
• IEEE International Conference on Internet of Things and Intelligence Systems (IoTaIS) Best Paper Award（2023-11）
• 奨励賞（2023-09）
• 優秀賞（2023-09）
• 警察研究論文奨励賞「情報通信研究の部」最優秀賞（2023-05）
• 学生プレゼンテーション賞（2023-03）
• 情報処理学会論文誌ジャーナル/JIP特選論文（2023-01）
• 電子情報通信学会 人工知能と知識処理研究会 研究奨励賞（2022-12）
• SMASH22 (Symposium on Multi Agent Systems for Harmonization 2022) Summer Symposium 奨励賞（2022-09）
• 卓越研究賞（2022-09）
• 情報処理学会 2022年度山下記念研究賞（2022-07）
• 電子情報通信学会 人工知能と知識処理研究会 研究奨励賞（2022-02）
• SMASH22 (Symposium on Multi Agent Systems for Harmonization 2022) Winter Symposium 準優秀賞（2022-02）
• SMASH21 (Symposium on Multi Agent Systems for Harmonization 2021) Summer Symposium 奨励賞（2021-09）
• SMASH21 (Symposium on Multi Agent Systems for Harmonization 2021) Summer Symposium 奨励賞（2021-09）
• 第32回コンシューマ・デバイス＆システム（CDS）研究会 優秀発表賞（2021-09）
• JP生きがい振興財団警察研究論文奨励賞（2021-06）
• SMASH20 (Symposium on Multi Agent Systems for Harmonization 2020) Summer Symposium ベストプレゼンテーション賞（2020-09）
• SMASH20 (Symposium on Multi Agent Systems for Harmonization 2020) Summer Symposium 学生奨励賞（2020-09）
• SMASH20 (Symposium on Multi Agent Systems for Harmonization 2020) Summer Symposium ベストプレゼンテーション賞（2020-09）
• SMASH20 (Symposium on Multi Agent Systems for Harmonization 2020) Summer Symposium 学生奨励賞（2020-09）
• 情報処理学会論 文誌ジャーナル/JIP特選論文（2019-10）
• マルチエージェントと協調計算研究会 (MACC) 最優秀発表賞（2019-02）
• 人工知能と知識処理研究会 研究奨励賞（2018-12）
• 第17回 合同エージェントワークショップ＆シンポジウム2018 (JAWS2018) 学生奨励賞（2018-09）
• 第17回 合同エージェントワークショップ＆シンポジウム2018 (JAWS2018) 学生奨励賞（2018-09）
• マルチエージェントと協調計算研究会 (MACC) 最優秀発表賞（2018-02）
• 第6回解説論文賞（2017-09）
• ソフトウェア工学の基礎ワークショップ (FOSE2016) 貢献賞(ショートペーパー部門)（2016-12）
• 第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優良論文賞（2016-09）
• 第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優秀発表賞（2016-09）
• 第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優秀発表賞（2016-09）
• 第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優秀発表賞（2016-09）
• 第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 奨励論文賞（2016-09）
• 第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優秀発表賞（2016-09）
• 第15回 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優良論文賞（2016-09）
• マルチメディア、分散、協調とモバイル（DICOMO2016）シンポジウム優秀プレゼンテーション賞（2016-07）
• Linked Open Data Challenge Japan 2015 データセット部門 最優秀賞（2016-03）
• 電子情報通信学会論文誌 学生論文特集秀逸論文（2016-03）
• 10th International Conference on Software Engineering Advances (ICSEA2015) Best Paper Award（2015-11）
• 第14回 合同エージェントワークショップ＆シンポジウム2015 (JAWS2015) 奨励賞（2015-10）
• 第14回 合同エージェントワークショップ＆シンポジウム2015 (JAWS2015) 奨励賞（2015-10）
• The 4th Joint International Semantic Technology Conference (JIST2014) Best Poster Award（2014-11）
• The 3rd Joint International Semantic Technology Conference JIST2013) Best Poster & Demo Award（2013-11）
• 情報処理学会 第179回ソフトウェア工学研究会 学生研究賞（2013-03）
• 第11回 合同エージェントワークショップ＆シンポジウム2012 (JAWS2012) 学生優秀論文賞（2012-10）
• International Conference on Network Technologies Communications (NTC 2011) Best Student Paper Award（2011-11）
• 第9回 合同エージェントワークショップ＆シンポジウム2010(JAWS10)ベストポスター賞（2010-10）
• 第9回 合同エージェントワークショップ＆シンポジウム2010(JAWS10)学生奨励賞（2010-10）
• 第8回 合同エージェントワークショップ＆シンポジウム2009(JAWS09)優秀論文賞（2009-10）

Others

Papers

• A Model-Based Approach for Designing and Validating ABAC Policies（2025-04-27） [DOI] [Othres link]
• Using LLM-Based Deep Reinforcement Learning Agents to Detect Bugs in Web Applications（2025-02） [DOI]
• Punish the Pun-ish: Enhancing Text-to-Pun Generation with Synthetic Data from Supervised Fine-tuned Models（2025-02） [DOI]
• Proposal of an Automated Testing Method for GraphQL APIs Using Reinforcement Learning（2025-02） [DOI]
• Fish Catch Prediction by Combining Fishing, Weather and Tidal Data（2025-02） [DOI]
• Efficient Models Deep Reinforcement Learning for NetHack Strategies（2025-02） [DOI]
• ASPERA: Exploring Multimodal Action Recognition in Football Through Video, Audio, and Commentary（2025-02） [DOI]
• Toward a Pattern-Based Comprehensive Framework Using Process Mining for RBAC Conformance Checks（2025-01-06） [DOI] [Othres link]
• 単語の関連性に着目した複合語型隠語の検出（2024-12-15） [DOI]
• Deep Learning-Based Travel Time Estimation in Hiking with Consideration of Individual Walking Ability（2024-12-01） [DOI] [Othres link]
• Automatic Question Generation with Knowledge Graph for Panoramic Learning（2024-11-06） [DOI] [Othres link]
• 事前学習済み大規模画像生成モデルを用いた中空構造アイコン線画彩色,（2024-11）
• グラフニューラルネットワークを用いたコンテンツ推薦における知識表現の実証分析（2024-11）
• YODA: Middleware for Improving Setup and Preprocessing in Static Analysis of IoT Firmware（2024-07-06） [DOI] [Othres link]
• A Model-Driven Approach for Designing and Validation of ABAC Policies（2024-05）
• The Proposal of Countermeasures for DeepFake Voices on Social Media Considering Waveform and Text Embedding（2024-04） [DOI]
• Minimizing Noise in Location Privacy Protection Through Equipment Error Consideration（2024-03） [DOI]
• Proposal of a Cosmetic Product Recommendation Method with Review Text that is Predicted to Be Write by Users.（2024-02） [DOI] [DBLP] [Othres link] [Othres link]
• An Analysis of Knowledge Representation for Anime Recommendation Using Graph Neural Networks.（2024-02） [DOI] [DBLP] [Othres link] [Othres link]
• Algorithm to Satisfy l-diversity by Combining Dummy Records and Grouping（2024-02） [DOI]
• StyleMap を用いた事前学習済み StyleGAN による画像編集（2024-01）
• 少数サンプルから多様なゲームステージを生成するGANの学習手法の提案（2024-01）
• セマンティックセグメンテーションを利用した GAN Inversion による背景画像の編集手法の提案（2024-01）
• サッカーにおけるポジショニングの修正を行う遺伝的アルゴリズムモデルの提案（2024-01）
• Data-driven OCL Invariant Patterns-based Process Model Exploration for Process Mining（2023-12）
• A Scalable Middleware for IoT Vulnerability Detection（2023-12）
• Federated Learning Algorithm Handling Missing Attributes（2023-11） [DOI] [DBLP] [Othres link] [Othres link]
• A Middleware to Improve Analysis Coverage in IoT Vulnerability Detection（2023-11） [DOI] [DBLP] [Othres link] [Othres link]
• Estimation of Unmasked Face Images Based on Voice and 3DMM（2023-11） [DOI] [DBLP] [Othres link] [Othres link]
• Towards scalable model checking of reflective systems via labeled transition systems（2023-03） [DOI] [DBLP] [Othres link]
• A k-Anonymization Method for Social Network Data with Link Prediction（2023-02） [DOI] [DBLP] [Othres link] [Othres link]
• Rumor Detection in Tweets Using Graph Convolutional Networks（2023-02） [DOI] [DBLP] [Othres link] [Othres link]
• GAN Inversion with Editable StyleMap（2023-02） [DOI] [DBLP] [Othres link] [Othres link]
• Diverse Level Generation for Tile-Based Video Game using Generative Adversarial Networks from Few Samples（2023-02） [DOI] [DBLP] [Othres link] [Othres link]
• Proposal of a Signal Control Method Using Deep Reinforcement Learning with Pedestrian Traffic Flow（2023-02） [DOI] [DBLP] [Othres link] [Othres link]
• Background Image Editing with HyperStyle and Semantic Segmentation（2023-02） [DOI] [DBLP] [Othres link] [Othres link]
• Predicting Visual Importance of Mobile UI Using Semantic Segmentation（2023-02） [DOI] [DBLP] [Othres link] [Othres link]
• Generation of Facial Images Reflecting Speaker Attributes and Emotions Based on Voice Input（2023-02） [DOI] [DBLP] [Othres link] [Othres link]
• Detection of Compound-Type Dark Jargons Using Similar Words（2023-02） [DOI] [DBLP] [Othres link] [Othres link]
• Sender Reputation Construction Method And Feedback Loop Using Sender Authentication（2023-01-15） [DOI] [CiNii Books] [CiNii Research] [Othres link]
• Inspection of The Classifying Performance of The Deepfake Voices by The Latest Text-to-Speech Models（2022-10）
• Proposal of middleware to support the development of IoT firmware analysis tools（2022-08） [DOI] [DBLP] [Othres link] [Othres link]
• Detection of Plaintext Login Information in Firmware（2022-07） [DOI] [DBLP] [Othres link] [Othres link]
• 組込みシステム向け障害解析環境の効率改善（2022-05）
• Step-by-Step Acquisition of Cooperative Behavior in Soccer Task（2022-02） [DOI] [Web of Scientce]
• コーパス間の類似語の差異に着目したマイクロブログにおける隠語検出（2022-02） [DOI]
• Versatile Automatic Piano Reduction Generation System by Deep Learning（2022-02）
• Prosody Transfer from a Small Amount of Voice using Fine Tuning,（2022-02）
• Detecting Hardcoded Login Information from User Input（2022-01） [DOI] [DBLP] [Othres link] [Othres link]
• Improvement of Legitimate Mail Server Detection Method using Sender Authentication（2021-06） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• キャンパスオントロジーに基づく異種データ間の相関検出（2021-06） [DOI]
• A Countermeasure Method Using Poisonous Data Against Poisoning Attacks on IoT Machine Learning（2021-06） [DOI] [DBLP] [Othres link]
• 送信ドメイン認証を用いた送信者レピュテーション構築手法の提案（2021-05） [DOI]
• Codeword Detection Focusing on Differences in Similar Words Between Two Corpora of Microblogs（2021-04） [DOI]
• Classifying COVID-19 Conspiracy Tweets with Word Embedding and BERT.（2021） [DBLP] [Othres link] [Othres link] [Othres link]
• Sender Reputation Construction Method using Sender Authentication（2021）
• Acquisition of Cooperative Behavior in a Soccer Task Using Reward Shaping（2021） [DOI] [DBLP] [Othres link] [Othres link]
• Detection of the Hardcoded Login Information from Socket and String Compare Symbols（2021-01） [DOI]
• Ontology-Based Correlation Detection among Heterogeneous Data Sets: A Case Study of University Campus Issues（2020-12） [DOI] [DBLP] [Othres link] [Othres link]
• A Defense Method against Poisoning Attacks on IoT Machine Learning Using Poisonous Data（2020-12） [DOI] [DBLP] [Othres link] [Othres link]
• Knowledge Graph Completion to Solve University Campus Issues（2020-09） [DOI] [DBLP] [Othres link] [Othres link]
• 社会課題解決に向けたナレッジグラフと欠損推定手法の提案 ~学内駐輪環境改善の試み~（2020-08-01）
• 位置情報とタイムスタンプの有用性を調整可能な移動軌跡匿名化手法（2020-08-01）
• Semantic Diversity: Privacy Considering Distance Between Values of Sensitive Attribute（2020-07） [DOI] [DBLP] [Othres link] [Othres link]
• Codewords Detection in Microblogs Focusing on Differences in How Words are Used Between Two Corpora（2020） [Web of Scientce]
• Detection of the hardcoded login information from socket symbols（2020） [Web of Scientce]
• Why Do Users Choose a Hotel over Others? Review Analysis Using Interpretation Method of Machine Learning Models（2020） [DOI] [Othres link]
• Adaptation Plan Policy in Traffic Routing for Priority Vehicle（2020） [DOI] [DBLP] [Othres link]
• Generating Cooking Recipes from Cooking Videos Using Deep Learning Considering Previous Process with Video Encoding（2020） [DOI] [DBLP] [Othres link] [Othres link]
• Model smoothing using virtual adversarial training for speech emotion estimation using spontaneity（2020） [DOI]
• Hair Shading Style Transfer for Manga with cGAN（2020） [DOI] [DBLP] [Othres link] [Othres link]
• Knowledge Graph of University Campus Issues and Application of Completion Methods（2019-12） [DOI] [DBLP] [Othres link] [Othres link]
• Linked Dataを用いた俯瞰的な多肢選択式問題自動生成手法の提案（2019-10-15）
• Do You Like Sclera? Sclera-region Detection and Colorization for Anime Character Line Drawings（2019-08-05） [DOI] [DBLP] [Othres link]
• “Never fry carrots without chopping” Generating Cooking Recipes from Cooking Videos Using Deep Learning Considering Previous Process（2019-08-05） [DOI] [DBLP] [Othres link]
• Self-Adaptation for Heterogeneous Client-Server Online Games（2019-08） [DOI] [DBLP] [Othres link] [Othres link]
• Mis.Config: Finding Misreferred Configuration Bugs In Web Application Using Thin Slicing（2019-08） [DOI] [DBLP] [Othres link] [Othres link]
• Multi-task Deep Reinforcement Learning with Evolutionary Algorithm and Policy Gradients Method in 3D Control Tasks.（2019） [DOI] [DBLP] [Othres link] [Othres link]
• New Indicator for Centrality Measurements in Passing-network Analysis of Soccer（2019） [DOI] [DBLP] [Othres link] [Othres link]
• Transforming the Emotion in Speech using a Generative Adversarial Network（2019） [DOI] [DBLP] [Othres link] [Othres link]
• Generation of Multiple Choice Questions Including Panoramic Information using Linked Data（2019） [DOI] [DBLP] [Othres link] [Othres link]
• A Method for Goal Model Repair Based on Process Mining（2019） [DOI] [DBLP] [Othres link] [Othres link]
• サッカーPK戦における ゲーム理論上の最適戦略とプロの戦略との差異に関する考察（2018-09-01） [DOI]
• パーチェス法を用いたエージェントシミュレーションによる金融機関の合併に関するシステミックリスクへの影響分析（2018-09-01） [DOI]
• Text Classification and Transfer Learning based on Character-level Deep Convolutional Neural Networks（2018-06） [DOI] [DBLP] [Othres link] [Othres link]
• 決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成（2018-03-01） [DOI]
• Do Professional Football Players Follow the Optimal Strategies in Penalty Shootout?（2018） [DOI] [DBLP] [Othres link] [Othres link]
• Factors Affecting Accuracy in Image Translation based on Generative Adversarial Network（2018） [DOI] [DBLP] [Othres link] [Othres link]
• Agent-based Simulation Model Embedded Accounting's Purchase Method; Analysis on the Systemic Risk of Mergers and Acquisitions between Financial Institutions（2018） [DOI] [DBLP] [Othres link] [Othres link]
• Anonymization and Analysis of Horizontally and Vertically Divided User Profile Databases with Multiple Sensitive Attributes（2018） [DOI] [DBLP] [Othres link] [Othres link]
• 家庭におけるペット-ロボットインタラクション～ロボットのふるまいに対する犬の行動調査～（2017-11-15） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects（2017-07-03） [DOI] [DBLP] [Othres link]
• Fast Many-to-One Voice Conversion using Autoencoders（2017） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Japanese Text Classification by Character-level Deep ConvNets and Transfer Learning（2017） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• An Observation of Behavioral Changes of Indoor Dogs in Response to Caring Behavior by Humanoid Robots Can Dogs and Robots Be Companions?（2017） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Sarcasm Detection Method to Improve Review Analysis（2017） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Proposal of l-Diversity Algorithm Considering Distance between Sensitive Attribute Values（2017） [DOI] [DBLP] [Othres link] [Othres link]
• User participatory construction of open hazard data for preventing bicycle accidents（2017） [DOI] [DBLP] [Othres link] [Othres link]
• 放置自転車問題解決に向けた循環型LOD構築システムの提案（2016-11） [DOI]
• Sake Selection Support Application for Countryside Tourism（2016-09） [DOI] [DBLP] [Othres link] [Othres link]
• A Solution to Visualize Open Urban Data for Illegally Parked Bicycles（2016-09） [DOI] [DBLP] [Othres link] [Othres link]
• Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS（2016-04-04） [DOI] [DBLP] [Othres link] [Othres link]
• ゴール指向洗練パターン駆動によるユースケースモデリング（2016-03-01）
• 組込み向け進化型ソフトウェアの効率的な拡張性強化手法（2016-02） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• A solution to visualize open urban data for illegally parked bicycles（2016） [DOI] [DBLP] [Othres link] [Othres link]
• Iterative Improvement of Human Pose Classification Using Guide Ontology（2016-01） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Estimation of Interpersonal Relationships in Movies（2016-01） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Linked data collection and analysis platform for music information retrieval（2016） [DOI] [DBLP] [Othres link] [Othres link]
• Linked Data Collection and Analysis Platform of Audio Features（2016） [DBLP] [Othres link] [Othres link] [Othres link]
• Process Mining Approach Based on Partial Structures of Event Logs and Decision Tree Learning（2016） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Schema Design of Illegally Parked Bicycles LOD（2016） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Business Process Verification and Restructuring LTL Formula Based on Machine Learning Approach（2016） [DOI] [Web of Scientce]
• Visualization of Open Urban Data for Illegally Parked Bicycles（2016）
• Sake selection support application for countryside tourism（2016） [DOI]
• リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換（2015-11）
• News Curation Service using Semantic Graph Matching（2015-07-19）
• 意外性のあるレシピを推薦するエージェントの提案（2015-06）
• 語句間の意味的リレーションに基づくキュレーションエージェント（2015-06）
• Activity Recognition for Dogs Using Off-the-Shelf Accelerometer（2015-01-09） [DBLP] [DOI] [Othres link] [Othres link]
• CGMにおける炎上の分析とその応用（2015-01）
• Estimation of Character Diagram from Open-Movie Databases for Cultural Understanding（2015） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Activity Recognition for Dogs Based on Time-series Data Analysis（2015） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Decision Making Strategy Based on Time Series Data of Voting Behavior（2015） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Towards the Elimination of the Miscommunication Between Users in Twitter（2015） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Performance Exploring Using Model Checking A Case Study of Hard Disk Drive Cache Function（2015）
• A Method for Efficient Extensibility Improvements in Embedded Software Evolution（2015） [DOI] [DBLP] [Othres link]
• Towards Goal-Oriented Conformance Checking（2015） [DBLP] [Othres link] [Othres link]
• Estimation of Character Diagram from Open Movie Database using Markov Logic Network（2014-11-09） [DBLP] [Othres link] [Othres link] [Othres link]
• News Recommendation based on Semantic Relations between Events（2014-11-09） [DBLP] [Othres link] [Othres link] [Othres link]
• Human Pose Guide Ontologyを用いた静止画像内人物のポーズ分類（2014-08） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 希少性と一般性に基づいた意外性のある食材の抽出（2014-08） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• ソフトウェア再利用に向けた共通ゴール判別手法の提案（2014-05）
• Music Recommender Adapting Implicit Context Using ‘renso’ Relation among Linked Data（2014-04）
• Surprising Recipe Extraction Based on Rarity and Generality of Ingredients（2014-03） [DOI] [DBLP] [Othres link] [Othres link]
• Identification of Flaming and Its Applications in CGM: Case Studies toward Ultimate Prevention（2014-03） [DOI] [DBLP] [Othres link] [Othres link]
• Music recommender adapting implicit context using 'renso' relation among Linked Data（2014） [DOI] [DBLP] [Othres link]
• Software development PBL focusing on communication using Scrum（2014） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• A MAPE Loop Control Pattern for Heterogeneous Client/Server Online Games（2014） [DBLP] [Othres link] [Othres link]
• Evaluation of Flexibility to Changes Focusing on the Variable Structures in Legacy Software（2014） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Context-Aware Music Recommendation with Serendipity Using Semantic Relations（2014） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Transformation approach from KAOS goal models to BPMN models using refinement patterns（2014） [DOI] [DBLP] [Othres link] [Othres link]
• Refinement of Ontology-constrained Human Pose Classification（2014） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Towards Software Evolution for Embedded Systems Based on MAPE Loop Encapsulation（2014） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• メディア情報のLinked Data 化と活用事例の提案（2013-12）
• Classification of Idol Photography Based on Pose Guide Ontology（2013-11）
• タグクラスタ多様化による未知性を考慮した推薦手法の提案（2013-03） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Toward information sharing of natural disaster: Proposal of timeline action network（2013） [DOI] [DBLP] [Othres link] [Othres link]
• Towards solving an obstacle problem by the cooperation of UAVs and UGVs（2013） [DOI] [DBLP] [Othres link] [Othres link]
• Designing loss-aware fitness function for ga-based algorithmic trading（2013） [DOI]
• Towards semi-automatic identification of functional requirements in legal texts for public administration（2013） [DOI] [DBLP] [Othres link] [Othres link]
• Extraction and Estimation of Human Activity from Twitter for Information Sharing in Disaster（2013）
• Support for Video Hosting Service Users using Folksonomy and Social Annotation（2012-12） [DOI] [DBLP] [Othres link] [Othres link]
• 服飾オントロジーを用いたECサイトにおけるユーザデザイン嗜好の推定と評価（2012-11）
• フォークソノミーとソーシャルアノテーションを用いた動画共有サービス利用支援の試み（2012-11）
• Evaluation of Flexibility to Changes Focusing on the Variable Structures in Legacy Software（2012-08） [DOI] [DBLP] [Othres link] [Othres link]
• Building a Timeline Network for Evacuation in Earthquake Disaster（2012-07） [DBLP] [Othres link] [Othres link] [Othres link]
• Privacy Protection by Anonymizing Based on Status of Provider and Community（2012-04）
• Methods for Privacy Protection Considering Status of Service Provider and User Community（2012） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Self-supervised capturing of users' activities from weblogs（2012-01） [DOI] [DBLP] [Othres link]
• BUILDING A TIME SERIES ACTION NETWORK FOR EARTHQUAKE DISASTER（2012） [DBLP] [DOI] [Web of Scientce] [Othres link] [Othres link]
• Dynamic reconfiguration in self-adaptive systems considering non-functional properties（2012） [DOI] [DBLP] [Othres link] [Othres link]
• Goal-oriented approach to creating class diagrams with OCL constraints（2012） [DOI] [DBLP] [Othres link] [Othres link]
• Goal-Oriented Robustness Analysis（2012） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• ユーザ背景情報およびコミューニティ状況を考慮した匿名度制御によるプライバシ保護エージェントの提案（2011-11） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• コンテンツ投稿型SNSにおける未知性と意外性を考慮した推薦エージェントの提案（2011-11） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 携帯端末上での拡張現実を用いた植物推薦エージェントGreen-Thumb Phoneの開発（2011-11） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• インタラクション・シーケンスに着目した商品検索目的抽出エージェントの開発（2011-11） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• センチメント分析とトピック抽出によるマイクロブログからの評判傾向抽出（2011-11） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 評判分析システムのための教師あり学習を用いた意見抽出（2011-11） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Privacy Protection by Anonymizing Based on Status of Provider and Community（2011-11）
• 自律システム実現に向けたアーキテクチャの構築（2011-01）
• オントロジー構築サービスONTOMOの開発 －固有名詞抽出によるインスタンスとプロパティ自動推薦エージェントの評価－（2011-01） [CiNii Research (CiNii Articles)]
• 条件付確率場と自己教師あり学習を用いた行動属性の自動抽出と評価（2011-01） [DOI] [CiNii Research (CiNii Articles)] [Othres link]
• Building earthquake semantic network by mining human activity from Twitter（2011） [DOI] [DBLP] [Othres link] [Othres link]
• Building an earthquake evacuation ontology from twitter（2011） [DOI] [DBLP] [Othres link] [Othres link]
• ONTOMO: Web Service for Ontology Building - Evaluation of Ontology Recommendation using Named Entity Extraction（2010-10）
• 大規模組織におけるソフトウェアプロセス改善活動の適用評価 ～10年間の実践に基づく考察～（2010-09） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Self-Supervised Mining of Human Activity from CGM（2010-08） [DOI] [DBLP] [Othres link] [Othres link]
• Rewriting Logic Model of Compositional Abstraction of Aspect-Oriented Software（2010-03）
• Human Activity Mining Using Conditional Radom Fields and Self-Supervised Learning.（2010） [DOI] [DBLP] [Othres link]
• ONTOMO: Web-based Ontology Building System（2010） [DOI] [DBLP] [Othres link] [Othres link]
• AUTOMATIC MINING OF HUMAN ACTIVITY AND ITS RELATIONSHIPS FROM CGM（2010） [DBLP] [Web of Scientce] [Othres link] [Othres link]
• NicoScene: Video Scene Search by Keywords Based on Social Annotation（2010） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Automatic mining of human activity attributes from weblogs（2010） [DOI] [DBLP] [Othres link] [Othres link]
• Capturing Users' Buying Activity at Akihabara Electric Town from Twitter（2010） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Evolution of a course on model checking for practical applications（2009-06） [DOI] [DBLP] [Othres link]
• ONTOMO: Development of Ontology Building Service Evaluation of Instance Recommendation Using Proper Noun Extraction（2009） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• A hierarchical mobile agent framework and its application to multimedia contents（2007-01） [DOI] [DBLP] [Othres link]
• Top SE: Education Program of Japan to Produce Superarchitects Who Can Apply Software Engineering Tools to Practical Development（2007） [DOI] [DBLP] [Othres link] [Othres link] [Othres link]
• Common Terminology for Systemitization of Goal-oriented Requirements Engineering（2006-02）
• Common Terminology Model and Patterns of Goal-oriented Requirements Engineering Methodologies（2006-02）
• ソフトウェア設計に対するモデル駆動型検証プロセス（2006-01） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Formal model of mobile BPEL4WS process（2006） [DOI] [DBLP] [Othres link]
• IOM/T : An Interaction Description Language（2005-09） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用（2005-09） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Common Metamodel of Goal-Oriented Requirements Engineering Methodologies（2005-08）
• IOM/T : An Interaction Description Language（2005-07） [DOI] [DBLP] [Othres link] [Othres link]
• Agent Synthesis: Partnership and Agreement in Cooperative Mobile Agents（2005-07） [DOI] [DBLP] [Othres link] [Othres link]
• Developing Service-Oriented Compounds of Cooperative Mobile Agents（2005-07）
• Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound（2005-05） [DBLP] [Othres link] [Othres link]
• Visual Support of Model Checking and Development of Distributed Systems（2005-02）
• Bridging the gap between AUM/T and implementation using IOM/T（2005） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• オブジェクト指向によるセマンティックWeb開発方法論 - オントロジ構築を中心に -（2005-01） [CiNii Books] [CiNii Research] [DOI] [Othres link] [Othres link]
• Mobile and cooperative compounds of multimedia services（2005） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• A framework for synthesis of web services and mobile agents（2005） [DOI] [DBLP] [Othres link]
• Pigeon: a Specification Language for Mobile Agent Applications（2004-07） [DOI] [DBLP] [Othres link] [Othres link] [Othres link]
• Bridging the Gap between AUML and Implementation using FOPL（2004-07）
• Toward Synthesis of Web Services and Mobile Agents（2004-07）
• Webサービス連携のためのモバイルエージェント動作記述（2004-06） [CiNii Research (CiNii Articles)]
• Mobile Agent System for Web Services Integration in Pervasive Networks（2004-04） [DBLP] [Othres link] [Othres link]
• Behavior descriptions of mobile agents for web services integration（2004） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• A Formal Model of Active Contents Based on the Ambient Calculus（2003-10） [DOI] [DBLP] [Othres link] [Othres link]
• Specification Language Pigeon for Mobile Agent Applications（2003-08） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Secure and Efficient Mobile Agent Application Development Using Patterns（2003-06）
• Mobile Agent Security with the IPEditor Development Tool and the Mobile UNITY Language（2002-06） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Mobile Agent Security with the IPEditor, Development Tool and the Mobile UNITY Language（2001-05） [DOI] [DBLP] [CiNii Research (CiNii Articles)] [Othres link] [Othres link]
• Secure and Efficient Mobile Agent Application Reuse Using Patterns（2001-05） [DOI] [DOI] [DBLP] [Othres link] [Othres link]
• Security for mobile agents（2001） [DOI] [DBLP] [Othres link] [Othres link]
• Behavior patterns for mobile agent systems from the development process viewpoint（2001） [DOI] [DBLP] [Web of Scientce] [Othres link] [Othres link]
• Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems（2000-12） [DOI] [DBLP] [Othres link]
• Agent Communication Language Patterns And Their Tool Support（2000-12）
• Mobile Agent System Development Method Based on Behavior Patterns（1999-12）
• Agent System Development Method based on Agent Patterns（1999-05） [DOI] [DBLP] [Othres link] [Othres link]
• Algebraic Semantics of Reflection in Object-Orientated（1997-04）
• Plangent - An Intelligent Multiagent System for Network Computing（1996-12）
• An algebraic semantics of reflective objects（1996） [DOI] [DBLP] [Othres link] [Othres link]
• Evolutional Agents: Field Oriented Programming Language, Flage（1995-12） [DOI] [DBLP] [Othres link] [Othres link]
• Formal Semantics of Agent Evolution in Language Flage（1995-06） [DOI] [DBLP] [Othres link] [Othres link]
• Flage: Field-oriented Language for AGEnt model（1994-11） [DOI] [DBLP] [Othres link] [Othres link]

Misc

• 強化学習を用いたGraphQL APIの自動テスト手法の提案（2024-11）
• 画像認識モデルに対する系統的故障の適応的自動検出手法AdaSniperの提案（2024-11）
• サッカーにおける実況内容を含めたマルチモーダルな行動認識手法の検討（2024-09）
• 登山の到着時刻推定タスクにおける深層学習手法の適用と評価（2024-09）
• LLMを利用した深層強化学習エージェントによるウェブアプリのバグの発見（2024-09）
• NetHackにおける深層強化学習アルゴリズムDQNとPPOの比較評価（2024-09）
• 非独立同一分布データにおける連合学習の性能公平性改善に関する研究（2024-09）
• 機械学習を活用した釣果予測モデルの開発（2024-09）
• 属性の欠損に対応した連合学習アルゴリズム（2024-09）
• 人間プレイヤとPolicy Ensembleによる格闘ゲームAIの共有制御（2024-05）
• 日本語の仮名表記を学習した言語モデルを用いた文章の言い換えによる駄洒落の生成（2024-05）
• ライブ配信サイトTwitchにおける人気配信者の要因の分析（2024-03）
• マルチプレイヤRPGにおいて人間らしいプレイスタイルをとるゲームAIの提案（2024-03）
• ボール奪取と攻撃の防御に基づくアクションによるサッカー選手の攻守評価（2024-03）
• バドミントンの試合データを用いたショットの成功確率予測（2024-03）
• スケッチによるマスク不要の表情差分生成手法の提案（2024-03）
• 人体キーポイントを用いて映像に整合する楽器音を生成するモデルの提案（2024-03）
• 意外性のある意見がもたらすエコーチェンバー現象の分析（2024-03）
• インターネットスラングを考慮した大規模言語モデルを用いた感情分析手法の提案（2024-03）
• ポジティブな単語を含んだ煽り・誹謗中傷目的のコメント検出方法の提案（2024-03）
• 大規模条件付き画像生成モデルを用いたテキストによる出力制御可能なアイコン線画彩色（2023-09）
• 音声と3DMMに基づくマスクを除去した顔画像の推定（2023-09）
• 複数データソースを統合したアニメーション作品のナレッジグラフに基づく作品推薦（2023-09）
• 化粧品レビュー文の特徴自動スコアリングを用いたレビュー文付きアイテム推薦の研究（2023-09）
• 擬人化タスクにおけるカラーパレットを用いた条件付き画像生成手法の挙動分析（2023-09）
• 測定機器の誤差を利用した効果的な位置情報プライバシ保護手法の提案（2023-09）
• 述語の意味によるクラスタリングを用いたシーングラフ生成（2023-08） [DOI]
• シーングラフ生成におけるロングテール問題解決に向けたデータサンプリング手法の検討（2023-03） [DOI]
• Backdoor Detection Based On Network Functions For IoT Devices（2020） [J-GLOBAL]
• Frontiers of Software Engineering - The Era of Software-Defined Everything -：10. Self-adaptive Software in Era of IoT（2017-07）
• Linked Dataによる楽曲特徴量の収集・分析基盤の構築（2016-09）
• ゴール指向洗練パターン駆動によるユースケースモデリング（2016-03-01） [J-GLOBAL] [Othres link]
• 社会課題解決に向けた循環型オープンデータ構築システムの提案（2015-10）
• 意外性のあるレシピを推薦するエージェントの提案（2015-06-01） [J-GLOBAL] [Othres link]
• D-9-25 Evacuation Plan Recommendation Using Miniblogs (2) : Application of Self-Adaptive System Approach（2015-02-24） [CiNii Research (CiNii Articles)] [CiNii Books]
• ミニブログを利用した避難行動推薦(2)―自己適応システム技術の適用―（2015-02-24） [J-GLOBAL] [Othres link]
• ミニブログを利用した避難行動推薦(3)―プライバシ保護データマイニングの適用―（2015-02-24） [J-GLOBAL] [Othres link]
• ミニブログを利用した避難行動推薦(1)―システム概要―（2015-02-24） [J-GLOBAL] [Othres link]
• モデル検査による設計検証（2014-12） [DOI]
• Support system for smartphone application development based on analysis of user reviews（2014-11-06） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Music Recommender Adapting Implicit Context Using 'renso' Relation among Linked Data（2014-04-15） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• A Requirements Analysis Method for potential customers with Morphological Analysis（2014-03-12） [J-GLOBAL] [Othres link]
• メディア情報のLinked Data化と活用事例の提案（2013-12-01） [J-GLOBAL] [Othres link]
• C/S型オンラインゲームの自己適応化に向けたMAPEループ構成パターンの提案（2013-11-27） [J-GLOBAL] [Othres link]
• Toward Self-Adaptation of the Automatic Cleaning Robot（2013-11-26） [J-GLOBAL] [Othres link]
• A Study of the Application of Model Checking to Embedded Software Based on Interrupt Processing（2013-09-12） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• A Proposal of Calculation Method of Surprising Value of Recipe Based on Ingredient（2013-09-05） [J-GLOBAL] [Othres link]
• Practice of the software development PBL which thought communication as important based on Scrum（2013-09-02） [CiNii Research (CiNii Articles)] [Othres link]
• Towards Legal Requirements Elicitation and Modeling using Templates（2013-03-04） [CiNii Research (CiNii Articles)]
• Considerations on an Embedded Board Emulator Development Efficiency Method Based on Goal-oriented Requirements Analysis（2013-02-15） [J-GLOBAL] [Othres link]
• The approach of code review support environment which extended CCBR in an agile software development PBL（2013-02-01） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Verification by model checking for resource contention issues by the Web applications with asynchronous communication（2013-01-21） [J-GLOBAL] [Othres link]
• Common Goal Identication for Software Reuse（2013-01-17） [CiNii Research (CiNii Articles)] [Othres link]
• CGMにおける炎上の同定とその応用（2013） [J-GLOBAL] [Othres link]
• Linked Dataを用いたソーシャルメディア×マスメディアの比較実験（2013） [J-GLOBAL] [Othres link]
• O-003 Consideration of problems and measures of system configuration and management in cloud computing environment（2012-09-04） [CiNii Research (CiNii Articles)] [CiNii Books]
• Requirements Analysis Models to Integrate Requirements Specifications for Software Product Lines（2012-08-15） [J-GLOBAL] [Othres link]
• Improving Recommendation Novelty based on Tag Cluster Diversification（2012-04-15） [J-GLOBAL] [Othres link]
• 特定ユーザの作曲ログデータと付加情報を用いた作曲支援（2012-03-08） [J-GLOBAL] [Othres link]
• 閲覧中のニュース記事に対するブログ記事から主張を抽出して提示するシステムの提案（2011-11-01） [J-GLOBAL] [Othres link]
• Design Technique for Self-adaptive Systems Using Architecture Description Language（2011-06-15） [J-GLOBAL] [Othres link]
• A Proposal for Building Semantic Network by Mining Human Activity from Web（2011-05-19） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Visual-K: a prototype for a visualization tool modeling goal-oriented RE methodology KAOS（2011-04-15） [J-GLOBAL] [Othres link]
• シーソー型インタフェースを用いた評判比較システムの開発（2011-03-03） [J-GLOBAL] [Othres link]
• スマートフォン向け植物推薦サービスGreen‐Thumb Phoneの開発~モバイルセンサーと拡張現実を用いた植栽環境との調和性推定~（2011-03-03） [J-GLOBAL] [Othres link]
• 未知性と意外性を考慮したイラスト推薦システムの提案:3D表示を用いたイラスト推薦インターフェース（2011-03-03） [J-GLOBAL] [Othres link]
• インタラクション・シーケンスに着目したユーザの商品検索の目的の抽出に関する検討と実装（2011-03-03） [J-GLOBAL] [Othres link]
• Automatic Extraction of Human Activity Attributes from Twitter（2010-06-18） [CiNii Books] [CiNii Research] [Othres link]
• ニコニコ探検くらぶ:ソーシャルアノテーションとキーワード群に基づく動画要約（2010-02-22） [J-GLOBAL] [Othres link]
• モデル検査によるAjaxアプリケーション検証（2010-01-21） [J-GLOBAL] [Othres link]
• Self-Supervised Mining Human Activity from the Web（2010-01-15） [J-GLOBAL] [Othres link]
• CGMからの自己教師あり学習と条件付確率場を用いた人間行動マイニング（2010） [J-GLOBAL] [Othres link]
• KAOSによるセキュリティ要件の獲得・分析: Security Software Engineering is Useful in Practice?:Security Requirements Acquisition and Analysis Using KAOS（2009-03-15） [CiNii Books] [CiNii Research] [Othres link] [Othres link] [Othres link]
• Development of Ontology Building Service ONTOMO Evaluation of instance recommendation prototype（2009-01-09） [J-GLOBAL] [Othres link]
• Report on Winter Workshop 2008 in Dogo（2008-06）
• TopSE : An Education Program based on Computer Science（2007-11-15） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Teaching How to Write Security Target of Common Criteria Using the i* Methodology（2007-11-02） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Is it possible to teach the modeling technique?（2007-11-02） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現（2001） [CiNii Research]
• Visual Development Tool for the Multi-Agent Framework Bee-gent（1999-09-28） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Be-gent : Bonding Enhancement Agent Framework for Development of Distributed Systems（1998-11-30） [CiNii Research (CiNii Articles)] [CiNii Books]
• 知的ネットワークエージェント Plangent のセキュリティ セーフティ（1998） [CiNii Research]
• 第1回ソフトウェア工学の基礎ワークショップ(FOSE′94)（1996-01-16） [DOI] [CiNii Books] [CiNii Research] [Othres link] [Othres link]
• An Analysis of Simulation between Petri Nets through Rewriting Logic（1995-11-25） [CiNii Research (CiNii Articles)] [CiNii Books]
• Flage Kernel Language（1995-09-20） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• An Algebraic Model in Flage Architecture（1995-09-20） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• An Agent Oriented Language Flage（1994-01-20） [CiNii Research (CiNii Articles)] [CiNii Books]
• エージェントモデルにおけるメタレベルアーキテクチャの代数的意味論, ソフトウェア工学の基礎（1994） [CiNii Research]
• Agent oriented language Flage (2) : Language design（1993-09-27） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Agent oriented language Flage(1) : conception（1993-09-27） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Agent oriented language Flage (3) : Semantics Based on Category Theory（1993-09-27） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 電力系統事故復旧問題における知識獲得方式（1992） [CiNii Books] [CiNii Research]

Presentations

• Towards Flexible And Safe IoT Software with Formal Verification（2024-03-14）
• Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
• ラベル付き遷移系に基づくリフレクティブなシステムのスケーラブルなモデル検査に向けて
• Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
• ゴールモデルの構造に基づいた共通ゴール判別手法の提案（2012-12）
• CRFを用いたメディア情報の抽出とLinked Data化 ～ ソーシャルメディアとマスメディアの比較事例 ～（2012-10）
• Twitter上のフォロー関係を用いた信頼性の高い未知コンテンツの推薦（2012-10）
• GAを用いたシステムトレードにおける損失に着目した適合度関数の設定（2012-10）
• ＵＡＶとＵＧＶの協調動作による障害物撤去に向けて（2012-10）
• 非機能特性を考慮した自己適応システムの動的再構成手法の提案（2011-11）
• モデル検査のためのオブジェクト制約言語を用いた外部環境モデルの構築のための考察（2011-11）
• Support for Generating UML Class Diagrams and OCL Constraints from KAOS Model（2011-11）
• フォークソノミーとソーシャルアノテーションを用いた動画シーンへのラベリング（2011-10）
• 服飾系ECサイトにおける商品閲覧履歴に基づいたデザイン嗜好の推定と商品検索システムの提案（2011-10）
• 震災時の効率的な避難のための行動推薦エージェントReady for 87\%の提案（1）～避難計画オントロジーの設計～（2011-10）
• 震災時の効率的な避難のための行動推薦エージェントReady for 87\%の提案（2）～時系列避難行動ネットワークの構築～（2011-10）
• 震災時の効率的な避難のための行動推薦エージェントReady for 87\%の提案（3）～行動ネットワークを用いた避難行動の推薦～（2011-10）
• 未知性と意外性を考慮したイラスト推薦システムの提案: 3D表示を用いたイラスト推薦インタフェース（2011-03）
• インタラクション・シーケンスに着目したユーザの商品検索 の目的の抽出に関する検討と実装（2011-03）
• スマートフォン向け植物推薦サービスGreen-Thumb Phoneの開発 ～モバイルセンサーと拡張現実を用いた植栽環境との調和性推定～（2011-03）
• シーソー型インタフェースを用いた評判比較システムの開発（2011-03）
• ケーススタディ：KAOS/UMLモデリング（2010-11）
• 教師あり学習を用いたレビューサイトからの意見抽出（2010-10）
• コンテンツ投稿型SNS における未知性と意外性を考慮した推薦エージェントの提案（2010-10）
• 携帯端末上での拡張現実を用いた植物推薦エージェントGreen-ThumbPhoneの開発（2010-10）
• マイクロブログを用いた評判傾向抽出法の提案（2010-10）
• 閲覧中のニュース記事に対するブログの主張を提示するシステムの提案（2010-10）
• 集合匿名化によりプライバシに配慮した個人情報開示制御手法の提案（2010-08）
• ニコシーン： ソーシャルアノテーションとキーワード群に基づく動画シーン検索（2009-10）
• 条件付確率場と自己教師あり学習を用いた行動属性の自動抽出と評価（2009-10）
• 自律システム実現に向けたアーキテクチャの構築（2009-10）
• オントロジー構築サービスONTOMO の開発 固有名詞抽出によるインスタンスとプロパティ自動推薦エージェントの評価（2009-10）
• 統合的自己適応型セキュリティアーキテクチャの提案（2009-10）
• 階層プランニングによるWebサービスの自動合成（2008-10）
• オントロジー構築サービスONTOMOの開発（2008-10）

Books and Other Publications

• マルチエージェントによる自律ソフトウェア設計・開発（2017-07-21） [Othres link] [Amazon]
• Performance Model Verification by UPPAAL（2012-09-28） [Othres link]
• Basics of Software Science（2008-09-26） [Othres link]
• Design Model Verification by SPIN（2008-09-26） [Othres link]

Works

Research Projects

Media Coverage

Industrial Property Rights

Professional Memberships

• 電気学会
• Information Processing Society of Japan
• Japan Society for Software Science and Technology

Committee Memberships

Teaching Experience

• Media Science and Engineering Laboratory
• メディア情報学実験
• コンピュータネットワーク
• コンピュータネットワーク
• Graduate Technical English
• 大学院技術英語
• ユビキタスネットワーク
• ユビキタスネットワーク
• 情報メディアシステム
• 情報メディアシステム
• システム設計特論２
• Advanced System Design II
• システム設計特論2
• Calculus Ⅰ
• Calculus 1
• 微分積分学第一
• Advanced System Design 2
• システム設計基礎論２
• システム設計基礎論2
• Fundamentals of System Design 2

Social Contribution

Academic Contribution

• 第10回 実践的IT教育シンポジウム rePiT2025プログラム委員
• ソフトウェア工学の基礎ワークショップ FOSE 2024 プログラム委員
• The 10th International Conference on Cloud Computing and Services Science (CLOSER) 2024 プログラム委員
• 第9回 実践的IT教育シンポジウム rePiT2024プログラム委員
• 情報処理学会 論文誌「ソフトウェア工学」特集 編集委員
• ソフトウェア工学の基礎ワークショップ FOSE 2023 プログラム委員
• The 10th International Conference on Cloud Computing and Services Science (CLOSER) 2023 プログラム委員
• 第9回 実践的IT教育シンポジウム rePiT2023プログラム委員
• 情報処理学会 論文誌「ソフトウェア工学」特集 編集委員
• ソフトウェア工学の基礎ワークショップ FOSE 2022 プログラム委員
• The 9th International Conference on Cloud Computing and Services Science (CLOSER) 2022
• 学術雑誌関係（編集委員など） 情報処理学会論文誌「数理モデル化と応用」
• ソフトウェア工学の基礎ワークショップ FOSE 2021
• The 9th International Conference on Cloud Computing and Services Science (CLOSER) 2021
• 第6回 実践的IT教育シンポジウム rePiT2021
• ソフトウェア工学の基礎ワークショップ FOSE 2020
• The 9th International Conference on Cloud Computing and Services Science (CLOSER) 2020
• 第6回 実践的IT教育シンポジウム rePiT2020
• ソフトウェア工学の基礎ワークショップ FOSE 2019
• ソフトウェアエンジニアリングシンポジウム 2019
• The 8th International Conference on Cloud Computing and Services Science (CLOSER) 2019
• 第5回 実践的IT教育シンポジウム rePiT2019
• ソフトウェア工学の基礎ワークショップ FOSE 2018
• ソフトウェアエンジニアリングシンポジウム 2018
• 日本ソフトウェア科学会第35回大会
• The 8th International Conference on Cloud Computing and Services Science (CLOSER) 2018
• ソフトウェア工学の基礎ワークショップ FOSE 2017
• ソフトウェアエンジニアリングシンポジウム 2017
• The 7th International Conference on Cloud Computing and Services Science (CLOSER) 2017
• ソフトウェア工学の基礎ワークショップ FOSE 2016
• The 1st International Workshop for Models and Modelling on Security and Privacy (WM2SP-16)
• ソフトウェアエンジニアリングシンポジウム 2016
• The 6th International Conference on Cloud Computing and Services Science (CLOSER) 2016
• The 30th Annual ACM Symposium on Applied Computing (SAC '16) Special Track on Coordination Models, Languages and Architectures
• ソフトウェア工学の基礎ワークショップ FOSE 2015
• ソフトウェアエンジニアリングシンポジウム 2015
• The 5th International Conference on Cloud Computing and Services Science (CLOSER) 2015
• The 30th Annual ACM Symposium on Applied Computing (SAC '15) Special Track on Coordination Models, Languages and Architectures
• ソフトウェア工学の基礎ワークショップ FOSE 2014
• ソフトウェアエンジニアリングシンポジウム 2014
• The 4th International Conference on Cloud Computing and Services Science (CLOSER) 2014
• The 29th Annual ACM Symposium on Applied Computing (SAC '14) Special Track on Coordination Models, Languages and Architectures
• ソフトウェア工学の基礎ワークショップ FOSE 2013
• ソフトウェアエンジニアリングシンポジウム 2013
• The 3rd International Conference on Cloud Computing and Services Science (CLOSER) 2013
• The 28th Annual ACM Symposium on Applied Computing (SAC '13) Special Track on Coordination Models, Languages and Architectures
• ソフトウェア工学の基礎ワークショップ FOSE 2012
• ソフトウェアエンジニアリングシンポジウム 2012
• The 2nd International Conference on Cloud Computing and Services Science (CLOSER) 2012
• The 27th Annual ACM Symposium on Applied Computing (SAC '12) Special Track on Coordination Models, Languages and Architectures
• ソフトウェア工学の基礎ワークショップ FOSE 2011
• ソフトウェアエンジニアリングシンポジウム 2011
• The 1st International Conference on Cloud Computing and Services Science (CLOSER) 2011
• The 26th Annual ACM Symposium on Applied Computing (SAC '11) Special Track on Coordination Models, Languages and Architectures
• ソフトウェア工学の基礎ワークショップ FOSE 2010
• ソフトウェアエンジニアリングシンポジウム 2010
• The 25th Annual ACM Symposium on Applied Computing (SAC '10) Special Track on Coordination Models, Languages and Architectures
• The 16th Asia-Pacific Software Engineering Conference (APSEC'09)
• ソフトウェア工学の基礎ワークショップ FOSE 2009
• The 3nd Workshop on Software Patterns and Quality (SPAQu'09)
• ソフトウェアエンジニアリングシンポジウム 2009
• 第8回情報科学技術フォーラム (FIT '09)
• 第164回ソフトウェア工学研究発表会 合同研究発表会
• The 24th Annual ACM Symposium on Applied Computing (SAC '09) Special Track on Coordination Models, Languages and Architectures
• The 15th Asia-Pacific Software Engineering Conference (APSEC'08)
• The 2008 International Conference On Embedded and Ubiquitous Computing (EUC 2008)
• The 2nd Workshop on Software Patterns and Quality (SPAQu'08)
• The 23rd Annual ACM Symposium on Applied Computing (SAC '08) Special Track on Coordination Models, Languages and Architectures
• ウインターワークショップ 2008 ・イン・道後「ディペンダブルソフトウェア」 セッション
• The 1st Workshop on Software Patterns and Quality (SPAQu'07)
• The 14th Asia-Pacific Software Engineering Conference (APSEC'07)
• ソフトウェアエンジニアリングシンポジウム 2007
• The 22nd Annual ACM Symposium on Applied Computing (SAC '07) Special Track on Coordination Models, Languages and Architectures
• The 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006)
• The 1st Japanese Workshop on Requirements Engineering Tools (JWRET)
• The 2004 IEEE International Conference on Web Services (ICWS 2004)