• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

IIDA SHUUSAKU  飯田 周作

ORCIDConnect your ORCID iD *help
… Alternative Names

IIDA Shusaku  飯田 周作

飯田 周作  イイダ シュウサク

Less
Researcher Number 80338590
Other IDs
Affiliation (Current) 2025: 専修大学, ネットワーク情報学部, 教授
Affiliation (based on the past Project Information) *help 2009 – 2014: 専修大学, ネットワーク情報学部, 教授
2007: 専修大学, ネットワーク情報学部, 准教授
2003: Senshu University, Lecturer, ネットワーク情報学部, 専任講師
2001: 専修大学, ネットワーク情報学部, 専任講師
Review Section/Research Field
Except Principal Investigator
Educational technology / Science and Engineering
Keywords
Except Principal Investigator
CafeOBJ / 教材開発 / アルゴリズム / 情報デザイン / 情報システム / アルゴリズム的思考 / 情報の科学 / behavioral specification / formal methods / e-commerce protocol … More / authentication protocol / unknown virus detection / system verification / system security / 抽象機械 / 移動コード / 実時間システム / セキュアプロトコル / 安全性検証 / Java仮想機械 / CadeOBJ / UNITY / 自動証明器PigNose / 安全性 / 振舞モデル検査 / ウィルス検査 / 検証 / cafeOBJ / 振舞仕様 / 形式手法 / 電子商取引プロトコル / 認証プロトコル / 未知ウイルス検知 / システム検証 / システム安全性 / モデル化 / 情報科 / 授業支援ツール / アルゴリズム的思考法 / モデリング / 情報の表現 / 情報の科学的な理解 / 中高大連携 / 科学的な理解 / ミニマム・エッセンシャルズ / 教育プログラム / マジカル・スプーン / 高等学校情報科 Less
  • Research Projects

    (3 results)
  • Research Products

    (8 results)
  • Co-Researchers

    (30 People)
  •  Development of the learning program for core competence of computational/informatics scientific understanding based on the concept of sustainable learning

    • Principal Investigator
      KAYAMA Mizue
    • Project Period (FY)
      2010 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Educational technology
    • Research Institution
      Shinshu University
  •  Development of Learning Programs for fundamentals at High-School-Level Information Study.

    • Principal Investigator
      KAYAMA Mizue
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Educational technology
    • Research Institution
      Shinshu University
  •  Safety Verification Technologies based on Behavioral Specifications

    • Principal Investigator
      FUTATSUGI Kokichi
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Japan Advanced Institute of Science and Technology (JAIST)

All 2009 2008 2007

All Presentation

  • [Presentation] アルゴリズム的思考法の学習 -記憶から思考へ-2009

    • Author(s)
      飯田千代・飯田周作・清藤武暢・佐藤創
    • Organizer
      情報処理学会第99回コンピュータと教育研究会
    • Place of Presentation
      東京
    • Year and Date
      2009-07-04
    • Data Source
      KAKENHI-PROJECT-19300285
  • [Presentation] アルゴリズム的思考法の学習-記憶から思考へ-2009

    • Author(s)
      飯田千代・飯田周作・清藤武暢・佐藤創
    • Organizer
      情報処理学会第99回コンピュータと教育研究会技術報告集
    • Data Source
      KAKENHI-PROJECT-19300285
  • [Presentation] 情報系学部での展開事例2009

    • Author(s)
      佐藤創・飯田周作・清藤武暢・飯田千代・山口裕之
    • Organizer
      日本情報科教育学会「アルゴリズム的思考法の教育方法を考える」シンポジューム
    • Place of Presentation
      長野
    • Year and Date
      2009-11-07
    • Data Source
      KAKENHI-PROJECT-19300285
  • [Presentation] 情報系学部での展開事例2009

    • Author(s)
      佐藤創・飯田周作・清藤武暢・飯田千代・山口裕之
    • Organizer
      日本情報科教育学会「アルゴリズム的思考法の教育方法を考える」シンポジューム論文集
    • Data Source
      KAKENHI-PROJECT-19300285
  • [Presentation] 情報の科学的理解のミニマムエッセンシャルズとしての"アルゴリズム的思考法"に関する教育方法の検討2008

    • Author(s)
      飯田周作・飯田千代・清藤武暢・佐藤創・香山瑞恵
    • Organizer
      日本情報科教育学会第1回全国大会講演論文集
    • Data Source
      KAKENHI-PROJECT-19300285
  • [Presentation] アルゴリズム的思考法の教育2008

    • Author(s)
      飯田周作・飯田千代・清藤武暢・佐藤創
    • Organizer
      情報処理学会コンピュータと教育研究会報告
    • Data Source
      KAKENHI-PROJECT-19300285
  • [Presentation] アルゴリズム的思考法の研究2008

    • Author(s)
      飯田周作
    • Organizer
      情報処理学会 第93回コンピュータと教育研究会
    • Place of Presentation
      東京農工大学(東京都小金井市)
    • Year and Date
      2008-02-16
    • Data Source
      KAKENHI-PROJECT-19300285
  • [Presentation] 高等学校情報科における『情報の科学的な理解』のミニマムエッセンシャルズに関する考察2007

    • Author(s)
      香山瑞恵・佐藤創・飯田周作・上平崇仁・二上貴夫
    • Organizer
      第3回日本情報教育開発協議会全国大会講演論文集
    • Data Source
      KAKENHI-PROJECT-19300285
  • 1.  FUTAGAMI Takao (60459477)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 1 results
  • 2.  KAYAMA Mizue (70233989)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 2 results
  • 3.  KAMIHIRA Takahito (20339807)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 1 results
  • 4.  FUWA Yasushi (00165507)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  KUNIMUNE Yoshihisa (90377648)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  FUSE Izumi (70271806)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  KAYATSU Rika (70242667)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  TASAKI Takeharu
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  KONNO Atsushi
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  STARRETT Cortland
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  SATOH Hajime (40095972)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 7 results
  • 12.  HISAZUMI Kenji (10380685)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  NAGATA Naomi (50582293)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  YAMAMOTO Tatsuki (30535266)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  OGATA Shinpei (10589279)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  FUTATSUGI Kokichi (50251971)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  OGATA Kazuhiro (30272991)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  MORI Akira (30311682)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  NAKAMURA Masaki (40345658)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  天野 憲樹 (30313703)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  岡田 光弘 (30224025)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  KANO Toshiharu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  NOBE Midori
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  YAMAGAMI Michiyoshi
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  NOSHIRO Shigeru
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  YAMASHITA Yuji
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  SHIBATA Hiroki
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  FUJITA Kunimasa
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  HIYA Shuhei
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  MELLOR Stephen J.
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi