• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

天野 憲樹  AMANO NORIKI

ORCIDORCID連携する *注記
… 別表記

天野 憲紀  AMANO Noriki

隠す
研究者番号 30313703
その他のID
外部サイト
所属 (現在) 2025年度: ノートルダム清心女子大学, 情報デザイン学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2015年度 – 2016年度: 武庫川女子大学, 生活環境学部, 教授
2014年度: 埼玉大学, 教育機構基盤教育研究センター, 教授
2009年度 – 2011年度: 岡山大学, 教育開発センター, 准教授
2006年度: 岡山大学, 教育開発センター, 助教授
2000年度 – 2005年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
2003年度: 北陸先端科技大, 情報科学研究科, 助手
審査区分/研究分野
研究代表者
ソフトウエア / 計算機科学 / 学習支援システム
研究代表者以外
理工系 / 計算機科学 / ソフトウエア
キーワード
研究代表者
学習コンテンツ / LMS / アンチ・ユビキタス / LSM / Web / eラーニング / Web-Based Learning / eラーニング / ICT / ミドルウェア … もっと見る / メタレベルアーキテクチャ / 表明 / 安全性 / 脆弱性 / メッセージ通信システム / メッセージ通信 / システムの脆弱性 / アクティブRFID / コンテキストアウェア / ユビキタスコンピューティング / 記述言語 / 適応 / フレームワーク / 電子商取引 / モバイルエージェント / 耐タンパ・ソフトウェア / 自己反映計算 / プログラミング言語 / ソフトウェアモデル / コンポーネントウェア / モバイルコンピューティング / リアルタイム / マルチメディア / 動的適応 … もっと見る
研究代表者以外
Java / CafeOBJ / 移動コード / dynamic adaptation / mobile code / policy enforcement / 適応可能ソフトウェア / 拡張可能ソフトウェア / 契約による設計 / 自己反映計算 / セキュリティ / バイトコード変換 / 動的適応 / 実行時検査 / ポリシー強制 / formal methods / 形式手法 / 検証 / 形式仕様 / PigNose / cross-cutting concerns / aspect orientation / design by contract / adaptive software / execution-time analysis / self checking code / bytecode transformation / Common-Lisp / プロセス代数 / 自己検査コード / 横断的関心事 / アスペクト指向 / 適応的ソフトウェア / 実行時解析 / 自己検査モード / security / fault-torelant software / metalevel architecture / reflection / non-functional requirements / LEAD++ / モーバイルエージェント / 耐故障ソフトウェア / メタレベル・アーキテクチャ / 反映 / 非機能的要件 / metalevel architecuture / object-oriented language / byte-code modification / software composition / runtime checking / ロード時自己反映 / 安全なソフトウェア / アスペクト / JML / セキュリティポリシー / メタレベルアーキテクチャ / オブジェクト指向言語 / モジュール結合 / behavioral specification / e-commerce protocol / authentication protocol / unknown virus detection / system verification / system security / 抽象機械 / 実時間システム / セキュアプロトコル / 安全性検証 / Java仮想機械 / CadeOBJ / UNITY / 自動証明器PigNose / 安全性 / 振舞モデル検査 / ウィルス検査 / cafeOBJ / 振舞仕様 / 電子商取引プロトコル / 認証プロトコル / 未知ウイルス検知 / システム検証 / システム安全性 / high-assurance software / resolution / verification / algebraic specification / components / モデル検査 / 振舞詳細化 / シグネチャ・マッチング / 仕様リポジトリ / 安全性検査 / 詳細化検証 / ソフトウェア・コンポネント / 分散オブジェクト / 分散システム / 仕様 / モジュールシステム / 支援ツール / 高信頼 / コンポーネント / 高品位ソフトウェア / 導出 / 代数仕様 / コンポネント 隠す
  • 研究課題

    (10件)
  • 研究成果

    (36件)
  • 共同研究者

    (11人)
  •  既存のWebサイト・アプリのアンチ・ユビキタス化と教育利用の探究研究代表者

    • 研究代表者
      天野 憲樹
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      学習支援システム
    • 研究機関
      武庫川女子大学
      埼玉大学
  •  アンチ・ユビキタス・ラーニングの研究研究代表者

    • 研究代表者
      天野 憲樹
    • 研究期間 (年度)
      2009 – 2011
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      ソフトウエア
    • 研究機関
      岡山大学
  •  ユビキタスコンピューティングにおける柔軟かつ安全なソフトウェアの研究開発研究代表者

    • 研究代表者
      天野 憲樹
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      岡山大学
      北陸先端科学技術大学院大学
  •  適応的ソフトウェア構築のための宣言的ポリシー記述とその整合性検査方式の研究

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2003 – 2004
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      東京工業大学
      国立情報学研究所
  •  自己反映計算を用いた耐タンパ・ソフトウェアの系統的構成方式と記述言語の研究研究代表者

    • 研究代表者
      天野 憲樹
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  動的適応可能なマルチメディアアプリケーションの構成方式と言語支援の研究研究代表者

    • 研究代表者
      天野 憲樹
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学
  •  振舞仕様に基づく安全性検証の研究

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      2000 – 2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      北陸先端科学技術大学院大学
  •  拡張・適応可能なソフトウェアのセキュアな構成方式

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2000 – 2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      国立情報学研究所
      東京工業大学
  •  非機能的要件を考慮した適応的移動コードのモジュール化手法

    • 研究代表者
      渡部 卓雄
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      東京工業大学
      北陸先端科学技術大学院大学
  •  分散オブジェクト環境におけるコンポネント仕様の検証に関する研究

    • 研究代表者
      二木 厚吉
    • 研究期間 (年度)
      1999 – 2002
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      北陸先端科学技術大学院大学

すべて 2017 2016 2015 2014 2012 2010 2009 2007 2005 2004 2003 2002 2001 2000 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] A Method that makes WBL Anti-Ubiquitous in Practice and Its Support System2017

    • 著者名/発表者名
      Noriki Amano
    • 雑誌名

      International Journal of Innovation, Management and Technology

      巻: 8 ページ: 155-160

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26330400
  • [雑誌論文] Building a Platform that makes Online Learning "Anti-Ubiquitous"2015

    • 著者名/発表者名
      Noriki Amano
    • 雑誌名

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

      巻: 1 ページ: 61-67

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-26330400
  • [雑誌論文] アンチ・ユビキタス・ラーニンダ2012

    • 著者名/発表者名
      天野憲樹
    • 雑誌名

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

      ページ: 99-100

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21650007
  • [雑誌論文] 擬似的なアンチ・ユビキタス・ラーニングの実験と考察2012

    • 著者名/発表者名
      天野憲樹
    • 雑誌名

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

      巻: (掲載予定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21650007
  • [雑誌論文] アンチ・ユビキタス・ラーニング2012

    • 著者名/発表者名
      天野憲樹
    • 雑誌名

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

      ページ: 99-100

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21650007
  • [雑誌論文] Anti-Ubiquitous Learning : A New Learning Paradigm2010

    • 著者名/発表者名
      Noriki Amano
    • 雑誌名

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

      ページ: 219-224

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21650007
  • [雑誌論文] Anti-Ubiquitous Learning-A New Learning Paradigm-2010

    • 著者名/発表者名
      Noriki Amano
    • 雑誌名

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

      ページ: 219-224

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21650007
  • [雑誌論文] アンチ・ユビキタス・ラーニング-概念と仕様-2010

    • 著者名/発表者名
      天野憲樹
    • 雑誌名

      日本e-Learning学会誌

      巻: Vol.10 ページ: 47-53

    • NAID

      40017187709

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21650007
  • [雑誌論文] アンチ・ユビキタス・ラーニング-概念と仕様-2009

    • 著者名/発表者名
      天野憲樹
    • 雑誌名

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

      ページ: 27-30

    • NAID

      40017187709

    • データソース
      KAKENHI-PROJECT-21650007
  • [雑誌論文] アンチ・ユビキタス・ラーニング-概念と仕様-2009

    • 著者名/発表者名
      天野憲樹
    • 雑誌名

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

      ページ: 27-30

    • NAID

      40017187709

    • データソース
      KAKENHI-PROJECT-21650007
  • [雑誌論文] Javaの擬似的なメソッド・コールバック2007

    • 著者名/発表者名
      天野憲樹
    • 雑誌名

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

      ページ: 19-24

    • NAID

      110006239526

    • データソース
      KAKENHI-PROJECT-16700027
  • [雑誌論文] 擬似的な適応メソッドの実現2005

    • 著者名/発表者名
      天野憲樹
    • 雑誌名

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

      ページ: 7-12

    • NAID

      110003488397

    • データソース
      KAKENHI-PROJECT-16700027
  • [雑誌論文] The Concept and Description of Adaptable Methods2004

    • 著者名/発表者名
      Noriki Amano
    • 雑誌名

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

      ページ: 185-190

    • データソース
      KAKENHI-PROJECT-16700027
  • [雑誌論文] LampJ : A Library of Adaptable Modular Programming for Java2003

    • 著者名/発表者名
      Noriki Amano
    • 雑誌名

      International Conference on Software Engineering and Applications

      ページ: 465-470

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] LampJ : A Library of Adaptable Modular Programming for Java2003

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

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

      ページ: 465-470

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500028
  • [雑誌論文] A Software Model for Flexible and Safe Adaptation for Mobile Code Programs2002

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

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

      ページ: 57-61

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] A Secure Dynamic Extension Mechanism for Mobile Agents2001

    • 著者名/発表者名
      Takuo Watanabe, Noriki Amano
    • 雑誌名

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

      ページ: 28-31

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] Towards Constructing Component-based Software Systems with Safe Dynamic Adaptability2001

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

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

      ページ: 178-181

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability2001

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

      AISB '01 Symposium on Software Mobility and Adaptive Behavior

      ページ: 105-113

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] A Secure Dynamic Extension Mechanism for Mobile Agents2001

    • 著者名/発表者名
      Takuo Watanabe, Noriki Amano
    • 雑誌名

      AISB '01 Symposium on Software Mobility and Adaptive Behavior

      ページ: 28-31

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability2001

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

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

      ページ: 105-113

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] Towerds Constructing Component-based Software Systems with Safe Dynamic Adaptability2001

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

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

      ページ: 178-181

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++2000

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

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

      ページ: 118-127

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [雑誌論文] An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++2000

    • 著者名/発表者名
      Noriki Amano, Takuo Watanabe
    • 雑誌名

      International Symposium on Principles of Software Evolution (ISPSE 2000)

      ページ: 118-127

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-12680340
  • [学会発表] A Method that makes WBL Anti-Ubiquitous in Practice and Its Support System2017

    • 著者名/発表者名
      Noriki Amano
    • 学会等名
      International Conference on Education and Management Innovation 2017 (ICEMI2017)
    • 発表場所
      ベトナム(ホーチミン)
    • 年月日
      2017-02-22
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330400
  • [学会発表] WBLのアンチ・ユビキタス化を機能させる手法と支援システム2016

    • 著者名/発表者名
      天野憲樹
    • 学会等名
      教育システム情報学会第41回全国大会
    • 発表場所
      帝京大学・宇都宮キャンパス
    • 年月日
      2016-08-29
    • データソース
      KAKENHI-PROJECT-26330400
  • [学会発表] Webの学習コンテンツをアンチ・ユビキタス化するプラットフォームの構築手法2014

    • 著者名/発表者名
      天野憲樹
    • 学会等名
      教育システム情報学会研究会2014年度第4回研究会
    • 発表場所
      電気通信大学(東京都・調布市)
    • 年月日
      2014-11-08
    • データソース
      KAKENHI-PROJECT-26330400
  • [学会発表] アンチ・ユビキタス・ラーニング2012

    • 著者名/発表者名
      天野憲樹
    • 学会等名
      第18回大学教育研究フォーラム
    • 発表場所
      京都
    • 年月日
      2012-03-15
    • データソース
      KAKENHI-PROJECT-21650007
  • [学会発表] 擬似的なアンチ・ユビキタス・ラーニングの実験と考察2012

    • 著者名/発表者名
      天野憲樹
    • 学会等名
      大学教育学会・第34回大会
    • 発表場所
      北海道(予定)
    • 年月日
      2012-05-27
    • データソース
      KAKENHI-PROJECT-21650007
  • [学会発表] アンチ・ユビキタス・ラーニング2012

    • 著者名/発表者名
      天野憲樹
    • 学会等名
      第18回大学教育研究フォーラム
    • 発表場所
      京都大学吉田キャンパス
    • 年月日
      2012-03-15
    • データソース
      KAKENHI-PROJECT-21650007
  • [学会発表] Anti-Ubiquitous Learning-A New Learning Paradigm-2010

    • 著者名/発表者名
      Noriki Amano
    • 学会等名
      The Eighth IASTED International Conference Web-based Education(WBE 2010)
    • 発表場所
      エジプト
    • 年月日
      2010-03-15
    • データソース
      KAKENHI-PROJECT-21650007
  • [学会発表] Anti-Ubiquitous Learning : A New Learning Paradigm2010

    • 著者名/発表者名
      Noriki Amano
    • 学会等名
      The Nineth IASTED International Conference on Web-based Education(WBE 2010)
    • 発表場所
      Sharm El Sheikh, Egypt
    • 年月日
      2010-03-16
    • データソース
      KAKENHI-PROJECT-21650007
  • [学会発表] アンチ・ユビキタス・ラーニング-概念と仕様-2009

    • 著者名/発表者名
      天野憲樹
    • 学会等名
      日本e-Learning学会2009年秋季学術講演会
    • 発表場所
      東京
    • 年月日
      2009-11-26
    • データソース
      KAKENHI-PROJECT-21650007
  • [学会発表] アンチ・ユビキタス・ラーニング-概念と仕様-2009

    • 著者名/発表者名
      天野憲樹
    • 学会等名
      日本e-Learning学会2009年度秋季学術講演会
    • 発表場所
      東京
    • 年月日
      2009-11-26
    • データソース
      KAKENHI-PROJECT-21650007
  • [学会発表] 教育リソースをアンチ・ユビキタス化する統一プラットフォームの構想

    • 著者名/発表者名
      天野憲樹
    • 学会等名
      大学ICT推進協議会2014年度年次大会
    • 発表場所
      仙台市情報・産業プラザTKPガーデンシティ仙台(宮城県・仙台市)
    • 年月日
      2014-12-10 – 2014-12-12
    • データソース
      KAKENHI-PROJECT-26330400
  • [学会発表] Towards Constructing a Platform that Makes Learning Contents on the Web "Anti-Ubiquitous"

    • 著者名/発表者名
      Noriki Amano
    • 学会等名
      The International Conference on Computer Science, Computer Engineering, and Education Technologies (CSCEET2014)
    • 発表場所
      Asia Pacific University of Technology and Innovation (マレーシア・クアラルンプール)
    • 年月日
      2014-11-17 – 2014-11-19
    • データソース
      KAKENHI-PROJECT-26330400
  • 1.  渡部 卓雄 (20222408)
    共同の研究課題数: 3件
    共同の研究成果数: 10件
  • 2.  二木 厚吉 (50251971)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 3.  森 彰 (30311682)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 4.  鈴木 正人 (30242572)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  飯田 周作 (80338590)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  緒方 和博 (30272991)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  中村 正樹 (40345658)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  一杉 裕志 (30356464)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  権藤 克彦 (50262283)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  田中 哲 (10357452)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  岡田 光弘 (30224025)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi