恐神 正博

J-GLOBALへ         更新日: 18/12/06 17:24
 
アバター
研究者氏名
恐神 正博
 
オソガミ マサヒロ
所属
福井工業大学
部署
環境情報学部 経営情報学科
職名
教授
学位
博士(工学)(福井工業大学)

研究分野

 
 

学歴

 
 
 - 
1995年
福井工業大学 工学研究科 電気工学
 
 
 - 
1988年
福井大学 工学部 電気工学
 

Misc

 
The Effects for Programming Learning using Actual Robots Control with Scratch
Masahiro Osogami, Kazumasa Ohkuma and Kazutomi Sugihara
Proceedings of The 7th International Conference on Knowledge and Education Technology   IC2003   2018年   [査読有り]
Motivation Effects of Using Actual Robots Controlled by the Scratch Programming Language in Introductory Programming Courses
Kazumasa Ohkuma, Masahiro Osogami, Naoki Shiori and Kazutomi Sugihara
The International Journal of Engineering Education,Vol.33巻 Num.2(A)号 (頁 575 〜 587) ,2017年   33(2(A)) 575-587   2017年   [査読有り]
Scratchを用いた実機ロボット制御を伴うプログラミング導入授業の実践
恐神正博, 大熊一正, 杉原一臣
情報処理学会論文誌 教育とコンピュータ   2(2) 76-84   2016年   [査読有り]
Development of Educational Programming Material with Actual Robots Controlled using Scratch
Masahiro Osogami, Kazumasa Ohkuma, Kazutomi Sugihara
Conference Proceeding for : International Conference on Advanced in Computer Engineering & Science(ICACES 2016)   13-23   2016年   [査読有り]
Effects in Introductory Programming Education with Actual Robots using Scratch
Masahiro Osogami, Kazumasa Ohkuma, Kazutomi Sugihara, Teruya Yamanishi and Katsuji Uosaki
Proceeding of the 3rd International Conference on Computer Supported Education (COSUE '15)   21-24   2015年   [査読有り]
Scratch を用いた実機ロボット制御とそのプログラミング教育における効果
恐神 正博,大熊 一正,四折 直紀,杉原 一臣,山西 輝也
福井工業大学研究紀要   (44) 211-218   2015年   [査読有り]
A Method to Obtain Particular Solutions using Modified Fourier Motzkin Method in P/T Petri Nets
Masahiro Osogami and Teruya Yamanishi and Katsuji Uosaki
Proceeding of NOLTA 2014   692-695   2014年   [査読有り]
情報システムセンターにおける倫理教育の取り組み
杉原一臣、大熊一正、恐神正博、池田岳史
福井工業大学研究紀要   (43) 337-346   2014年   [査読有り]
A Method for Reachability Problems of P/T Petri Nets using Algebraic Approach
Masahiro Osogami and Teruya Yamanishi and Katsuji Uosaki
Proceeding of NOLTA 2013   475-478   2013年   [査読有り]
マイクロロボット制御アルゴリズムの見える化に向けて -組込みシステムの教材として-
大熊一正, 恐神正博, 籠谷隆弘, 四折直紀, 杉原一臣, 山西輝也
福井工業大学研究紀要   (42) 610-619   2012年   [査読有り]
A Method of Input-Output Conditions for Automatic Program Generation Using Petri Nets
M.Osogami, T.Yamanishi and K.Uosaki
Proceeding of The SICE Annual Conference 2011   2415-2420   2011年   [査読有り]
M.Osogami, T.Yamanishi and K.Uosaki
Proceeding of The KES2011, in Germany, Part I, LNAI 6881   296-305   2011年   [査読有り]
Reachability Judgment in P/T Petri Nets by Approximate Algebraic Approach
Matsumoto,Osogami and Moro
Proceeding of The 9th WSEAS International Conference on SIGNAL PROCESSING, ROBOTICS and AUTOMATION, ISPRA'10   318-322   2010年   [査読有り]
P/Tペトリネットの状態方程式の非負整数解の代数的構造に関する基礎的考察
松本忠、恐神正博、茂呂征一郎
福井工業大学研究紀要   (39) 23-30   2009年   [査読有り]
On Paticular Solutions for State Equation of Autonomous Continuous Petri Nets
Matsumoto,Osogami and Moro
Proceeding of The 2008 International Symposium on Nonlinear Theory and its Applications, NOLTA'08   668-671   2008年   [査読有り]
プログラムの自動生成における入出力条件に関する一考察
恐神正博
福井工業大学研究紀要37号 (頁 273 〜 278) ,2007年   (37) 273-278   2007年   [査読有り]
How to Obtain Coeffecients for a Firing Count Vector Expanded by T-Invariants and Particular Solutions in P/T Petri Nets
Matsumoto,Moro and Osogami
Proceeding of The 2006 International Symposium on Nonlinear Theory and its Applications, NOLTA'06   407-410   2006年   [査読有り]
C/Sシステムにおける印刷処理のスループット向上について
恐神正博
福井工業大学研究紀要   (35) 247-254   2005年   [査読有り]
A Method of Automatic Program Generation and Stractured Diagram using Informal Procedure Call Sentences
Osogami
Proceeding of IASTED -SEA'99   104-108   1999年   [査読有り]
A Method of Automatic Program Designing and Soft and Code Generation using Informal Procedure Call Sentences
Osogami
Proceeding of IASTED -ASC'98   161-164   1998年   [査読有り]
プロローグを用いたプログラム合成システム
恐神正博
信学技報   SS98-11 1-8   1998年
挙動的トラップを許容する最簡ペトリネットとその構造活性条件(共著)
大野博之、恐神正博、松本忠
SICE, システム/情報合同シンポジウム'96講演論文集   -317   1996年
Relationships between Structure and Behavior of Partially Ordered Petri Nets and their Typical Sub-classes: Liveness Conditions, - Part I -
Tadashi MATSUMOTO, Hiroshi OHNO and Masahiro OSOGAMI
SICE, 第19 回離散事象システム研究会   1-8   1996年
Initial-Marking Based Liveness on Dissynchro nous Choice Petri Nets
Matsumoto,Koido and Osogami
Procedding of The 1996 International Technical Conference on Circuits/Systems, Computers and Communication   713-716   1996年   [査読有り]
プロログによるモジュール援用プログラミングシステム(共著)
恐神正博、西田富士夫
福井工業大学研究紀要   (22) 299-306   1992年   [査読有り]
プロログによるモジュールの検索とプログラムの合成(共著)
恐神正博、西田富士夫
福井工業大学研究紀要   (23) 313-320   1993年   [査読有り]
プログラム設計と構造化図作成の自動化(共著)
恐神正博、西田富士夫
福井工業大学研究紀要   (24) 261-268   1994年   [査読有り]
概略設計文からのCソースコードの生成(共著)
恐神正博、西田富士夫
福井工業大学研究紀要   (25) 315-322   1995年   [査読有り]
プロログによるモジュールの検索と合成(共著)
恐神正博、西田富士夫
情報処理学会第43回全国大会講演論文集   4 293-294   1991年
構造体処理汎用モジュールの作成(共著)
恐神正博、西田富士夫
福井工業大学研究紀要   (26) 311-318   1996年   [査読有り]
仕様の記述とプログラムの作成(共著)
恐神正博、西田富士夫
情報処理学会第44回全国大会講演論文集   5 191-192   1992年
プログラム生成におけるモジュールの自動リンク(共著)
恐神正博、西田富士夫
福井工業大学研究紀要   (27) 305-312   1997年   [査読有り]
ファイル処理を含むプログラム作成の自動化(共著)
恐神正博、西田富士夫
情報処理学会第45回全国大会講演論文集   5 359-360   1992年
仕様からの構造化図の簡易作成とプログラムの合成(共著)
恐神正博、西田富士夫
情報処理学会第46回全国大会講演論文集   5 327-328   1993年
構造化図の作成・チェックとコードの生成(共著)
恐神正博、西田富士夫
情報処理学会第47回全国大会講演論文集   5 265-266   1993年
モジュールの拡張について(共著)
恐神正博、西田富士夫
情報処理学会第48回全国大会講演論文集   5 353-354   1994年
フレームワークの一構成法(共著)
恐神正博、西田富士夫
情報処理学会第49回全国大会講演論文集   5 183-184   1994年
フレキシブルなモジュールの構築について(共著)
恐神正博、西田富士夫
情報処理学会第50回全国大会講演論文集   5 219-220   1995年
クラスモジュールの一作成法(共著)
恐神正博、西田富士夫
情報処理学会第51回全国大会講演論文集   5 157-158   1995年
入出力条件によるプログラムの合成(共著)
恐神正博、西田富士夫
情報処理学会第52回全国大会講演論文集   5 47-48   1996年
オブジェクト指向分析法におけるペトリネットの応用について(共著)
恐神正博、松田知之、松本忠
電子情報通信学会1996年基礎・境界ソサイエティー大会講演論文集   318-319   1996年
新しい挙動的トラップを有するペトリネットの最簡クラス(AC^DCネット)とその構造活性条件(共著)
大野博之、恐神正博、松本忠
電子情報通信学会1996年基礎・境界ソサイエティー大会講演論文集   316-317   1996年
クラスモジュールの一構成法(共著)
恐神正博、西田富士夫
福井工業大学研究紀要   (28) 261-268   1998年   [査読有り]
オブジェクト指向CASEにおけるペトリネットの応用
恐神正博
1997年電子情報通信学会情報・システムソサイエティ大会講演論文集   298-298   1997年
プログラム生成におけるリスト処理を用いた入出力条件のチェック
恐神正博
福井工業大学研究紀要   29(29) 289-296   1999年   [査読有り]
情報化時代に向けての統合型デザイン教育(2)
恐神正博、益岡 了
日本デザイン学会誌第46回研究発表大会概要集   164-165   1999年
入出力条件を用いたプログラムの自動生成
恐神正博
福井工業大学研究紀要   (30) 301-308   2000年   [査読有り]
プロローグを用いたプログラム合成システム
信学技報   SS98-11 1-8   1988年
情報化時代に向けての統合型デザイン教育(3)
恐神正博、益岡 了、池田岳史
日本デザイン学会誌第47回研究発表大会概要集   318-319   2000年
A Method of Automatic Program Generation Using Informal Procedure Call Sentences
Masahiro Osogami
Proceeding of the ACIS 2nd International Conference of Software Engineering, Artificial Intelligence, Networking & Parallel / Distributed Computing   969-976 969-976   2001年   [査読有り]
C/Sシステムにおけるスプレッドシートを用いた印刷処理のスループット向上について
恐神正博
2003年電子情報通信学会基礎・境界ソサイエティー大会講演論文集   A-6-15 ( P.134) 134-134   2003年

競争的資金等の研究課題

 
GUIベースからCUIベースへ円滑移行を狙うプログラミング教程とその検証法の開発
日本学術振興会: 科研費
研究期間: 2016年4月 - 2021年3月    代表者: 恐神正博
組込み用プログラムの自動評価システム構築とその情報教育への展開
日本学術振興会: 科研費
研究期間: 2012年4月 - 2016年3月    代表者: 恐神正博
バイオミメティックスに学ぶ非線形フィルタリングの新しい展開
日本学術振興会: 科研費
研究期間: 2011年4月 - 2014年3月    代表者: 魚崎勝司

社会貢献活動

 
子ども向けプログラミング教室
【講師, 実演】  福井工業大学  FUT公開講座未来塾  2018年10月6日 - 2018年10月6日
ふくいITフォーラム2017
【出演】  技術交流テクノフェア実行委員会  ふくいITフォーラム2017  2017年10月26日 - 2017年10月27日
子ども向けプログラミング教室
【講師, 実演】  福井工業大学  FUT公開講座未来塾  2017年7月8日 - 2017年7月8日
子ども向けプログラミング教室
【講師, 実演】  福井工業大学  FUT公開講座未来塾  2017年7月1日 - 2017年7月1日
子ども向けプログラミング教室
【講師, 実演】  福井工業大学  FUT公開講座未来塾  2017年6月24日 - 2017年6月24日