| 2010年〜2011年 | ： | 国立情報学研究所 / 教授 |
|---|---|---|
| 2007年 | ： | 国立情報学研究所 / 教授 |
| 2006年〜2007年 | ： | 国立情報学研究所 / 情報社会相関研究系 / 教授 |
| 2006年 | ： | 国立情報学研究所 / 情報学基礎研究系 / 教授 |
| 2002年〜2006年 | ： | 国立情報学研究所 / 助教授 |
| 2000年〜2005年 | ： | 国立情報学研究所 / 情報学基礎研究系 / 助教授 |
| 2003年〜2004年 | ： | 国立情報学研究所 / 情報基礎研究系 / 助教授 |
| 2001年 | ： | 国立情報学研究所 / 情報学基礎研究系・情報数理研究部門 / 助教授 |
| 1999年〜2001年 | ： | 広島市立大学 / 情報科学部 / 助手 |
| 2000年 | ： | 国立情報学研究所 / 情報学基礎研究系情報数理研究部門 / 助教授 |
| 1996年 | ： | 広島市立大学 / 情報科学部 / 助手 |
研究課題の研究分野
- 計算の複雑さ
- 証明論
- インターネット
- ロジック
- 証明の複雑さ
- 自動証明
- コンテンツ・マネージメント
- ポータル
- 協調的学習
- 命題論理
- tableau
- resolution
- 数学基礎論
- 協調学習
- 情報共有
- 複雑さ理論
- 知識共有
- 計算の複雑さ理論
- 証明の複雑さ理論
- バーチャル・オフィス
- 遠隔教育
- 計算量
- ソフトウェア発展
- 宣言的プログラミング
- 厳密なレビュー
- ソフトウェア検証
- SOFL
- 教育工学
- 極小被覆集合
- e-Learning
- 関数型プログラミング
- 数学教育
- 形式手法
- 極小更新
- デフォルト論理
- 極小変更
- Object-oriented Design
- 形式工学手法
- 科学教育
- コンテンツ・アーカイブ
- Formal Engineering Methods
- 解析・評価
- 論理的思考力
- To-down design
- Software tool
- 極大正集合
- Formal Specification
- コミュニケーション能力
- ソフトウェアテスト
- Object-Oriented Design
- 支援環境
- 形式仕様
- 仕様分析
- 極小負集合
- Workflow
- Specification Transformation
- 仮説論理プログラム
- プレゼンテーション能力
- データマイニング
- 形式意味
- 教育学
- 形式的仕様
- 学習コミュニティ
- 極大無矛盾集合
- 論理力
- 仕様テスト
- ソフトウェア進化
- システム開発
研究課題
-
- 初等中等教育向けワンストップシステムの研究と開発
-
新井 紀子
研究期間 ： 2010年度～2011年度
-
- 新世紀を担う子どもたちのための数学問題セットの開発
-
研究期間 ： 2005年度～2006年度
-
- コミュニティビジネスを支援する情報共有支援システムの研究と開発
-
新井 紀子
研究期間 ： 2004年度～2007年度 - 研究分野：情報図書館学・人文社会情報学
- 研究種目：基盤研究(B)
- 研究機関：国立情報学研究所
-
- 宣言的プログラミングにおけるソフトウェア発展の研究
-
研究期間 ： 2003年度～2003年度
-
- “科学を創る"学習コミュニティにおける学習促進方策に関する研究
-
研究期間 ： 2003年度～2004年度
-
- 宣言的プログラミングにおけるソフトウェア発展の研究
-
研究期間 ： 2002年度～2002年度
-
- 宣言的プログラミングにおけるソフトウェア発展の研究
-
研究期間 ： 2001年度～2001年度
-
- 命題論理の証明の長さに関する研究
-
新井 紀子
研究期間 ： 1999年度～2000年度
-
- FM-ISEE:形式的手法と知的ソフトウェア工学環境
-
研究期間 ： 1996年度～1997年度
このページのURI
http://kaken.nii.ac.jp/ja/r/40264931