研究者詳細 - 恐神　正博

論文 - 恐神　正博

分割表示 >> ／全件表示 36 件中 1 - 36 件目

プログラミング教育におけるGUIベース言語からCUIベース言語への移行に際するモチベーションの評価：SIEMアセスメント尺度の視点から

恐神正博，大熊一正，クリストファーピロット

福井工業大学研究紀要 ( 54 ) 105 - 109 2024年10月

本稿では，本学の1年生に対し，4年間に渡り，GUI環境を用いたプログラミング導入教育からCUI環境を用いたプログラミング教育の継続的，且つ，スムーズな移行教育法について報告している．3種類の移行方法を試行し，その際行った，SIEMアセスメント尺度を用いたアンケート調査における，学習者のモチベーション指数(MV)の変化を指標として，移行方法との関係を検討した．その結果，CUI環境での学習の前にGUI環境での学習を行う場合には，GUI環境での学習環境の使い方に慣れ，その上でどのような命令をどのように組み合わせることで，どのような処理が行えるようになるかといった内容を一通り学習することが重要であり，単元毎にGUI環境からCUI環境への移行を促すと，MVが下がる傾向にあることが分かった．

The impact of teaching a graphical programming language before character-based programming on Japanese university students' programming understanding 査読国際誌

Masahiro Osogami, Kazumasa Ohkuma, and Christopher Pirotto

SN Social Sciences, Springer Vol.4 ( No.17 ) 1 - 18 2024年1月

In this paper, we propose a smooth transition from GUI to CUI for continuous programming learning, which is considered to be the next step of introductory education of GUI programming, and evaluate the effectiveness of learning in GUI prior to learning in CUI.
As a result, it was found that prior GUI learning increased students' understanding of concepts such as transformation specifications, operators, conditional branching and nesting, among others, in programming learning in CUI, and it was also found that the best method for the smooth transition from GUI to CUI was to learn only in the GUI-based environment and then move to the CUI-based environment, rather than to learn in several environments at the same time.

Programming Knowledge of Japanese High School Graduates

Christopher PIROTTO, Daniel COOK, and Masahiro OSOGAMI

( 53 ) 179 - 190 2023年10月

Effects of GUI-based Programming Learning before CUI-based Programming Learning: Toward Continuous Learning in Computer Programming 査読

Masahiro Osogami and Kazumasa Ohkuma

Proc. of The 18th International Conference on Information Technology Based Higher Education & Training (ITHET 2019), in Magdeburg, Germany, September 26-27, 2019, ID-114, 978-1-7281-2464-3, 2019 IEEE, 2019.12. 2019年12月

In this paper, we propose a method for transitioning smoothly from the GUI environment to the CUI environment for continuous learning in programming education, and discuss its effectiveness by analyzing the results of an hourly comprehension survey. The results of the trial are discussed based on the analysis of the questionnaire results of the hourly comprehension survey.
　As a result, we confirmed the effectiveness of prior GUI learning for each GUI and CUI content corresponding to each unit, although there were some exceptions in the GUI learning conducted before the CUI.

熟練馬術競技者の認知機能の特性に関する事例報告

吉村喜信，野口雄慶，横谷智久，杉浦宏季，恐神正博，朱光珍

福井工業大学研究紀要 ( 49 ) 149 - 153 2019年12月

一般的に認知機能は青年期をピークに，中高年になるにつれて低下すると言われている．一方,60歳以上の前期高齢者の場合，散歩などの比較的軽度な運動の継続を行っているだけでなく，さらに激しいスポーツを継続して行っている者もある．本研究では，青年期から継続して馬術競技を行っている66歳の男性について，その認知・判断・実行機能を測定し，同世代の一般人と比較することで，スポーツを継続して行うことが，認知・判断・実行能力の低下を抑制することを明らかにした．

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年4月

In this paper, we examine the difference in the educational effect of checking the movements of a robot controlled by an actual robot and checking the movements of a robot on a computer display, based on the results of a questionnaire analysis.
The environment used was Scratch, which allows programming without much awareness of syntax, and we divided the testing into two parts: checking the movements only in Scratch and checking the movements of the actual robot linked to the movements created in Scratch.
The results showed that the programming learning with the actual robot control was more effective in the educational effect.

Scratchを用いた実機ロボット制御を伴うプログラミング導入授業の実践査読

恐神正博, 大熊一正, 杉原一臣

情報処理学会論文誌　教育とコンピュータ Vol.2 ( No.2 ) 76 - 84 2016年10月

Development of Educational Programming Material with Actual Robots Controlled using Scratch 査読

Masahiro Osogami, Kazumasa Ohkuma, Kazutomi Sugihara

Proc. of International Conference on Advanced in Computer Engineering & Science(ICACES 2016), in Hamburg, Germany, September 4-5, 2016, pp. 13-23. 2016年9月

Effects in Introductory Programming Education with Actual Robots using Scratch 査読

Masahiro Osogami, Kazumasa Ohkuma, Kazutomi Sugihara, Teruya Yamanishi and Katsuji Uosaki

Proc. of the 3rd International Conference on Computer Supported Education (COSUE '15), in Michigan State University, East Lansing, MI, USA, September 20-22, 2015, pp. 21-24. 2015年9月

We developed a prototype of a programming learning material using a programming environment called Scratch, which is accompanied by control of an actual robot, and report on the evaluation of the developed material based on the results of a questionnaire analysis conducted during a programming introduction class using the material.
In this class, we not only provide algorithm-oriented programming education by using Scratch, which allows students to program while visually understanding algorithms, but also give students a sense of accomplishment and increase their interest in information and communication technology by having them control an actual robot using the program they created in the class. The results showed that the use of Scratch not only provides algorithm-oriented programming education, but also gives students a sense of accomplishment and increases their interest in information and communication technology.

Scratch を用いた実機ロボット制御とそのプログラミング教育における効果

恐神正博，大熊一正，四折直紀，杉原一臣，山西輝也

福井工業大学研究紀要 ( 45 ) 211 - 218 2015年7月

本論文では，プログラミング初学者向けのScratch用いたロボット制御を伴うプログラミング学習環境の構築と、この学習環境を用いた体験授業を実施し，その中で行ったアンケート調査の解析により，本学習環境の有用性を検証している．
この学習環境の特徴は，子供を含むプログラミング初学者でも直観的にプログラムを作成できるプログラミング環境Scratchを用いることにより，ロボットの制御アルゴリズムを視覚化した点にある．これにより，プログラミング初学者にとって１つの難関となるプログラミング言語の文法修得の段階を排除し，プログラミング学習において，最も重要とされるアルゴリズムの直感的理解を促し，学習効果の向上を図っている．

A Method to Obtain Particular Solutions using Modified Fourier Motzkin Method in P/T Petri Nets

Masahiro Osogami and Teruya Yamanishi and Katsuji Uosaki

Proc. of NOLTA 2014, in Luzern, Switzerland, September 14-18,2014, pp.692-695 2014年9月

A Modified Algorithm and its Program for Obtaining Particular Solutions and Expansion Coefficients in P/T Petri Nets

Masahiro Osogami

Proc. of NOLTA 2017, in Cancun, Mexico, December 4-7, 2017, pp.233-236 2014年9月

情報システムセンターにおける倫理教育の取り組み

杉原一臣、大熊一正、恐神正博、池田岳史

福井工業大学研究紀要 337 - 346 2014年5月

高度情報化社会において，社会の情報化は急速に進展し，情報端末や情報通信ネットワークは我々の生活を支える上で必要不可欠なものとなっている．一方で，情報通信技術の進展に伴い，これらの環境の利用に関する様々な課題が指摘されている．本論文では，本学情報システムセンターにおける情報倫理教育の取り組みを検証し，その成果と課題を整理すると共に，今後の情報倫理教育の在り方について考察している．

A Method for Reachability Problems of P/T Petri Nets using Algebraic Approach 査読

Masahiro Osogami and Teruya Yamanishi and Katsuji Uosaki

Proc. of NOLTA 2013, in Santa Fe, USA, September 8-11, 2013, pp.475-478 2013年9月

離散事象システムのモデル化に有用とされているペトリネットのうち、P/Tペトリネットにおける、発火回数ベクトルの導出法において、通常T-インバリアントの導出に用いられるFourie-Motzkin法を用いて、特解、および、T-インバリアントの両方を導出する方法について述べるとともに、そのアルゴリズムがそのまま、初等的な特解とTインバリアントを用いて、任意の可到達な発火回数ベクトル解を表現するための展開係数の導出にも応用できることを示す。

マイクロロボット制御アルゴリズムの見える化に向けて -組込みシステムの教材として-

大熊一正, 恐神正博, 籠谷隆弘, 四折直紀, 杉原一臣, 山西輝也

福井工業大学研究紀要 2 ( 42 ) 610 - 619 2012年6月

今日の急速なICTの発展に伴い、ICT技術者の不足が叫ばれている。このような情勢に対し、わが国では情報教育の中核を担う学習指導要領が刷新され、プログラミングの学習の早期化が実施された。これにより、新しく導入された単元において、生徒の興味・関心を引きつつ学習効果を保証できる教材が求められている。
ここでは、ロボカップにおけるマイクロロボットを操作する組み込み制御プログラムを、スクラッチと呼ばれるタイル型簡易言語を用いて、作成する手法を示し、初等教育におけるプログラミングの学習方法についての提案を行っている。

A Method of Input-Output Conditions for Automatic Program Generation Using Petri Nets 査読

M.Osogami, T.Yamanishi and K.Uosaki

Proc. of The SICE Annual Conference 2011, in Tokyo, pp. 2415-2420. 2011年9月

プログラムの生産性向上のひとつとして、再利用可能なモジュールを組み合わせ、品質の保証されたプログラムを合成する、いわゆるプロぐら未の自動合成技術が上げられる。この研究の一環として、従来よりその試作システムであるMAPPの構築を行ってきているが、ここでは、プログラム合成における、モジュールのリンク時に、各モジュールごとに持たせた入出条件のチェックが、必要であるが、そこにペトリネットの可到達性判定条件を適用する手法を提案しており、さらに、その検証も行い、それらの報告を行っている。

Input-Output Conditions for Automatic Program Generation Using Petri Nets 査読

M.Osogami, T.Yamanishi and K.Uosaki

Proc. of The KES2011, in Germany, Part I, LNAI 6881, pp. 296-305. 2011年9月

急速な情報化社会の進展において、プログラムの生産性向上のための技術が必要とされており、各方面においてこれらの研究がなされてきている。そのひとつとして、プログラムの自動合成技術が上げられる。これは、再利用可能なモジュールを予めライブラリ等に準備しておき、必要に応じそれらを組み合わせることで、品質の保証された目的のプログラムを合成する手法である。我々もこの研究の一環として、従来よりその試作システムであるMAPPの構築を行ってきている。
ここでは、プログラム合成における、モジュールのリンク時に、各モジュールごとに持たせた入出条件のチェックに対し、ペトリネットの可到達性判定条件を適用することができないか検証を行っている。

Reachability Judgment in P/T Petri Nets by Approximate Algebraic Approach 査読

Matsumoto，Osogami and Moro

Proc. of The 9th WSEAS International Conference on SIGNAL PROCESSING, ROBOTICS and AUTOMATION, ISPRA'10, in Cambridge, UK, pp. 318-322. 2010年2月

P/Tペトリネットの状態方程式の非負整数解の代数的構造に関する基礎的考察

松本忠、恐神正博、茂呂征一郎

福井工業大学研究紀要 ( ３９ ) ２３ - ３０ 2009年3月

ペトリネットは離散事象システムの有用なモデルの１つとして広く用いられている．P/T ペトリネットは状態方程式を用いて代数的な解析が比較的容易なクラスであるが，従来は非負整数同次解(Tインバリアント)の生成元のみに焦点が当てられていて, 非負整数非同次解の極小ベクトルである特解は十分に論じられてこなかった. ところが，状態方程式の拡大システムを考えると，従来のT インバリアントの生成元に関する諸知見を活用して，特解の代数的構造や諸性質を論じることが可能になった．本論文では，このための状態方程式の非負整数解の基本的な性質を論じている．

On Paticular Solutions for State Equation of Autonomous Continuous Petri Nets 査読

Matsumoto，Osogami and Moro

Proc. of The 2008 International Symposium on Nonlinear Theory and its Applications, NOLTA'08, in Budapest, Hungary, pp. 668-671. 2008年9月

プログラムの自動生成における入出力条件に関する一考察

恐神正博

福井工業大学研究紀要 ( ３７ ) ２７３ - ２７８ 2007年3月

１９８０年代の中ごろから構造化プログラミング設計法やオブジェクト指向の手法等が提唱され，プログラミングの生産性向上の研究及びそれらの実用化が進められている．一方，従来より手作業によって行われてきたプログラミングという作業を機械化する試み，すなわちプログラムの自動生成に関する技術についても研究が進められている．
ここではモジュールの機能や処理対象のデータの型などに関する属性項目を記述したモジュールの見出し表を作成し，そこから仕様に対して適用可能なモジュールを検索し，C言語のプログラムを生成する一つの方法と，その中でモジュールの自動リンクの際行われる入出力条件のチェック法において，従来行ってきたPrologのリスト処理の他に，ペトリネットを用いた方法について検討を行う．

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

Proc. of The 2006 International Symposium on Nonlinear Theory and its Applications, NOLTA'06, in Bologna, Italy, pp. 407-410. 2006年9月

C/Sシステムにおける印刷処理のスループット向上について

恐神正博

福井工業大学研究紀要 ( ３５ ) ２４７ - ２５４ 2005年3月

現在企業等においてクライアントサーバーシステム(以降C/Sシステムと表す)は広く用いられている．クライアントにおける処理は，多くの場合データベースソフトまたはスプレッドシート上にデータを抽出しそれらのデータベースソフトやスプレッドシートから，必要な書式にデータを加工した上で印刷を行うなどである.一方，C/Sシステムは導入後にクライアントを増やしていくことも多いため，最初に導入されたクライアントほど，後から追加されたクライアントに比べ，ハードウェア的に能力が劣っていることがしばしばある．しかしながら，社会の情報化の進展に伴い，扱うデータの量は飛躍的に増えてきており，数千件あるいは数万件を超えるデータの印刷処理が行われることも多い．
ここでは，特にC/Sシステム上の比較的能力が劣ったハードウェア上において，世界中で圧倒的なシェアを持つマイクロソフト社のWindowsオペレーティングシステム，また，同じくスプレッドシートの圧倒的なシェアを持つマイクロソフト社のExcelを用いた場合の印刷処理のスループット向上について述べる．

A Method of Automatic Program Generation using Informal Procedure Call Sentences 査読

Osogami

Proc. of ACIS -SNPD'01, pp.969-976. 2001年8月

プログラムの生産性向上を図るため、プログラムの自動合成についての研究が各方面で行われているが、その一環として、本研究では自然言語表記を用いた概略仕様から、プログラムを自動合成する試作システム、MAPPの構築を行っている。前回の報告では、プログラムの全体像を目で確認しながら、すなわち作成中の概略仕様から構造化図を表示し、なおかつ、完成した概略使用から目的のプログラムを自動合成する手法について報告してきたが、今回の報告では、新たに、自動合成の際、仕様に漏れがあった場合、システムが自動的に必要なモジュールを補填し目的のプログラムを合成する、自動補填について報告するとともに、MAPPのユーザーインターフェースにもmenu選択方式を取り入れるなどの改良も行っており、これらの報告もあわせて行っている。

入出力条件を用いたプログラムの自動生成

恐神正博

福井工業大学研究紀要 ( ３０ ) ３０１ - ３０８ 2000年3月

１９８０年代の中頃から構造化プログラミング設計法やオブジェクト指向の手法等が提唱され，プログラミングの生産性向上の研究及びそれらの実用化が進められている．一方，従来より手作業により行われてきたプログラミング作業を機械化する試み，すなわちプログラムの自動合成技術についても研究が進められている．
ここでは、前回報告した内容をもとに、MAPPの改良を進め、プログラムの概略設計文からそれらの入出力条件を用い、設計文において欠落していた条件を自動的に補填しながら、C言語のプログラムを自動生成する実験の結果を報告する。

A Method of Automatic Program Generation and Stractured Diagram using Informal Procedure Call Sentences 査読

Osogami

Proc. of IASTED -SEA'99, pp.104-108. 1999年10月

プログラムの生産性向上を図るためプログラムの自動合成についての研究が各方面で行われているが、その一環として、本研究では自然言語表記を用いた概略仕様から、プログラムを自動合成する試作システム、MAPPの構築を行っている。今回の報告では、プログラムの全体像を目で確認しながら、すなわち作成中の概略仕様から構造化図を表示し、なおかつ、完成した概略使用から目的のプログラムを自動合成する手法について報告するとともに、自動合成の際、仕様に漏れがあった場合、システムが自動的に補填し目的のプログラムを合成する、自動補填の考えを取り入れており、その報告も行っている。

プログラム生成におけるリスト処理を用いた入出力条件のチェック

恐神正博

福井工業大学研究紀要 ( ２９ ) ２８９ - ２９６ 1999年3月

１９８０年代の中頃から構造化プログラミング設計法やオブジェクト指向の手法等が提唱され、プログラミングの生産性向上の研究およびそれらの実用化が進められている．一方、従来より手作業により行われてきたプログラミング作業を機械化する試み、すなわちプログラムの自動合成技術についても研究が進められている。
ここではモジュールの機能や処理対象のデータの型などに関する属性項目を記述したモジュールの見出し表を作成し，仕様に対して適用可能なモジュールを検索し，C言語のプログラムを合成する一つの方法とその中で行われるモジュールの自動リンクについて述べる．

A Method of Automatic Program Designing and Soft and Code Generation using Informal Procedure Call Sentences 査読

Osogami, Nishida

Proc. of IASTED -ASC'98, pp.161-164. 1998年5月

クラスモジュールの一構成法

恐神正博、西田富士夫

福井工業大学研究紀要 ( ２８ ) ２６１ - ２６８ 1998年3月

1980年代の中頃からオブジェクト指向の設計法やプログラミングの手法が提唱され実用化が進んでいる．これは，従来人手により構築されてきたシステムを機械化するには，システムのオブジェクトモデルを設計制作のあらゆる段階で直接的にデータ処理システムに書き換えて具体化するのが簡明で効率的であるとの考えによる．設計制作の上流過程における要求定義や概略設計の段階では，この考え方は当然であるが，設計段階においては個々のオブジェクトやクラスにとらわれない汎用的な手法を適用する方が得策である．すなわち，諸科学における数学的手法の適用や製造業における半製品的機械部品材料のカスタマイズと同じく，汎用的なモジュールを作っておき，これを目的のオブジェクトに合わせてカスタマイズして製作する方が全体的にみて効率的であろう．一般に汎用的な部品モジュールを用いて，カスタマイズシステムを構築する方法はソフトウェア工学の分野ではまだ十分な実用化に至っておらず，オブジェクト指向の名の下にプログラミングは各クラスごとに行われることも多いようである．以下，本稿では，筆者らが用いてきたプログラム作成の自動化の手法に基づいてオブジェクト指向プログラミングにおけるクラスモジュールの作成を自動化する一つの手法を述べる．

プログラム生成におけるモジュールの自動リンク

恐神正博、西田富士夫

福井工業大学研究紀要 ( ２７ ) ３０５ - ３１２ 1997年3月

プログラムとは入出力条件などからなる情報処理の要求に基づき、処理単位の命令や関数モジュールを組み合わせて作成した手続きであり、プログラミングとは与えられた情報処理の要求に対して既知の処理単位をつないで要求の処理を実現する問題解決の手続きである。このような観点から従来、プログラムの自動合成の研究や検証などの基礎的研究が行われてきた。近年ではメニュー方式とGUIの利用により、プログラムの生産性はかなり向上している。しかしながら、モジュールの検索や変形、リンクなどについては、いまだ大きく人手に依存しているようであり、これらの自動化が望まれている。自動合成の研究、とりわけモジュール間の自動リンクの研究が余り進展しないのは、モジュールやシステムの機能や条件を簡明且つ弾力的に表現する方法が確立されておらず、仕様や設計を手軽に記述し処理することが困難な事情によることがあげられる。
この論文はモジュールの入力条件あるいは適用条件、出力条件あるいは機能、モジュールに含まれる変数のデータタイプなどの事項を別々に述語で表し、これらをモジュール毎に規則節に組み合わせて表すことによりモジュールのリンクや設計の詳細化などの処理を簡明且つ柔軟に行う一つの方法を考察し検討したものである。

Initial-Marking Based Liveness on Dissynchro nous Choice Petri Nets 査読

Matsumoto，Koido and Osogami

Proc. of The 1996 International Technical Conference on Circuits/Systems, Computers and Communications, in Seoul, pp.713-716. 1996年7月

構造体処理汎用モジュールの作成

恐神正博、西田富士夫

福井工業大学研究紀要 ( ２６ ) ３１１ - ３１８ 1996年3月

プログラムやモジュールの再利用について、近年盛んに研究や開発が行われている。再利用するためには検索しやすいこと、機能の追加や変更がしやすいこと、汎用性が高いことなどの条件が必要である。ここでは主として汎用性のある構造体利用モジュールの作成とその利用について述べる。
構造体は、登録、更新、検索などいろいろな事務処理などに広く用いられるデータ構造である。しかし、そのデータ処理のプログラムは、処理の内容が同じであっても構造体の構造の違いから再利用することができず、構造体ごとに作成されているのが実状である。もし、データ構造だけを与えれば、既成の汎用モジュールから標準的な処理を行うモジュールを自動的に作成できれば有用である。
この論文では、そのような汎用モジュールをプロログで作成しておき、これから与えられた構造体のデータ構造を用い、Ｃの関数モジュールや、Ｃ＋＋のクラスモジュールを生成する一つの方法について述べる。

概略設計文からのＣソースコードの生成

恐神正博、西田富士夫

福井工業大学研究紀要 ( ２５ ) ３１５ - ３２２ 1995年3月

ソフトウエアの生産量がその供給量に追い付かなくなる、いわゆるソフトウェア危機が叫ばれている。これに対し、プログラム制作過程を機械化して効率化を図って問題を解決すべく、プログラムモジュールの再利用やプログラム制作の自動化などの研究が各方面において活発に行われてきている。
本研究では、プログラムの生産性向上のため、自然言語表記からプログラムを自動合成するシステムMAPPについて、特に日本語の概略仕様作成法及び合成時におけるモジュールの検索・リンク・その際の論理チェクに関する報告を行っている。

プログラム設計と構造化図作成の自動化

恐神正博、西田富士夫

福井工業大学研究紀要 ( ２４ ) ２６１ - ２６３ 1994年3月

プログラムの生産性を上げるために、プログラム設計の自動化に関する研究が活発に行われているが、本研究では、プログラムで用いられる命令や基本モジュールの呼出文を日本語その他利用者に分かりやすくまぎれが少ない表層表現とし、所望のキーワードに属する対象を表示させ、視覚的により適切な対象を選択しカスタマイズした上で、されらを集めて設計文書を作成・目的プログラム言語へ変換を行う手法により、プログラム作成の自動化を目指す方法について検討を行っている。

プロログによるモジュールの検索とプログラムの合成

恐神正博、西田富士夫

福井工業大学研究紀要 ( ２３ ) ３１３ - ３２０ 1993年3月

モジュールの再利用に関する研究が内外で盛んにおこなわれるようになっているが、これは過去に作成したプログラムやプログラムモジュールの中、現在与えられた仕様に適用できるものを再利用することにより、誤りの少ないプログラムを短時間に作成しようとするものである。本研究では、基本的なモジュールを知識ベースとしてライブラリに登録しておき、これらを利用してプログラムを自動生成する研究を行ってきているが、このうち、必要なモジュールを、その機能や処理対象ののデータの型等に関する属性項目から、効率的に検索するための手法について報告を行っている。

プロログによるモジュール援用プログラミングシステム

恐神正博、西田富士夫

福井工業大学研究紀要 ( ２２ ) ２９９ - ３０６ 1992年3月

ソフトウエアの生産量の激増と複雑化に伴い、ソフトウェア危機が叫ばれている。これに対し、プログラム制作過程を機械化して効率化を図って問題を解決すべく、プログラムモジュールの再利用やプログラム制作の自動化などの研究が各方面において活発に行われてきている。これらの研究の一環として、本研究では日本語による仕様から基本モジュールを組み合わせてプログラムを自動生成するシステムMAPPを構築しその報告を行っている。

　前のページ - 次のページ　

<恐神 正博>

論文 - 恐神 正博

<恐神　正博>

論文 - 恐神　正博