Morimoto Shoichi 森本祥一

… Alternative Names

MORIMOTO Shoichi 森本祥一

SHOICHI Morimoto 森本祥一

Less

Researcher Number	00433186
Other IDs
Affiliation (Current)	2025: 青山学院大学, コミュニティ人間科学部, 教授
Affiliation (based on the past Project Information) *help	2014 – 2015: 専修大学, 経営学部, 准教授 2008: Advanced Institute of Industrial Technology, 助教 2007 – 2008: Advanced Institute of Industrial Technology, 産業技術研究科, 助教
Review Section/Research Field	Principal Investigator Library and information science/Humanistic social informatics / Software
Keywords	Principal Investigator 返報性の法則 / 関係性理論 / ジェスチャー論 / コミュニケーション能力 / 対面コミュニケーション / 非言語コミュニケーション / 社会システム論 / 情報システム論 / 地域活性化 / LINE … More / 社会システム / コミュニティ論 / 内発的発展 / 情報行動 / メディアリッチネス / コミュニケーション論 / 電子コミュニケーション / 対話型検証 / モデル検査 / Webアプリケーション / Ajax / 形式手法 / ソフトウエア工学 Less

Research Projects
(2 results)
Research Products
(48 results)

Roles and Applications of Instant Messaging Clients in Electronic CommunicationPrincipal Investigator
- Principal Investigator
  
  MORIMOTO Shoichi
- Project Period (FY)
  2014 – 2015
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Library and information science/Humanistic social informatics
- Research Institution
  Senshu University
Development of a Multi-user, Multi-platform, and Multi-method System Verification Environment with Reverse AjaxPrincipal Investigator
- Principal Investigator
  
  SHOICHI Morimoto
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Advanced Institute of Industrial Technology

All 2016 2015 2014 2009 2008 2007

All Journal Article Presentation Book

[Book] 大学生、限界集落へ行く―「情報システム」による南魚沼市辻又活性化プロジェクト―2016
- Author(s)
  専修大学経営学部森本ゼミナール
- Publisher
  専修大学出版局
- Data Source
  KAKENHI-PROJECT-26870589
[Book] コンピュータリテラシ ―情報処理入門― 第3版2015
- Author(s)
  大曽根匡, 渥美幸雄, 植竹朋文, 関根純, 森本祥一
- Total Pages
  280
- Publisher
  共立出版
- Data Source
  KAKENHI-PROJECT-26870589
[Journal Article] 地域情報システム再考：文化と経営の視点から―新潟県南魚沼市辻又集落の事例を通じた考察2016
- Author(s)
  森本祥一
- Journal Title
  
  地域デザイン学会学会誌「地域デザイン」
  
  Volume: 8
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26870589
[Journal Article] メッセージングアプリの機能がコミュニケーションにおいて果たす役割に関する一考察2016
- Author(s)
  森本祥一
- Journal Title
  
  専修大学情報科学研究所所報
  
  Volume: 86 Pages: 19-24
- NAID
  120006793763
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26870589
[Journal Article] imPress marker: 図書推薦用ブックマーカー～図書館での本との出会いを演出するデザイン～2014
- Author(s)
  森本祥一, 長畑かおり
- Journal Title
  
  日本色彩学会誌
  
  Volume: 38(3) Pages: 268-269
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26870589
[Journal Article] 複数人によるシステム検証を支援するWebアプリケーションの開発2009
- Author(s)
  森本祥一
- Journal Title
  
  産業技術総合研究所システム検証センター算譜科学研究速報 PS-2009-001
  
  Pages: 115-122
- Data Source
  KAKENHI-PROJECT-19700029
[Journal Article] 複数人によるシステム検証を支援するWebアプリケーションの開発2009
- Author(s)
  森本祥一
- Journal Title
  
  産業技術総合研究所システム検証センター算譜科学研究速報(テクニカルレポート) PS-2009-001
  
  Pages: 115-122
- Data Source
  KAKENHI-PROJECT-19700029
[Journal Article] シナリオの図解化による業務フロー分析2008
- Author(s)
  森本祥一, 中鉢欣秀
- Journal Title
  
  産業技術大学院大学紀要 2
  
  Pages: 193-208
- NAID
  40016971710
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700029
[Journal Article] シナリオの図解化による業務フロー分析2008
- Author(s)
  森本祥一,中鉢欣秀
- Journal Title
  
  産業技術大学院大学紀要第2号
  
  Pages: 193-208
- NAID
  40016971710
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700029
[Journal Article] A Survey of Formal Verification for Business Process Modeling2008
- Author(s)
  森本祥一
- Journal Title
  
  International Journal of Operations and Quantitative Management Vol.14, No.4
  
  Pages: 237-247
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700029
[Journal Article] JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築2008
- Author(s)
  長尾雄行, 土屋陽介, 森本祥一, 中鉢欣秀
- Journal Title
  
  産業技術大学院大学紀要 2
  
  Pages: 165-173
- NAID
  40016971707
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700029
[Journal Article] JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築2008
- Author(s)
  長尾雄行,土屋陽介,森本祥一,中鉢欣秀
- Journal Title
  
  産業技術大学院大学紀要第2号
  
  Pages: 165-173
- NAID
  40016971707
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700029
[Journal Article] A Survey of Formal Verification for Business Process Modeling2008
- Author(s)
  森本祥一
- Journal Title
  
  International Journal of Operations and Quantitative Management Vol. 14 4
  
  Pages: 237-247
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700029
[Journal Article] 情報セキュリティ工学データベースシステムISEDSの開発と応用2007
- Author(s)
  堀江大輔,森本祥一,後藤祐一,程京徳
- Journal Title
  
  情報処理学会論文誌Vol. 48 8
  
  Pages: 2684-2698
- NAID
  110006386498
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700029
[Journal Article] ソフトウェア開発工程における支援研究と実用化への課題2007
- Author(s)
  森本祥一,中鉢欣秀
- Journal Title
  
  産業技術大学院大学紀要第1号
  
  Pages: 105-110
- NAID
  110007614519
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700029
[Journal Article] ソフトウェア開発工程における支援研究と実用化への課題2007
- Author(s)
  森本祥一
- Journal Title
  
  産業技術大学院大学紀要 1
  
  Pages: 105-110
- NAID
  110007614519
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] 『大学生の力を活かした集落活性化事業』の実践結果と考察～新潟県南魚沼市辻又集落の活性化を通じて～2015
- Author(s)
  森本祥一
- Organizer
  地域活性学会第7回研究大会
- Place of Presentation
  大手前大学(兵庫県)
- Year and Date
  2015-09-04
- Data Source
  KAKENHI-PROJECT-26870589
[Presentation] キャラクタービジネスにおけるTwitterの活用法と経営戦略上の位置づけ2015
- Author(s)
  井上智晶, 森本祥一
- Organizer
  第14回情報科学技術フォーラム
- Place of Presentation
  愛媛大学(愛媛県)
- Year and Date
  2015-09-15
- Data Source
  KAKENHI-PROJECT-26870589
[Presentation] 事務所経営に好影響を及ぼすアイドルとファンの理想的な関係2015
- Author(s)
  野谷あやめ, 森本祥一
- Organizer
  経営情報学会 2015年秋季全国研究発表大会
- Place of Presentation
  沖縄コンベンションセンター(沖縄県)
- Year and Date
  2015-11-28
- Data Source
  KAKENHI-PROJECT-26870589
[Presentation] かわいい文化の普及過程と伝達手段に関する情報学的考察2015
- Author(s)
  山田晋作, 森本祥一
- Organizer
  経営情報学会 2015年秋季全国研究発表大会
- Place of Presentation
  沖縄コンベンションセンター(沖縄県)
- Year and Date
  2015-11-28
- Data Source
  KAKENHI-PROJECT-26870589
[Presentation] 『情報システム』としての地域デザイン～南魚沼市辻又集落の活性化を通じて～2015
- Author(s)
  森本祥一
- Organizer
  地域デザイン学会関東・東海地域部会第7回研究会
- Place of Presentation
  ソーシャルユニバーシティ(東京都)
- Year and Date
  2015-11-07
- Invited
- Data Source
  KAKENHI-PROJECT-26870589
[Presentation] インターネットを中心とした情報通信技術の普及と犯罪動向との相関性に関する一考察2014
- Author(s)
  石川和樹, 森本祥一
- Organizer
  FIT 2014 第13回情報科学技術フォーラム
- Place of Presentation
  筑波大学筑波キャンパス
- Year and Date
  2014-09-03
- Data Source
  KAKENHI-PROJECT-26870589
[Presentation] インストラクショナルデザインへのアジャイルソフトウェア開発手法の応用2014
- Author(s)
  遠藤翔太, 森本祥一
- Organizer
  FIT 2014 第13回情報科学技術フォーラム
- Place of Presentation
  筑波大学筑波キャンパス
- Year and Date
  2014-09-03
- Data Source
  KAKENHI-PROJECT-26870589
[Presentation] 情報リテラシ基礎演習教科書編纂と教材開発の構想2014
- Author(s)
  魚田勝臣, 渥美幸雄, 植竹朋文, 大曽根匡, 関根純, 森本祥一, 永田奈央美
- Organizer
  情報システム学会第10回全国大会研究発表大会
- Place of Presentation
  静岡産業大学藤枝キャンパス
- Year and Date
  2014-11-29
- Data Source
  KAKENHI-PROJECT-26870589
[Presentation] ソーシャルビジネスの認知度向上のための情報発信法に関する一考察2014
- Author(s)
  李牧, 森本祥一
- Organizer
  FIT 2014 第13回情報科学技術フォーラム
- Place of Presentation
  筑波大学筑波キャンパス
- Year and Date
  2014-09-03
- Data Source
  KAKENHI-PROJECT-26870589
[Presentation] FORVEST : A Support Tool for Formal Verification of Security Specifications with ISO/IEC 154082009
- Author(s)
  矢島賢一, 森本祥一, Noor Shelia Azreen, 後藤祐一, 程京徳
- Organizer
  The 4th International Conference on Availability, Reliability and Security (ARES 2009)
- Place of Presentation
  福岡
- Year and Date
  2009-03-19
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] An Educational Analysis of Consensus?Building Process in Business Domain Analysis with Conceptual Data Modeling2009
- Author(s)
  森本祥一
- Organizer
  The IADIS International Conference on Information Systems 2009
- Place of Presentation
  スペイン, バルセロナ
- Year and Date
  2009-02-26
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] An Educational Analysis of Consensus-Building Process in Business Domain Analysis with Conceptual Data Modeling2009
- Author(s)
  森本祥一
- Organizer
  The IADIS International Conference on Information Systems 2009
- Place of Presentation
  バルセロナ
- Year and Date
  2009-02-26
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] Classification, Formalization and Verification of Security Functional Requirements2008
- Author(s)
  森本祥一
- Organizer
  The 34th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2008)
- Place of Presentation
  スモコヴェッツ
- Year and Date
  2008-01-23
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] 複数人によるシステム検証を支援するWebアプリケーションの開発2008
- Author(s)
  森本祥一
- Organizer
  日本ソフトウェア科学会ディペンダブルシステム研究会第5回システム検証の科学技術シンポジウム
- Place of Presentation
  つくば
- Year and Date
  2008-11-19
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] A Survey of Formal Verification for Business Process Modeling2008
- Author(s)
  森本祥一
- Organizer
  The 8th International Conference on Computational Science (ICCS 2008)
- Place of Presentation
  ポーランド, クラクフ
- Year and Date
  2008-06-24
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] Documentation Components of Software Development and their Management Based on International Standards2008
- Author(s)
  森本祥一
- Organizer
  The 10th Workshop on Learning Software Organizations (LSO 2008)
- Place of Presentation
  フラスカーティ
- Year and Date
  2008-06-23
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] A Survey of Formal Verification for Business Process Modeling2008
- Author(s)
  森本祥一
- Organizer
  The 8th International Conference on Computational Science (ICCS 2008)
- Place of Presentation
  クラクフ
- Year and Date
  2008-06-24
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] 複数人によるシステム検証を支援するWebアプリケーションの開発2008
- Author(s)
  森本祥一
- Organizer
  日本ソフトウェア科学会ディペンダブルシステム研究会第5回システム検証の科学技術シンポジウム
- Place of Presentation
  つくば
- Year and Date
  2008-11-19
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] ISEDS : An Information Security Engineering Database System Based on ISO Standards2008
- Author(s)
  堀江大輔, 森本祥一, 後藤祐一, 程京徳
- Organizer
  The 3rd International Conference on Availability, Reliability and Security (ARES 2008)
- Place of Presentation
  バルセロナ
- Year and Date
  2008-03-06
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] Formalization and Verification of Security Functional Requirements2008
- Author(s)
  森本祥一
- Organizer
  The 34th Conference on Current Trends in Theory and Practice of Computer Science
- Place of Presentation
  スモコヴェッツ
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築2008
- Author(s)
  長尾雄行, 土屋陽介, 森本祥一, 中鉢欣秀
- Organizer
  情報処理学会第67回プログラミング研究会
- Place of Presentation
  仙台
- Year and Date
  2008-01-25
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] Documentation Components of Software Development and their Management Based on International Standards2008
- Author(s)
  森本祥一
- Organizer
  The 10th Workshop on Learning Software Organizations (LSO 2008)
- Place of Presentation
  イタリア, フラスカーティ
- Year and Date
  2008-06-23
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] A Study of Value of Business Process Models from a Managerial Viewpoint2008
- Author(s)
  森本祥一
- Organizer
  The International Conference on Innovation in Software Engineering (ISE 2008)
- Place of Presentation
  ウィーン
- Year and Date
  2008-12-10
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] A Study of Value of Business Process Models from a Managerial Viewpoint2008
- Author(s)
  森本祥一
- Organizer
  The International Conference on Innovation in Software Engineering (ISE 2008)
- Place of Presentation
  オーストリア, ウィーン
- Year and Date
  2008-12-10
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] A Secuuity Spcification Library with a Schemaless Database2007
- Author(s)
  森本祥一
- Organizer
  The 7th International Conference on Computational Science
- Place of Presentation
  北京
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] Formal Musical Composition Analysis Using Music Notation and Text Processing2007
- Author(s)
  森本祥一
- Organizer
  The inaugural International Conference on Music Communication Science (ICoMCS 2007)
- Place of Presentation
  シドニー
- Year and Date
  2007-12-05
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] SBVA法によるビジネスプロセスモデリング2007
- Author(s)
  森本祥一, 中鉢欣秀
- Organizer
  情報システム学会第3回研究発表大会
- Place of Presentation
  新潟
- Year and Date
  2007-12-01
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] 情報アーキテクト育成のためのPBL教育支援についての一考察2007
- Author(s)
  長尾雄行, 森本祥一, 土屋陽介, 清水將吾, 村尾俊幸, 川田誠一
- Organizer
  日本e-Learning学会第2回IT専門職養成のためのPBL型教育シンポジウム
- Place of Presentation
  熱海
- Year and Date
  2007-11-21
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] SBVA法によるピジネスプロセスモデリンゲ2007
- Author(s)
  森本祥一
- Organizer
  情報システム学会第3回研究発表大会
- Place of Presentation
  新潟
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] 学生チームによる組込システムの開発〜10年間の教育から〜2007
- Author(s)
  河野善彌, 陳慧, 高野英樹, 森本祥一
- Organizer
  日本科学技術連盟第26回ソフトウェア品質シンポジウム
- Place of Presentation
  東京
- Year and Date
  2007-09-06
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] Formal Musical Composition Analysis Using Music Notation and Text Processing2007
- Author(s)
  森本祥一
- Organizer
  The inaugural International Conference on Music Communication Sciece
- Place of Presentation
  シドニー
- Data Source
  KAKENHI-PROJECT-19700029
[Presentation] A Security Specification Library with a Schemaless Database2007
- Author(s)
  森本祥一, 程京徳
- Organizer
  The 7th International Conference on Computational Science (ICCS 2007)
- Place of Presentation
  北京
- Year and Date
  2007-05-29
- Data Source
  KAKENHI-PROJECT-19700029

Morimoto Shoichi 森本 祥一

MORIMOTO Shoichi 森本 祥一

SHOICHI Morimoto 森本 祥一

Research Projects

Research Products

Roles and Applications of Instant Messaging Clients in Electronic CommunicationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of a Multi-user, Multi-platform, and Multi-method System Verification Environment with Reverse AjaxPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 大学生、限界集落へ行く―「情報システム」による南魚沼市辻又活性化プロジェクト―2016

Author(s)

Publisher

Data Source

[Book] コンピュータリテラシ ―情報処理入門― 第3版2015

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] 地域情報システム再考：文化と経営の視点から―新潟県南魚沼市辻又集落の事例を通じた考察2016

Author(s)

Journal Title

Data Source

[Journal Article] メッセージングアプリの機能がコミュニケーションにおいて果たす役割に関する一考察2016

Author(s)

Journal Title

NAID

Data Source

[Journal Article] imPress marker: 図書推薦用ブックマーカー～図書館での本との出会いを演出するデザイン～2014

Author(s)

Journal Title

Data Source

[Journal Article] 複数人によるシステム検証を支援するWebアプリケーションの開発2009

Author(s)

Journal Title

Data Source

[Journal Article] 複数人によるシステム検証を支援するWebアプリケーションの開発2009

Author(s)

Journal Title

Data Source

[Journal Article] シナリオの図解化による業務フロー分析2008

Author(s)

Journal Title

NAID

Data Source

[Journal Article] シナリオの図解化による業務フロー分析2008

Author(s)

Journal Title

NAID

Data Source

[Journal Article] A Survey of Formal Verification for Business Process Modeling2008

Author(s)

Journal Title

Data Source

[Journal Article] JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築2008

Author(s)

Journal Title

NAID

Data Source

[Journal Article] JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築2008

Author(s)

Journal Title

NAID

Data Source

[Journal Article] A Survey of Formal Verification for Business Process Modeling2008

Author(s)

Journal Title

Data Source

[Journal Article] 情報セキュリティ工学データベースシステムISEDSの開発と応用2007

Author(s)

Journal Title

NAID

Data Source

Morimoto Shoichi 森本祥一

MORIMOTO Shoichi 森本祥一

SHOICHI Morimoto 森本祥一

[Presentation] 『情報システム』としての地域デザイン～南魚沼市辻又集落の活性化を通じて～2015