MF Researcher Database

研究者データベース

詳細

香川考司 (カガワ　コウジ)

    　　　　
    創造工学部　創造工学科　創発科学研究科　創発科学専攻　
  • 准教授
Last Updated :2026/06/24

研究者情報

学位

  • 博士（理学）（京都大学）

J-Global ID

プロフィール

  • 香川大学 創造工学部 情報システム・セキュリティコース 担当

    プログラミング言語処理系、プログラミング学習支援システム、数学学習支援システムなどに興味を持つ

研究キーワード

  • プログラミング言語   Programming Languages   

研究分野

  • 情報通信 / ソフトウェア

経歴

  • 2006年 - 2007年  香川大学工学部, 助教授Faculty of Engineering
  • 2006年 - 2007年  Kagawa University, Faculty of Engineering, Associate Professor
  • 2007年  - 香川大学工学部, 准教授
  • 2007年  - Kagawa University, Faculty of Engineering, Associate Professor
  • 1997年 - 2006年  香川大学工学部, 講師Faculty of Engineering
  • 1997年 - 2006年  Kagawa University, Faculty of Engineering, Lecturer
  • 1996年 - 1997年  香川大学経済学部, 講師Faculty of Economics
  • 1996年 - 1997年  Kagawa University, Faculty of Economics, Lecturer
  • 1997年  香川大学工学部創設準備室, 講師Faculty of Engineering
  • 1997年  Kagawa University, Founding Offce of New Engineering Faculty, Lecturer

学歴

  •         - 1996年   京都大学   Graduate School, Division of Natural Science
  •         - 1996年   京都大学   理学研究科
  •         - 1993年   京都大学   Graduate School, Division of Natural Science
  •         - 1993年   京都大学   理学研究科
  •         - 1991年   京都大学   Faculty of Science
  •         - 1991年   京都大学   理学部

所属学協会

  • Information and Communication Engineers   The Institute of Electronics   情報処理学会   教育システム情報学会   Association for Computing Machinery   日本ソフトウェア科学会   Japan Society for Information and Systems in Education   Association for Computing Machinery   Japan Society for Software Science and Technology   

研究活動情報

論文

  • T. Oyama; K. Kagawa
    2024 16th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI) 186 - 189 2024年07月 [査読有り]
  • K. Kagawa
    EDULEARN24 Proceedings 5133 - 5144 2024年07月 [査読有り]
  • Proposal and Development of Web-based Programming Educational System with Error Analysis and Visualization
    Shunsuke Doi; Yoshiro Imai; Koji Kagawa; Asako Ohno; Primož Podržaj; Tetsuro Hattori
    IEEJ (the Institute of Electrical Engineers of Japan) Transactions on Electronics, Information and Systems 139 11 1234 - 1240 2019年11月 [査読有り]
  • Development of a Web-based Support System for Object Oriented Programming Exercises with Graphics Programming
    Yuya Asano; Koji Kagawa
    18th International Conference on Information Technology Based Higher Education and Training 2019年09月 [査読有り]
  • Construction of a Learning Environment for Multiple Programming Languages using Blockly
    Yuya Sano; Koji Kagawa
    The Fifth International Conference on Electronics and Software Science (ICESS2019) 18 - 23 2019年08月 [査読有り]
  • A Proposal Approach for Small Starting of International Collaboration through International Internship Program
    Yoshiro Imai; Koji Kagawa; Yukako Uemura; Yuri Machihara; Yoshiro Ikeura; Yoshika Nakayama
    Asia-Pacific Conference on Engineering and Natural Sciences 257-267  2019年03月 [査読有り]
  • Hattori Tetsuo; Imai Yoshiro; Kagawa Koji; Horikawa Yo; Kawakami* Yusuke; Kawano Hiromichi
    Proceedings of International Conference on Artificial Life and Robotics 24 570 - 573 2019年01月
  • Design of a Programming Environment for Non-Procedural Programming Languages using Blockly
    香川 考司
    The International Journal of E-Learning and Educational Technologies in the Digital Media (IJEETDM) 5 3 93 - 101 2019年 [査読有り]
  • Web-based Learning Support System for Recursive Decent Parsing using Haste
    Kenta Ohashi; Koji Kagawa
    The Fourth International Conference on Electronics and Software Science (ICESS2018) 20 - 24 2018年11月 [査読有り]
  • Development of a Web-based Learning Support System for Operator-Precedence Parsers
    Toshiki Kubo; Koji Kagawa
    The Fourth International Conference on Electronics and Software Science (ICESS2018) 25 - 28 2018年11月 [査読有り]
  • Application and Evaluation of Visual CPU Simulator to Support Information Security Education
    Yoshiro Imai; Shinya Hara; Shunsuke Doi; Koji Kagawa; Kazuaki Ando; Tetsuo Hattori
    電気学会論文誌Ｃ（電子・情報・システム部門誌） 138 9 1116 - 1122 2018年09月 [査読有り]
  • Comparison of Several Approaches to Provide Back Ends for Web-based Programming Environments
    香川 考司
    Workshop on Computation: Theory and Practice (WCTP 2018) 2018年09月 [査読有り]
  • A Web-based Learning Support System for the C Language with Automatic Generation of Blockly Programs
    Yuto Yamagata; Koji Kagawa
    EdMedia + Innovate Learning 2018 2018年06月 [査読有り]
  • A Proposed Model for Introductory Education to Combine Visual/Graphical and IoT Programming in Japan
    Yoshiro Imai; Koji Kagawa; Michio Honda; Eiichi Miyazaki; Yoichiro Itose; Akikuni Oowada
    Proc. of International Conference on INTERNET STUDIES (NETs2018) 1820 - 1827  2018年04月 [査読有り]
  • Improvement of e-Learning System for Network Study toward International Student
    Yoshiro Imai; Lorkan Sauvion; Valentin Messias; Koji Kagawa; Shunsuke Doi; Shinya Hara; Kazuaki Ando; Tetsuro Hattori
    IEEJ Transaction on Electronics, Information and Systems 138 11 1444 - 1450 2018年 [査読有り]
  • Redesign of WappenLite: a Localhost Web Application Framework for Web-based Programming Environments
    KAGAWA Koji
    Workshop on Computation: Theory and Practice (WCTP 2017) 2017年09月 [査読有り]
  • WappenLiteDocker ? A Interface Program between a Web-Browser and a Docker Engine
    Koji KAGAWA; Haruhiko Nishina; Yoshiro IMAI
    The Third International Conference on Electronics and Software Science (ICESS2017) 152-155  2017年07月 [査読有り]
  • Development of Document Transferring and Archiving Service with Sentiment Analysis-based Preprocessing Facility
    Shunsuke Doi; 今井慈郎; 安藤一秋; 香川考司; 八重樫理人; 最所圭三; 髙橋亨輔; 井面仁志; 後藤田中; 林敏浩; 富永浩之; 高木智彦
    Proceedings of the Third International Conference on Electronics and Software Science (ICESS2017) 160-165  2017年07月 [査読有り]
  • Multilingual Improvement of an e-Learning System for Packet Routing Visualization
    Lorkan Sauvion; Valentin Messias; Chiaki Kawanishi; 今井慈郎; 香川考司; 安藤一秋; 八重樫理人; 後藤田中; 髙橋亨輔; 井面仁志; 高木智彦; 富永浩之; 林敏浩
    Proceedings of the Third International Conference on Electronics and Software Science (ICESS2017) 13-18  2017年07月 [査読有り]
  • Design, Implementation and Trial Evaluation of CPU Simulator to Visualize Register-transfer level Micro-Operation
    Shinya Hara; 今井慈郎; 香川考司; 安藤一秋; 八重樫理人; 最所圭三; 髙橋亨輔; 井面仁志; 後藤田中; 林敏浩; 富永浩之; 高木智彦
    Proceedings of the Third International Conference on Electronics and Software Science (ICESS2017) 7-12  2017年07月 [査読有り]
  • Kyohei Nishiyama; Koji Kagawa; Yoshiro Imai
    IEEJ Transactions on Electronics, Information and Systems 137 12 1641 - 1648 2017年 [査読有り]
  • Yoshiro Imai; Kazuki Higashikakiuchi; Akira Nakayama; Koji Kagawa; Kazuaki Ando; Tetsuo Hattori
    IEEJ Transactions on Electronics, Information and Systems 137 12 1633 - 1640 2017年 [査読有り]
  • Data Mining by Smartphone and Big Data Analysis for Driver's Subconscious Behavior ? An Attempt to Recognize Driver's Characteristics and Realize Safe Driving Techniques
    Hideto Kubota; Yoshiro Imai; Kazuaki Ando; Koji Kagawa; Shin'ichi Masuda; Tetsuo Hattori
    International Journal of E-Learning and Educational Technologies in the Digital Media (IJEETDM) 2 4 148-157  2017年01月 [査読有り]
  • Quantitative Evaluation of Flash-based Educational Visualizing Simulator
    Yoshiro Imai; Kei Takeichi; Kazuaki Ando; Koji Kagawa; Yusuke Kawakami; Tetsuo Hattori
    Journal of Robotics, Networking and Artificial Life 3 3 163-167  2016年12月 [査読有り]
  • Design and Implementation of a Scheduling Algorithms Visualizer using JavaScript
    Kyohei Nishiyama; Koji Kagawa; Yoshiro Imai
    Proc. of The Second International Conference on Electronics and Software Science 175-181  2016年11月 [査読有り]
  • A Study of Big Data Analysis with Electric Power Demand and Some Kinds of Weather Information
    Shinya Hara; Yoshiro Imai; Koji Kagawa; Kazuaki Ando; Tetsuo Hattori
    Proc. of The Second International Conference on Electronics and Software Science 170-174  2016年11月 [査読有り]
  • Calculation and Comparison of Sentimental Values for Tweeting Message during Multiple Years
    Shun-ishi Doi; Yoshiro Imai; Koji Kagawa; Kazuaki Ando; Tetsuo Hattori
    Proc. of The Second International Conference on Electronics and Software Science 165-169  2016年11月 [査読有り]
  • Design, Implementation and Trial Evaluation of a Visual Computer Simulator by JavaScript
    Kazuki Higashikakiuchi; Yoshiro Imai; Koji Kagawa; Kazuaki Ando; Tetsuo Hattori
    Proc. of The Second International Conference on Electronics and Software Science 158-164  2016年11月 [査読有り]
  • A Scheduling Algorithms Visualizer using JavaScript
    Kyohei Nishiyama; Koji Kagawa; Yoshiro Imai
    World Conference on Educational Media & Technology (ED-Media 2016) 2016年06月 [査読有り]
  • A Program Visualization System using 3D Still Graphics
    Takahiro Suetomo; Koji Kagawa
    14th International Conference on Information Technology Based Higher Education and Training (ITHET 2015) 2015年06月 [査読有り]
  • DEVELOPMENT OF A VISUAL DEBUGGER FOR C IMPLEMENTED IN JAVASCRIPT
    Akihiko Nagae; Koji Kagawa
    Theory and Practice of Computation 208 - 217 2015年 [査読有り]
  • A Web-based Interactive Scala Environment for Grading Programming Courses
    KAGAWA Koji
    World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-Media 2014) 2014年06月 [査読有り]
  • Development of a Visual Debugger for C That Runs on JavaScript
    Akihiko Nagae; Koji Kagawa
    Workshop on Computation: Theory and Practice (WCTP 2013) 2013年09月 [査読有り]
  • Design of a Scala-based Monitoring Server for Web-based Programming Environments
    KAGAWA Koji
    Workshop on Computation: Theory and Practice (WCTP 2012) 2012年09月 [査読有り]
  • Gensuo Han; Koji Kagawa
    2012 International Conference on Information Technology Based Higher Education and Training, ITHET 2012 2012年 [査読有り]
  • Koji Kagawa
    2010 9th International Conference on Information Technology Based Higher Education and Training, ITHET 2010 21 - 26 2010年 [査読有り]
  • Zhe Chen; Koji Kagawa
    2010 IEEE International Conference on Information and Automation, ICIA 2010 840 - 845 2010年 [査読有り]
  • WAPPEN: A Web-based Application Framework for Programming and Its Bison/Flex Plug-in
    Koji Kagawa
    ITICSE 2009: PROCEEDING OF THE 2009 ACM SIGSE ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION 383 - 383 2009年 [査読有り]
  • A Web-based Application Framework for Programming and Its Practice in Classes
    香川考司
    World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-Media 2009) 3395—3403  2009年 [査読有り]
  • A Framework for Web-based Applications for Learning Programming using Eclipse RCP
    Yuusuke Mimoto; Koji Kagawa
    World Conference on Educational Multimedia, Hypermedia & Telecommunications 2253 - 2258 2008年 [査読有り]
  • A Web-based Educational Environment for Learning the C Programming Language using Scalable Vector Graphics
    Yasuhiro Takai; Koji Kagawa
    World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-Media2007) 2007年 [査読有り]
  • An X3D generator plug-in for Eclipse in a Web-based Educational System for Programming
    Yuji Doi; Koji Kagawa
    World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-Media 2006) 2523 - 2528 2006年 [査読有り]
  • Polymorphic Variants in Haskell
    Koji Kagawa
    Haskell Workshop 2006 37 - 47 2006年 [査読有り]
  • Creating Animations in SVG format for Visualizing Program Execution
    Koji Kagawa
    International Conference on Computers in Education 2006 551 - 554 2006年 [査読有り]
  • An Eclipse Plug-in for SVG Animations in an Educational System for Programming
    Naoki Yanagisawa; Kenichi Takai; Koji Kagawa; Hiroyuki Tarumi
    TOWARDS SUSTAINABLE AND SCALABLE EDUCATIONAL INNOVATIONS INFORMED BY LEARNING SCIENCES 133 938 - 941 2005年 [査読有り]
  • K Takai; K Kagawa; H Tarumi
    Proceedings of the 2005 International Conference on Active Media Technology (AMT 2005) 173 - 176 2005年 [査読有り]
  • Generating Teaching Materials with Graphical Mini-languages for Multiple Programing Paradigms
    Koji Kagawa
    World Conference on Educational Multimedia, Hypermedia & Telecommunications 2005年 [査読有り]
  • Implementing mini-languages with the MLSwf library
    K Kagawa
    ED-MEDIA 2004: WORLD CONFERENCE ON EDUCATIONAL MULTIMEDIA, HYPERMEDIA & TELECOMMUNICATIONS, VOLS. 1-7 875 - 880 2004年 [査読有り]
  • SpaceTagシステムの評価実験
    佐々木一郎; 香川考司; 垂水 浩幸; SASAKI Ichiro; KAGAWA Koji; TARUMI Hiroyuki
    情報処理学会論文誌 45 1 164-167  2004年 [査読有り]
  • MLSwfライブラリ
    香川 考司
    The 5th JSSST Workshop on Programming and Prgramming Languages 41 - 55 2003年03月 [査読有り]
  • Generating Teaching Materials in a Graphical Format
    Koji Kagawa
    Advanced Learning Technologies and Applications 19 - 24 2003年 [査読有り]
  • A Library for Generating Graphical Materials
    Koji Kagawa
    he Joint Workshop of Cognition and Learning Through Media-Communication for Advanced e-Learning, 19 - 24 2003年 [査読有り]
  • “Shrinkable”な多相ヴァリアント
    香川 考司
    41 - 55 2002年03月 [査読有り]
  • Dynamic Inheritance for a Prototype-based Language
    Koji Kagawa
    Multiparadigm Programming with Object-Oriented Languages 109 - 120 2002年 [査読有り]
  • K Kagawa
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS 2024 264 - 279 2001年 [査読有り]
  • ヴァリアントの継承について,
    香川 考司
    ソフトウェア工学の基礎Ⅶ日本ソフトウェア科学会FOSE 2000 85 - 92 2000年 [査読有り]
  • より“シンプルな”領域・エフェクトシステムの試み
    香川 考司
    First JSSST Workshop on Programming and Prgramming Languages 111 - 120 1999年03月 [査読有り]
  • Simplification of Subtyping Constraints and Its Application for Monadic Programming
    香川 考司
    TTP Kyoto '97 1997年09月
  • Compositional references for stateful functional programming
    K Kagawa
    ACM SIGPLAN NOTICES 32 8 217 - 226 1997年08月 [査読有り]
  • Type Inference for the Mixture of Matching and Implicit Subtyping,
    Koji Kagawa
    Second Fuji International Workshop on Functional and Logic Programming 286 - 300 1996年 [査読有り]
  • Mutable Data Structures and Composable References in a Pure Functional Language
    香川 考司
    State in Programming Languages, 79 - 94 1995年01月 [査読有り]
  • Monad Morphismによる局所的な状態の表現
    香川 考司
    コンピュータソフトウェア 11 5 21 - 30 1994年09月 [査読有り]
  • Monadic Styleでの ML風の refオペレータに対する多重定義を用いた 型付けについて
    香川 考司
    関数プログラミングII JSSST'94 レクチャーノート /ソフトウェア学 10 95 - 110 1994年 [査読有り]

講演・口頭発表等

  • プログラミング演習における Electron を用いた進捗把握による学習支援  [通常講演]
    大山 哲平; 香川 考司
    教育システム情報学会第47回全国大会 2022年08月 口頭発表（一般）
  • 学習者が設定したBNFに対応するコンパイラのコンパイル処理過程を可視化するシステムの提案  [通常講演]
    平西 宏彰; 香川 考司
    教育システム情報学会第46回全国大会 2021年09月 口頭発表（一般）
  • Haskellの構文解析結果を用いた拡張性を考慮した学習支援システムの開発
    藤井 陸; 香川 考司
    教育システム情報学会第46回全国大会 2021年09月 口頭発表（一般）
  • 段階的詳細化を用いた個別問題の提供とフィードバックを行うプログラミング支援システムの提案  [通常講演]
    山下 賢治; 香川 考司
    教育システム情報学会第46回全国大会 2021年09月 口頭発表（一般）
  • オブジェクト指向プログラミング学習のためのグラフィックスを題材としたWeb演習システムの実装  [通常講演]
    朝野 有也; 香川 考司
    教育システム情報学会（JSiSE） 2019年度 第3回研究会 2019年09月 口頭発表（一般）
  • 演算子順位法に対するWebベース学習支援システムの開発  [通常講演]
    久保 俊貴; 香川 考司
    教育システム情報学会（JSiSE） 2018年度 第4回研究会 2018年10月 口頭発表（一般）
  • 構文解析を用いた C言語指導コメント支援システムの構築  [通常講演]
    木村 光星; 香川 考司
    教育システム情報学会（JSiSE） 2018年度 第4回研究会 2018年10月 口頭発表（一般）
  • Blockly を用いた多言語プログラミング学習支援環境の構築  [通常講演]
    佐野 裕也; 香川 考司
    教育システム情報学会（JSiSE） 2018年度 第4回研究会 2018年10月 口頭発表（一般）
  • Haskellによるパーサーを使用したC言語用Blocklyプログラム生成の自動化  [通常講演]
    山形 悠人; 香川 考司
    情報処理学会 コンピュータと教育研究会 142回研究発表会 2017年12月 口頭発表（一般）
  • Arduino と Blockly による IoT プログラミングの提案  [通常講演]
    香川 考司
    【C】平成29年電気学会電子・情報・システム部門大会 2017年09月 口頭発表（一般）
  • 再帰下降構文解析に対するWebベース学習支援システムの開発  [通常講演]
    大橋 健太; 香川 考司
    【C】平成29年電気学会電子・情報・システム部門大会 2017年09月 口頭発表（一般）
  • Dockerを用いたプログラム実行環境の開発  [通常講演]
    仁科 陽彦; 香川 考司
    【C】平成29年電気学会電子・情報・システム部門大会 2017年09月 口頭発表（一般）
  • Webベースグラフィカルプログラミングエディタを用いたC言語学習支援環境への問題提示機能の実装  [通常講演]
    山形 悠人; 香川 考司
    教育システム情報学会第41回全国大会 2016年08月 ポスター発表
  • E-Learning system for scheduling algorithms visualization in JavaScript  [通常講演]
    Kyohei Nishiyama; Koji Kagawa; Yoshiro Imai
    第６回香川大学・チェンマイ大学合同シンポジウム2016 2016年08月
  • C-Helperを用いたWebベースのC言語開発環境の構築  [通常講演]
    島川 大輝; 香川 考司
    教育システム情報学会第40回全国大会 2015年09月 口頭発表（一般）
  • EmscriptenとD3.jsを用いたC言語ポインタのWebベース動的可視化システムの開発  [通常講演]
    西山 恭平; 香川 考司
    教育システム情報学会第40回全国大会 2015年09月 口頭発表（一般）
  • WebGLとジェスチャー認識デバイスを用いたプログラミング例題提示システムの開発  [通常講演]
    森田 昌樹; 香川 考司
    教育システム情報学会第39回全国大会 2014年09月 口頭発表（一般）
  • Emscripten を用いた Web ベースパーサーとエディターの開発  [通常講演]
    鳥原 悠平; 香川 考司
    教育システム情報学会第39回全国大会 2014年09月 口頭発表（一般）
  • ツリー表示を活用した Ajax ベースプログラミングエディタの構築  [通常講演]
    藤沢 尚樹; 香川 考司
    教育システム情報学会第39回全国大会 2014年09月 口頭発表（一般）
  • Development of a Web -based editor with a parser using Emscripten  [通常講演]
    教育システム情報学会第39回全国大会 2014年
  • Development of an Ajax-Based Programming Editor Utilizing a Tree View  [通常講演]
    教育システム情報学会第39回全国大会 2014年
  • Development of a Program Visualization System using WebGL and Motion Sensing Input Devices  [通常講演]
    教育システム情報学会第39回全国大会 2014年
  • WebGL を用いたプログラムの動的振舞いの可視化システムの構築  [通常講演]
    末友 貴大; 香川 考司
    教育システム情報学会第38回全国大会 2013年09月 口頭発表（一般）
  • Web ベースグラフィカルプログラミングエディタを用いた Flex プログラミング環境の開発  [通常講演]
    尾崎 陽一; 香川 考司
    教育システム情報学会第38回全国大会 2013年09月 口頭発表（一般）
  • JavaServlet学習のためのWebベース統合開発システムの構築  [通常講演]
    平川 裕弥; 香川 考司
    教育システム情報学会 2012年度第4回研究会 2012年11月 口頭発表（一般）
  • JavaScript上で動作するC言語用視覚的デバッガの開発  [通常講演]
    長江 明彦; 香川 考司
    教育システム情報学会第37回全国大会 2012年08月 口頭発表（一般）
  • Web上の学習支援環境を用いたprintf, scanf関数の内部動作の可視化  [通常講演]
    吉崎 翔; 香川 考司
    教育システム情報学会第37回全国大会 2012年08月 口頭発表（一般）
  • JFLAPを応用した初心者向けの学習支援ツール  [通常講演]
    白神 佑典; 香川 考司
    教育システム情報学会第37回全国大会 2012年08月 口頭発表（一般）
  • Web3Dを用いたプログラムの関数呼び出し可視化システムの構築  [通常講演]
    韓 根鎖; 香川 考司
    教育システム情報学会研究会 2012年03月 口頭発表（一般）
  • バージョン管理システムGitのWebベースインタフェースの開発  [通常講演]
    横山 裕一; 香川 考司
    教育システム情報学会研究会 2012年01月 口頭発表（一般）
  • HTML5 を用いたプログラミング学習環境におけるエラーメッセージ収集システムの構築  [通常講演]
    池田 秀聴; 香川 考司
    教育システム情報学会研究会 2011年11月 口頭発表（一般）
  • Haskell に対するWeb ベースのグラフィカルな学習支援環境  [通常講演]
    白岩 真一; 香川 考司
    教育システム情報学会第36回全国大会(JSiSE2011) 2011年09月 口頭発表（一般）
  • トレーサ機能を持つ Web ベース学習支援システム  [通常講演]
    堀井 達也; 香川 考司
    教育システム情報学会第36回全国大会(JSiSE2011) 2011年09月 口頭発表（一般）
  • HTML5を用いたリアルタイム性のあるWebベースの教育支援システムの開発  [通常講演]
    桒島 聖大; 香川 考司
    情報処理学会第108回コンピュータと教育研究発表会 2011年02月 口頭発表（一般）
  • Adobe Flexによるグラフィカルなプログラミング学習支援環境  [通常講演]
    空田 卓也; 香川 考司
    教育システム情報学会研究会 2010年09月 口頭発表（一般）
  • AMFを利用したプログラミング学習支援システム  [通常講演]
    中山 和也; 香川 考司
    教育システム情報学会研究会 2010年09月 口頭発表（一般）
  • Adobe Alchemy を用いたWeb 上の言語処理系  [通常講演]
    東山 裕徳; 香川 考司
    情報処理学会第103回コンピュータと教育研究発表会 2010年02月 口頭発表（一般）
  • プログラミング学習に対応したサーバサイドファイル管理システムの設計  [通常講演]
    三嶋 宏資; 香川 考司
    教育システム情報学会第34回全国大会 2009年08月 口頭発表（一般）
  • Adobe Flexによるプログラミング学習支援環境の構想  [通常講演]
    陳 哲; 香川 考司
    教育システム情報学会第34回全国大会 2009年08月 口頭発表（一般）
  • Graphvizを用いたプログラミング学習支援システム  [通常講演]
    松井 一貴; 香川 考司
    教育システム情報学会第34回全国大会 2009年08月 口頭発表（一般）
  • WAPPEN: a web-based application framework for programming and its bison/flex plug-in  [通常講演]
    Koji Kagawa
    ITiCSE '09: Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education 2009年07月 ポスター発表
  • Papervision3Dによるプログラム動作可視化システム  [通常講演]
    近藤 貴司; 香川 考司
    ゲーム学会「ゲームと教育」研究部会第２回研究会 2009年03月 口頭発表（一般）
  • WAPPEN: A Web-based Application Framework for Learning Programming  [通常講演]
    Koji Kagawa
    The 40th ACM Technical Symposium on Computer Science Education (SIGCSE 2009) 2009年03月 ポスター発表
  • 学習者に合わせて構文レベルを選択できるプログラミング学習支援環境の提案  [通常講演]
    山下 潔; 香川 考司
    教育システム情報学会第33回全国大会(JSiSE2008) 2008年09月 口頭発表（一般）
  • Ajaxによるプログラミング学習用エディタの実装  [通常講演]
    川ノ上 真進; 香川 考司
    教育システム情報学会第33回全国大会(JSiSE2008) 2008年09月 口頭発表（一般）
  • SVGを用いた Webベースの C言語学習支援環境の設計  [通常講演]
    高井 康浩; 香川 考司
    教育システム情報学会第32回全国大会 2007年09月 口頭発表（一般）
  • Eclipse RCPによるプログラミング学習支援環境の設計  [通常講演]
    三本 優介; 香川 考司
    教育システム情報学会第32回全国大会 2007年09月 口頭発表（一般）
  • Webベース Bison/Flexプログラミング学習支援システムの開発  [通常講演]
    佐藤 大輔; 香川 考司
    教育システム情報学会第32回全国大会 2007年09月 口頭発表（一般）
  • EclipseRCPとサーバサイド実行を利用したプログラミング学習支援環境の構想  [通常講演]
    三本 優介; 香川 考司
    教育システム情報学会第31回全国大会 2006年08月 口頭発表（一般）
  • プログラミング学習支援を目的とした3Dアニメーション作成環境プラグインの開発  [通常講演]
    土井 裕司; 香川 考司
    教育システム情報学会第31回全国大会 2006年08月 口頭発表（一般）
  • セキュアOSを用いたWebベースのC言語学習支援環境の構想  [通常講演]
    高井 康浩; 香川 考司
    教育システム情報学会第31回全国大会 2006年08月 口頭発表（一般）
  • Haskellへの多相バリアントの導入について  [通常講演]
    香川 考司
    日本ソフトウェア科学会全国大会 2005年09月 口頭発表（一般）
  • ゲーム対戦によるWebベースプログラミング学習支援環境の構想  [通常講演]
    久保 侯明; 香川 考司
    教育システム情報学会第30回全国大会 2005年08月 口頭発表（一般）
  • 3Dアニメーション作成によるプログラミング学習支援を目指したEclipseプラグインの設計  [通常講演]
    土井 裕司; 香川 考司
    教育システム情報学会第30回全国大会 2005年08月 口頭発表（一般）
  • 掲示板機能を持つSVGを用いたプログラミング学習システム  [通常講演]
    高井 健一; 香川 考司; 垂水 浩幸
    教育システム情報学会第29回全国大会 2004年08月 口頭発表（一般）
  • JavaSWF2を用いたWeb上でのプログラミング教育支援環境  [通常講演]
    久保 侯明; 香川 考司; 垂水 浩幸
    教育システム情報学会第29回全国大会 2004年08月 口頭発表（一般）
  • Webを用いたプログラミング学習ツールの作成  [通常講演]
    高井 健一; 香川 考司; 垂水 浩幸
    信学技報 Vol.103 No.697 2004年03月 口頭発表（一般）
  • 学習意欲向上を目指したウェブベースタイピング練習ゲーム  [通常講演]
    香川 考司年岡; 裕一; 櫻 裕司; 香川 考司; 垂水 浩幸
    ゲーム学会第2回全国大会論文集 2003年12月 口頭発表（一般）
  • プラガブルなウェブベースXML共同編集支援フレームワーク  [通常講演]
    櫻 裕司; 年岡 裕一; 香川 考司; 垂水 浩幸
    情報処理学会第49回GN研究会 2003-GN-49(23) 2003年10月 口頭発表（一般）
  • SWFを用いたWeb上での型推論の可視化  [通常講演]
    伊藤 純; 香川 考司; 垂水 浩幸
    日本ソフトウェア科学会第20回大会 2003年09月 口頭発表（一般）
  • SVGを用いたWebでのプログラム学習  [通常講演]
    高井 健一; 香川 考司; 垂水 浩幸
    教育システム情報学会第28回全国大会 2003年08月 口頭発表（一般）
  • ファイル部分ロックによるウェブベースXHTML共同編集システム  [通常講演]
    櫻 裕司; 香川 考司; 垂水 浩幸
    情報処理学会第45回GN研究会 2002年10月 口頭発表（一般）
  • Java3Dによる複数人参加型3Dオブジェクト作成システム  [通常講演]
    年岡 裕一; 香川 考司; 垂水 浩幸
    情報処理学会第45回GN研究会 2003-GN-8(2002) 2002年10月 口頭発表（一般）

MISC

  • Adobe Alchemyを用いたWeb上の言語処理系
    東山 裕徳; 香川 考司 研究報告コンピュータと教育（CE） 2010 (5) 1 -4 2010年02月
  • Web を用いたプログラミング学習ツールの作成
    高井 健一; 香川 考司; 垂水 浩幸 電子情報通信学会技術研究報告. ET, 教育工学 103 (697) 173 -178 2004年02月
  • プラガブルなウェブベースXML共同編集支援フレームワーク
    櫻 裕司; 年岡裕一; 香川 考司; 垂水 浩幸 情報処理学会研究報告グループウェアとネットワークサービス（GN） 2003 (106) 133 -138 2003年10月
  • SpaceTagシステムの評価実験
    佐々木 一郎; 合田耕治; 谷 英和; 香川 考司; 垂水 浩幸 情報処理学会研究報告グループウェアとネットワークサービス（GN） 2003 (33) 25 -30 2003年03月
  • SpaceTagの3次元化を目的としたサーバサイド画像生成システム
    多田 有希; 香川 考司; 垂水 浩幸 情報処理学会研究報告グループウェアとネットワークサービス（GN） 2003 (33) 31 -36 2003年03月
  • ファイル部分ロックによるウェブベースXHTML共同編集システム
    櫻 裕司; 香川 考司; 垂水 浩幸 情報処理学会研究報告グループウェアとネットワークサービス（GN） 2002 (97) 23 -27 2002年10月
  • Java3Dによる複数人参加型3Dオブジェクト作成システム
    年岡裕一; 香川 考司; 垂水 浩幸 情報処理学会研究報告グループウェアとネットワークサービス（GN） 2002 (97) 41 -45 2002年10月
  • 学生用ノートPCを用いた基礎情報処理教育のための教育環境構築について
    富永 浩之; 香川 考司 電子情報通信学会技術研究報告. ET, 教育工学 99 (713) 199 -206 2000年03月
  • SDRを用いた無線システムにおけるソフトウェアに関する一検討
    香川 考司; 生越 重章 電子情報通信学会技術研究報告. RCS, 無線通信システム 99 (568) 127 -132 2000年01月
  • Monad Morphismによる局所的状態の表現
    香川 考司; Koji Kagawa; Research Institute for Mathematical Sciences Kyoto University. コンピュータソフトウェア = Computer software 11 (5) 377 -386 1994年09月

共同研究・競争的資金等の研究課題

  • グラフィカルなプログラミング環境の対象領域拡大の研究
    日本学術振興会：科学研究費助成事業
    研究期間 : 2023年04月 -2026年03月 
    代表者 : 香川 考司
     
    スマートデバイスのセンサーを利用する機能として、加速度センサー（devicemotion イベント）とジャイロセンサー（deviceorientation イベント）を利用して、画像（静止画）を作成するプロトタイプの実装を行い、得られる画像の質が使用目的にかなっているかを検討した。 Blockly から利用できる数学ライブラリーとして FLINT (https://github.com/flintlib/flint/) を利用したタートルグラフィックスライブラリーを実装した。FLINT は C 言語のライブラリーであるが、Emscripten (https://emscripten.org/) という WebAssembly をターゲットとする処理系でビルドすることによって Web ブラウザー上で動作するプログラムから利用できるようにした。FLINT の中の無限精度の有理数を表現できる型でカメの向きを、ca_t という代数的数を表現できる型でカメの位置を表すことによって、有理数や根号などを含む式を正確に計算することができることを確認した。また、この実装の実行速度を計測し、30°や36°などのよく使われる角度を使用する限りにおいては、線分を1000個以上含むような図形を描く場合でも実用上十分であることを確認した。 サーバー側として、プログラムのコンパイル・実行の頻度などを記録する機能、ソースコードの冗長な形などの悪形を検知する機能を実装している。これらは現在は C 言語向けに実装しているが、本研究の対象である JavaScript, Python などにも適用できる部分が多いと考えられる。
  • プログラミング学習環境のスマートデバイス対応の研究
    日本学術振興会：科学研究費助成事業
    研究期間 : 2015年04月 -2020年03月 
    代表者 : 香川 考司
     
    ビジュアルプログラミングライブラリーであるBlocklyを使用し、ネストが深くなりがちな非手続き型言語向けの、スマートデバイスに対応するためのブロックを作成した。 Webアプリケーションのプログラミング言語処理系に対するバックエンドとしてJava仮想マシンを用いるWappenLiteとDocker Engineを用いるWappenLiteDockerを実装し、サーバーで安全に実行できるように改良した。 Haskellの構文解析ライブラリーを用いて、テキスト形式のコードからブロック形式のコードを生成するアプリケーションと、学習者の提出したソースコードにコメントを追加するアプリケーションを実装した。
  • Ｗｅｂベースプログラミング学習支援環境のための柔軟なサーバー側基盤の構築
    日本学術振興会：科学研究費助成事業
    研究期間 : 2011年04月 -2015年03月 
    代表者 : 香川 考司; 富永 浩之; 白岩 真一; 堀井 達也; 池田 秀聴; 横山 裕一; 韓 根鎖; 吉崎 翔; 平川 裕弥; 長江 明彦; 白神 佑典; 尾崎 陽一; 末友 貴大; 鳥原 悠平; 藤沢 尚樹; 森田 昌樹
     
    Webベースプログラミング学習支援環境のサーバー側プログラムに、Scalaスクリプトによる柔軟なカスタマイズ機能を提供できるプラットフォームを構築することを目的として、教師用システムと学習者用システムの間のファイルシステムを利用した疎結合インターフェイスの設計と、プロトタイプによる基本機能の確認を行った。教師用サーバー側プラットフォームにScalaインタプリターとのインターフェイスを実装した。また、プログラム可視化ツール、スクリプト入力支援ツールなどのクライアント側の補助的なツールを設計・実装した。
  • プログラミング教材のWEBアプリケーション化の研究
    日本学術振興会：科学研究費助成事業
    研究期間 : 2008年 -2010年 
    代表者 : 香川 考司; 富永 浩之
     
    学習者にとって面倒なインストールや設定が不要で、教師にとってカスタマイズの余地が大きいという特徴を持つ、プログラミング学習用Webベース教材を作成するためのEclipse RCPに基づくプラットフォームWappenを構築した。多数のプログラミング言語に対して参照プラグインを作成し、画像や音声などマルチメディアを題材とするプログラミング学習のためのコンテンツを作成した。さらに、Ajaxに基づき、よりユーザーインターフェイスのカスタマイズが容易なプラットフォームWappenLiteを作成し、WebSocketへの対応、Webコンテンツの作成とドキュメントの整備を行った。
  • ヒューマンインタフェース機器を用いたマルチメディア体感型教育システムの研究
    日本学術振興会：科学研究費助成事業
    研究期間 : 2005年 -2007年 
    代表者 : 富永 浩之; 山崎 敏範; 林 敏浩; 香川 考司
     
    1.ヒューマンインタフェース機器とマルチメディア情報を用いた試験システムの開発と問題DBの構築 ドリル練習や小テストなど、様々な実施形態のオンライン試験を統一的に扱うDrilLsフレームワークを構築した。これに基づいて、記入式解答で授業支援のためのWebテストDrilLs-F、自宅学習のためのスタンドアロン版DrilLs-H、3D入力機器を用い、マルチメディア出題に対する操作式解答を実現する試験システムDrilLs-Mを開発した。テキストおよび静止画をマルチメディア素材とし、位置解答、領域解答、軌跡解答を実現した。C言語プログラミング演習の教育効果を高めるため、ソースコードやフローチャートなどの図表を提示する問題を構築し、実際の授業で活用した。タブレットPC上での利用を想定し、中学高校向けの理科や社会のマルチメディア問題を構築した。 2.VR教育システムの開発環境の整備と力学実験シミュレーション教材への応用 立体視と3D入力機器を利用するVRシミュレーション教材の実行環境Preludeを改良した。また、Java3D上の教材作成支援ライブラリInterludeを開発した。Preludeは、3D入力機器を統一的に制御するJava言語のAPIである。これらの機器を前提とし、物理実験のVRシミュレーションにおける3D実験操作の特性を整理してモデル化した。これに基づき、操作方法と操作対象のGUI部品を、プレゼンテーション側面のコンポーネントライブラリとして構築した。その柔軟な組合せによって、エデュテイメント性を取り入れた、教育効果の高いVR力学実験教材をデザインを行った。学習項目と教育目標に応じた設問レベルを設け、斜方投射などに関する教材を試作した。また、LEGO Mindstormsによる自律ロボットを用いた大会形式のプログラミング演習において、学習項目を構成要素としてモジュール化し、教育目的に応じた授業計画を構成するフレームワークを提案した。グループ作業を支援するWikiツールを試作した。
  • 教材用Webページ作成システムに関する研究
    日本学術振興会：科学研究費助成事業
    研究期間 : 2001年 -2002年 
    代表者 : 香川 考司
     
    平成14年度は、前年度に作成したMLSwfライブラリ(関数型言語Objective Caml上に実装されたSWF形式-Macromedia Flash^が使用するアニメーションのためのデータ形式-を出力するためのライブラリ)を拡張し、テキスト整形ソフトウェアTeXの出力形式であるDVI形式からSWF形式に変換するためのライブラリを作成した。このライブラリは文字だけではなく、tpicなどのスペシャル命令にも対応しており、グラフや木などの図形もSWF形式に変換することができる。また、ActiveDVIというTeXを用いるプレゼンテーションソフトのspecial命令を解釈し、ページのスライドイン・ワイプなどの簡単なアニメーション効果を生成できる。これにより、複雑な文字・図形のレイアウトを持つ教材を以前よりも格段に簡単に作成できるようになった。 このライブラリで作成したアニメーションは言語処理系の授業や自主セミナーなどで、構文解析や字句解析などの説明(例えばオートマトンの動作)に実際に使用した。これを利用した何人かの学生からは、自習時に理解の助けになったという意見が寄せられた。 また現在、型推論のエラーメッセージなどの結果をプログラマにわかりやすく説明するための可視化プログラムを作成しており、本研究で作成したライブラリを用いている。 また本ライブラリをObjective Caml以外にJavaScript風の言語から呼び出せるようにすることを検討しているが、そのためにShrinkable VariantとDynamic Inheritanceという概念を提唱した。現在、これらの概念の実装方法を検討している。
  • 重畳型仮想システムの実用性実証研究
    日本学術振興会：科学研究費助成事業
    研究期間 : 2001年 -2002年 
    代表者 : 垂水 浩幸; 香川 考司; 横田 裕介
     
    重畳型仮想システムとは、仮想情報を現実世界に重ね合わせてモバイルユーザ(例えば携帯電話を所持したユーザ)に提示する情報システムである。すなわち現実と仮想の融合を目指すもので、拡張現実感(Augmented Reality)や複合現実感(Mixed Reality)の一分野である。ここで敢えて「重畳」という言葉を使っているのは、単に重ねているだけという簡単なモデルを強調するためである。すなわち、現実世界の位置情報(緯度、経度)のみを基準にして仮想情報を重ね合わせるもので、他の研究例のように仮想情報の位置合わせに特殊なデバイスを使用しないことが特徴である。これにより位置の精度は落ちるが、GPSのみ使用できれば良いので、アウトドアでも現地を一切加工することなく利用でき、安価であり、利用できる端末の範囲が拡大し、普及も見込めるという特徴がある。 研究代表者は、これまでSpaceTagシステムという名称でこの重畳型仮想システムの試作をいくつか行って来たが、今回の基盤研究の目的は、システム開発よりもむしろ評価にある。重畳型仮想システムは現状ではGPSしか位置センサーとして利用できず、そのため位置精度が落ちる。よって他で研究されている拡張現実感システムとはおのずと利用分野が異なるはずである。例えば観光案内等の応用を考えているが実際にそれが「使い物になる」ことが普及の最低条件であると言える。今回の基盤研究では被験者を使った実験を行い、SpaceTagの実用性を評価した。 結論として、他の携帯電話向け情報サービスとの棲み分けをうまく行えば、新しい情報サービス市場の開拓が可能なメディアに成り得る、ということを今回の基盤研究で確信した。さらに、三次元情報の配信という新しい試みも行っているが、これについても好評価が得られており、今後の実用化展開は大いに期待できると言って良い。
  • ネットワーク指向言語Javaの効率的実装の研究
    日本学術振興会：科学研究費助成事業
    研究期間 : 1998年 -1999年 
    代表者 : 香川 考司
     
    平成10年度までの研究でMLに似た先行評価型の関数型言語に対して、オブジェクトの寿命を推論する型システムの設計を行ない、プロトタイプの実装を行なった。これはTofteとTalpinらがML-Kitに実装した領域・エフェクト推論(region effect inference)と目的は似ているが、本研究のシステムでは、プログラムが明示的にオブジェクトの寿命を指定して、その指定の正当性をシステムがチェックする。このシステムではオブジェクトの生成時の領域の指定はML-Kitのシステムよりも簡略化できるが、逆にオブジェクトの使用時の領域の指定がML-Kitのシステムより煩雑になってしまった。このため、平成11年度は、型推論時に一種のサブタイピングを導入し、オブジェクトの使用時の領域の指定をより簡略化できるように型システムを改良した。さらに型システムや型推論アルゴリズムの健全性などの性質の研究を行なった。また実用的な再帰アルゴリズムに対しては、例えばマージソートの場合、領域に関する明示的な指定を2,3箇所に挿入すれば、オブジェクトの寿命を指定することが可能であることがわかった。今後は、この領域を用いたメモリ管理方式を用いてディジタル信号処理やインタラクティブプログラムなどの実時間性を要求される分野のライブラリを構築し、この方式でのプログラミングが大規模なアプリケーションにおいて実際に可能であるかどうか等を検討する必要がある。
  • プログラミング言語の型システムに関する研究
    研究期間 : 1996年
  • Type Systems for Programming Languages
    研究期間 : 1996年
  • プログラミングの学習・教育支援に関する研究
  • Computer Science Education

委員歴

  • 2015年04月   Uninova - Instituto de Desenvolvimento de Novas Tecnologias, Boğaziçi University, Universidade nova de Lisboa, ITHET 2015 Programming Committee
  • 2013年04月 - 2014年03月   情報処理学会, 情報処理学会 PRO研究会運営委員
  • 2012年04月 - 2013年03月   情報処理学会, 情報処理学会 PRO研究会運営委員
  • 2011年04月 - 2012年03月   情報処理学会   情報処理学会 PRO研究会運営委員
  • 2011年04月 - 2011年05月   UNESCO Chair on Mechatronics, Turkey, ITHET 2011 Programing Committee
  • 2010年04月 - 2011年03月   - 情報処理学会, 情報処理学会 PRO研究会運営委員
  • 2010年02月 - 2010年03月   IEEE, The 2010 IEEE International Conference on Information and Automation, Programming Comittee

その他のリンク

researchmap


Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.