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

AMANO NORIKI  天野 憲樹

ORCIDConnect your ORCID iD *help
… Alternative Names

AMANO Noriki  天野 憲樹

Less
Researcher Number 30313703
Other IDs
External Links
Affiliation (Current) 2022: 武庫川女子大学, 生活環境学部, 教授
Affiliation (based on the past Project Information) *help 2015 – 2016: 武庫川女子大学, 生活環境学部, 教授
2014: 埼玉大学, 教育機構基盤教育研究センター, 教授
2009 – 2011: Okayama University, 教育開発センター, 准教授
2006: 岡山大学, 教育開発センター, 助教授
2000 – 2005: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
2003: 北陸先端科技大, 情報科学研究科, 助手
Review Section/Research Field
Principal Investigator
計算機科学 / Software / Learning support system
Except Principal Investigator
計算機科学 / Science and Engineering / Software
Keywords
Principal Investigator
アンチ・ユビキタス / LMS / 学習コンテンツ / 動的適応 / マルチメディア / リアルタイム / モバイルコンピューティング / コンポーネントウェア / ソフトウェアモデル / プログラミング言語 … More / 自己反映計算 / 耐タンパ・ソフトウェア / モバイルエージェント / 電子商取引 / フレームワーク / 適応 / 記述言語 / ユビキタスコンピューティング / コンテキストアウェア / アクティブRFID / システムの脆弱性 / メッセージ通信 / メッセージ通信システム / 脆弱性 / 安全性 / 表明 / メタレベルアーキテクチャ / ミドルウェア / ICT / eラーニング / Web-Based Learning / eラーニング / Web / LSM … More
Except Principal Investigator
CafeOBJ / Java / 移動コード / PigNose / 形式仕様 / 検証 / 形式手法 / formal methods / ポリシー強制 / 実行時検査 / 動的適応 / バイトコード変換 / セキュリティ / 自己反映計算 / 契約による設計 / 拡張可能ソフトウェア / 適応可能ソフトウェア / policy enforcement / mobile code / dynamic adaptation / コンポネント / 代数仕様 / 導出 / 高品位ソフトウェア / コンポーネント / 高信頼 / 支援ツール / モジュールシステム / 仕様 / 分散システム / 分散オブジェクト / ソフトウェア・コンポネント / 詳細化検証 / 安全性検査 / 仕様リポジトリ / シグネチャ・マッチング / 振舞詳細化 / モデル検査 / components / algebraic specification / verification / resolution / high-assurance software / システム安全性 / システム検証 / 未知ウイルス検知 / 認証プロトコル / 電子商取引プロトコル / 振舞仕様 / cafeOBJ / ウィルス検査 / 振舞モデル検査 / 安全性 / 自動証明器PigNose / UNITY / CadeOBJ / Java仮想機械 / 安全性検証 / セキュアプロトコル / 実時間システム / 抽象機械 / system security / system verification / unknown virus detection / authentication protocol / e-commerce protocol / behavioral specification / モジュール結合 / オブジェクト指向言語 / メタレベルアーキテクチャ / セキュリティポリシー / JML / アスペクト / 安全なソフトウェア / ロード時自己反映 / runtime checking / software composition / byte-code modification / object-oriented language / metalevel architecuture / 非機能的要件 / 反映 / メタレベル・アーキテクチャ / 耐故障ソフトウェア / モーバイルエージェント / LEAD++ / non-functional requirements / reflection / metalevel architecture / fault-torelant software / security / 自己検査モード / 実行時解析 / 適応的ソフトウェア / アスペクト指向 / 横断的関心事 / 自己検査コード / プロセス代数 / Common-Lisp / bytecode transformation / self checking code / execution-time analysis / adaptive software / design by contract / aspect orientation / cross-cutting concerns Less
  • Research Projects

    (10 results)
  • Research Products

    (36 results)
  • Co-Researchers

    (11 People)
  •  A Study on Anti-Ubiquitousness of Web-Based LearningPrincipal Investigator

    • Principal Investigator
      AMANO NORIKI
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Learning support system
    • Research Institution
      Mukogawa Women's University
      Saitama University
  •  A Study on Anti-Ubiquitous LearningPrincipal Investigator

    • Principal Investigator
      AMANO Noriki
    • Project Period (FY)
      2009 – 2011
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Software
    • Research Institution
      Okayama University
  •  ユビキタスコンピューティングにおける柔軟かつ安全なソフトウェアの研究開発Principal Investigator

    • Principal Investigator
      天野 憲樹
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      Okayama University
      Japan Advanced Institute of Science and Technology
  •  Research on Declarative Description and Consistency Checking of Policies for Adaptive Software

    • Principal Investigator
      WATANABE Takuo
    • Project Period (FY)
      2003 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tokyo Institute of Technology
      National Institute of Informatics
  •  自己反映計算を用いた耐タンパ・ソフトウェアの系統的構成方式と記述言語の研究Principal Investigator

    • Principal Investigator
      天野 憲樹
    • Project Period (FY)
      2002 – 2004
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  動的適応可能なマルチメディアアプリケーションの構成方式と言語支援の研究Principal Investigator

    • Principal Investigator
      天野 憲樹
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  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)
  •  Secure Construction Methods for Extensible and Adaptable Software

    • Principal Investigator
      WATANABE Takuo
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      National Institute of Informatics
      Tokyo Institute of Technology
  •  A Modular Construction Scheme for Adaptive Mobile Code Systems with Explicit Support of Non-Functional Requirements

    • Principal Investigator
      WATANABE Takuo
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Tokyo Institute of Technology
      Japan Advanced Institute of Science and Technology
  •  A Study on Verification of Software Components in Object-Based Distributed Environments

    • Principal Investigator
      FUTATSUGI Kokichi
    • Project Period (FY)
      1999 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology

All 2017 2016 2015 2014 2012 2010 2009 2007 2005 2004 2003 2002 2001 2000 Other

All Journal Article Presentation

  • [Journal Article] A Method that makes WBL Anti-Ubiquitous in Practice and Its Support System2017

    • Author(s)
      Noriki Amano
    • Journal Title

      International Journal of Innovation, Management and Technology

      Volume: 8 Pages: 155-160

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-26330400
  • [Journal Article] Building a Platform that makes Online Learning "Anti-Ubiquitous"2015

    • Author(s)
      Noriki Amano
    • Journal Title

      The International Journal of E-Learning and Educational Technologies in the Digital Media (IJEETDM)

      Volume: 1 Pages: 61-67

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-26330400
  • [Journal Article] アンチ・ユビキタス・ラーニンダ2012

    • Author(s)
      天野憲樹
    • Journal Title

      第18回大学教育研究フォーラム発表論文集

      Pages: 99-100

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Journal Article] 擬似的なアンチ・ユビキタス・ラーニングの実験と考察2012

    • Author(s)
      天野憲樹
    • Journal Title

      大学教育学会・第34回大会発表論文集

      Volume: (掲載予定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Journal Article] アンチ・ユビキタス・ラーニング2012

    • Author(s)
      天野憲樹
    • Journal Title

      第18回大学教育研究フォーラム発表論文集

      Pages: 99-100

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Journal Article] Anti-Ubiquitous Learning : A New Learning Paradigm2010

    • Author(s)
      Noriki Amano
    • Journal Title

      Proc. of the Ninth IASTED International Conference on Web-based Education(WBE 2010)

      Pages: 219-224

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Journal Article] Anti-Ubiquitous Learning-A New Learning Paradigm-2010

    • Author(s)
      Noriki Amano
    • Journal Title

      Proceesing of the Eighth IASTED International Conference Web-based Education(WBE 2010)

      Pages: 219-224

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Journal Article] アンチ・ユビキタス・ラーニング-概念と仕様-2010

    • Author(s)
      天野憲樹
    • Journal Title

      日本e-Learning学会誌

      Volume: Vol.10 Pages: 47-53

    • NAID

      40017187709

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Journal Article] アンチ・ユビキタス・ラーニング-概念と仕様-2009

    • Author(s)
      天野憲樹
    • Journal Title

      日本e-Learning学会2009年度秋季学術講演会論文集

      Pages: 27-30

    • NAID

      40017187709

    • Data Source
      KAKENHI-PROJECT-21650007
  • [Journal Article] アンチ・ユビキタス・ラーニング-概念と仕様-2009

    • Author(s)
      天野憲樹
    • Journal Title

      日本e-Learning学会, 2009年秋季学術講演会論文集

      Pages: 27-30

    • NAID

      40017187709

    • Data Source
      KAKENHI-PROJECT-21650007
  • [Journal Article] Javaの擬似的なメソッド・コールバック2007

    • Author(s)
      天野憲樹
    • Journal Title

      電子情報通信学会技術研究報告 106・522

      Pages: 19-24

    • NAID

      110006239526

    • Data Source
      KAKENHI-PROJECT-16700027
  • [Journal Article] 擬似的な適応メソッドの実現2005

    • Author(s)
      天野憲樹
    • Journal Title

      電子情報通信学会技術報告 105・491

      Pages: 7-12

    • NAID

      110003488397

    • Data Source
      KAKENHI-PROJECT-16700027
  • [Journal Article] The Concept and Description of Adaptable Methods2004

    • Author(s)
      Noriki Amano
    • Journal Title

      Proceedings of the IASTED International conference on Advances in Computer Science and Technology (ACST 2004)

      Pages: 185-190

    • Data Source
      KAKENHI-PROJECT-16700027
  • [Journal Article] LampJ : A Library of Adaptable Modular Programming for Java2003

    • Author(s)
      Noriki Amano
    • Journal Title

      International Conference on Software Engineering and Applications

      Pages: 465-470

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] LampJ : A Library of Adaptable Modular Programming for Java2003

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      7th IASTED International Conference on Software Engineering and Applications(SEA 2003)(ACTA Press)

      Pages: 465-470

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] A Software Model for Flexible and Safe Adaptation for Mobile Code Programs2002

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      International Workshop on Principles of Software Evolution (IWPSE '02)(ACM Press)

      Pages: 57-61

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] A Secure Dynamic Extension Mechanism for Mobile Agents2001

    • Author(s)
      Takuo Watanabe, Noriki Amano
    • Journal Title

      AISB '01 Symposium on Software Mobility and Adaptive Behavior, AISB

      Pages: 28-31

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] Towards Constructing Component-based Software Systems with Safe Dynamic Adaptability2001

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      International Workshop on Principles of Software Evolution (IWPSE '01)(ACM Press)

      Pages: 178-181

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability2001

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      AISB '01 Symposium on Software Mobility and Adaptive Behavior

      Pages: 105-113

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] A Secure Dynamic Extension Mechanism for Mobile Agents2001

    • Author(s)
      Takuo Watanabe, Noriki Amano
    • Journal Title

      AISB '01 Symposium on Software Mobility and Adaptive Behavior

      Pages: 28-31

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability2001

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      AISB '01 Symposium on Software Mobility and Adaptive Behavior, AISB

      Pages: 105-113

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] Towerds Constructing Component-based Software Systems with Safe Dynamic Adaptability2001

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      International Workshop on Principles of Software Evolution (IWPSE '01)

      Pages: 178-181

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++2000

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      International Symposium on Principles of Software Evolution (ISPSE 2000), (IEEE Computer Society Press)

      Pages: 118-127

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++2000

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      International Symposium on Principles of Software Evolution (ISPSE 2000)

      Pages: 118-127

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Presentation] A Method that makes WBL Anti-Ubiquitous in Practice and Its Support System2017

    • Author(s)
      Noriki Amano
    • Organizer
      International Conference on Education and Management Innovation 2017 (ICEMI2017)
    • Place of Presentation
      ベトナム(ホーチミン)
    • Year and Date
      2017-02-22
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330400
  • [Presentation] WBLのアンチ・ユビキタス化を機能させる手法と支援システム2016

    • Author(s)
      天野憲樹
    • Organizer
      教育システム情報学会第41回全国大会
    • Place of Presentation
      帝京大学・宇都宮キャンパス
    • Year and Date
      2016-08-29
    • Data Source
      KAKENHI-PROJECT-26330400
  • [Presentation] Webの学習コンテンツをアンチ・ユビキタス化するプラットフォームの構築手法2014

    • Author(s)
      天野憲樹
    • Organizer
      教育システム情報学会研究会2014年度第4回研究会
    • Place of Presentation
      電気通信大学(東京都・調布市)
    • Year and Date
      2014-11-08
    • Data Source
      KAKENHI-PROJECT-26330400
  • [Presentation] アンチ・ユビキタス・ラーニング2012

    • Author(s)
      天野憲樹
    • Organizer
      第18回大学教育研究フォーラム
    • Place of Presentation
      京都
    • Year and Date
      2012-03-15
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Presentation] 擬似的なアンチ・ユビキタス・ラーニングの実験と考察2012

    • Author(s)
      天野憲樹
    • Organizer
      大学教育学会・第34回大会
    • Place of Presentation
      北海道(予定)
    • Year and Date
      2012-05-27
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Presentation] アンチ・ユビキタス・ラーニング2012

    • Author(s)
      天野憲樹
    • Organizer
      第18回大学教育研究フォーラム
    • Place of Presentation
      京都大学吉田キャンパス
    • Year and Date
      2012-03-15
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Presentation] Anti-Ubiquitous Learning-A New Learning Paradigm-2010

    • Author(s)
      Noriki Amano
    • Organizer
      The Eighth IASTED International Conference Web-based Education(WBE 2010)
    • Place of Presentation
      エジプト
    • Year and Date
      2010-03-15
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Presentation] Anti-Ubiquitous Learning : A New Learning Paradigm2010

    • Author(s)
      Noriki Amano
    • Organizer
      The Nineth IASTED International Conference on Web-based Education(WBE 2010)
    • Place of Presentation
      Sharm El Sheikh, Egypt
    • Year and Date
      2010-03-16
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Presentation] アンチ・ユビキタス・ラーニング-概念と仕様-2009

    • Author(s)
      天野憲樹
    • Organizer
      日本e-Learning学会2009年秋季学術講演会
    • Place of Presentation
      東京
    • Year and Date
      2009-11-26
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Presentation] アンチ・ユビキタス・ラーニング-概念と仕様-2009

    • Author(s)
      天野憲樹
    • Organizer
      日本e-Learning学会2009年度秋季学術講演会
    • Place of Presentation
      東京
    • Year and Date
      2009-11-26
    • Data Source
      KAKENHI-PROJECT-21650007
  • [Presentation] 教育リソースをアンチ・ユビキタス化する統一プラットフォームの構想

    • Author(s)
      天野憲樹
    • Organizer
      大学ICT推進協議会2014年度年次大会
    • Place of Presentation
      仙台市情報・産業プラザTKPガーデンシティ仙台(宮城県・仙台市)
    • Year and Date
      2014-12-10 – 2014-12-12
    • Data Source
      KAKENHI-PROJECT-26330400
  • [Presentation] Towards Constructing a Platform that Makes Learning Contents on the Web "Anti-Ubiquitous"

    • Author(s)
      Noriki Amano
    • Organizer
      The International Conference on Computer Science, Computer Engineering, and Education Technologies (CSCEET2014)
    • Place of Presentation
      Asia Pacific University of Technology and Innovation (マレーシア・クアラルンプール)
    • Year and Date
      2014-11-17 – 2014-11-19
    • Data Source
      KAKENHI-PROJECT-26330400
  • 1.  WATANABE Takuo (20222408)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 10 results
  • 2.  FUTATSUGI Kokichi (50251971)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  MORI Akira (30311682)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  SUZUKI Masato (30242572)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  IIDA Shusaku (80338590)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  OGATA Kazuhiro (30272991)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  NAKAMURA Masaki (40345658)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  ISCHISUGI Yuuji (30356464)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  GONDOW Katsuhiko (50262283)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  TANAKA Akira (10357452)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  岡田 光弘 (30224025)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi