牛島和夫 USHIJIMA Kazuo

… 別表記

研究者番号	40037750
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2006年度: 九州産業大学, 情報科学部, 教授 2005年度: 九州産業大学, 教授 2002年度 – 2003年度: 九州産業大学, 情報科学部, 学部長 2002年度 – 2003年度: 九州産業大学, 情報科学部, 教授 2001年度: (財)九州システム情報技術研究所, 研究所長 … もっと見る
審査区分/研究分野	研究代表者情報学 / 計算機科学 / 情報工学研究代表者以外計算機科学 / 情報学 / 人文・社会系 / メディア情報学・データベース / 情報工学 / 情報工学 / 数学一般(含確率論・統計数学) / 教育工学
キーワード	研究代表者日本語文書処理 / 字面解析 / テキスト処理 / ソフトウェア文書の評価法 / 計算機マニュアルの分かりやすさ / ス-パコンピュ-タプログラムの評価法 / ソフトウェア生産性のモデル式 / 組み込み型マイクロプロセッサ / 推敲支援 / Writing Tools … もっと見る研究代表者以外ソフトウェア工学 / プログラム開発環境 / 発想機構 / 分散開発環境 / ソフトウェア構成プロセス / ユ-ザ-インタ-フェ-ス / 相関論理 / 帰結論理 / テストケース / 並行処理プログラム / ソフトウェア開発効率化 / ユーザ・インタフェース / コンポーネントウェア / ソフトウェア部品 / 並行プログラム / カリキュラム / プログラム従属性 / プログラム解析 / デバッグ / 複雑さ評価 / 保守 / Concurrent Programs / Debug / EFL / BSR / PRAM / ソストウェア工学 / ユーザーインターフェース / 発現的知識処理 / 進化的知識処理 / 必然的な帰結関係 / 連言-含意パラドックス / 選言-含意パラドックス / 演繹等価性 / テスト法 / テスト充分性 / ランテブー通路 / 広域データフロー / 探針影響 / 発見的知識処理 / 自己革新的知識処理 / ソフトウェア発展 / ソフトウェア進化 / ソフトウェア構築方法論 / 科学的発見 / 認識プロセス / 認識的プログラミング / 強相関論理 / 相関的推論 / 拡充的推論 / 発見的・進化的知識処理 / 認識プロセスの強相関論理モデル / 認識プログラミング / 情報学の基本理念 / 情報学の理論体系 / 情報システム学 / ソフトウェア科学・工学 / 知能情報学 / マルチメディア情報処理 / 教育工学 / 自己計測 / Java / Ada95 / ソフトウェア開発支援 / リファクタリング / 機能変更・拡張 / 構造的欠陥 / Ada 95 / 計測仕様書 / デッドロック検出 / 半永続データ / 寿命付きデータ / ストリームデータ / アクティブAjax / Web 2.0 / データモデリング / パラダイム / ソフトウェア / プログラム言語 / オブジェクト指向 / 情報工学 / 情報科学 / 情報処理 / コンピュ-タサイエンス / 情報システム / 一般情報処理教育 / curriculum / computing / information science / information processing / computer science / information systems / 頻出概念 / コンピュータサイエンス / 知識ユニット / デニング図 / BFカリキュラム / 評価 / 抽象化 / Curriculum / Recurring Concepts / Computer science / Knowledge unit / Denning diagram / BF curriculum / Evaluation / Abstraction / テスト / 非決定的並列制御流れネット / 非決定的並列定義使用ネット / 同期従属性 / 通信従属性 / プロセス従属ネット / プロセス支配ネット / Program Dependencies / Program Analysis / Test / Complexity Metrics / Maintenance / ソフトウェアテスト / 事象同期モデル / 協調路 / テスト基準 / 被覆率 / 強制実行 / 事象相互作用モデル / テスト充分性評価 / Software Testing / Test-case / Event Synchronization Model / Cooperative Path / Testing Criterion / Coverage / Forced Execution / 命令型並行プログラム / 宣言型並行プログラム / スライシング / プログラム理解 / 論理型並行プログラム / 関数型並行プログラム / プロセス相互作用 / 並行プログラムの系統的開発法 / Imperative concurrent programs / Declarative concurrent programs / Program dependencies / Program analysis / Slicing / Program understanding / Complexity metrics / 計算量 / 有限体 / 楕円曲線 / フックス関数 / 素因数分解 / 多項式時間 / 巡回直交行列 / 情報構造 / 複雑性問題 / 多項式時間アルゴリズム / 計算量の下限 / 整数の素因数分解 / 有限体の上の楕円曲線 / 可換群の位数 / フックスの関数 / 複雑性の問題 / 有限体上の楕円曲線 / 高速フーリェ変換 / computational complexity / finite field / elliptic curve / Fuchsean function / factorization / polynomial time / cyclic othogonal matrix / ソフトウェア発展構成原理 / ソフトウェア発展基本機構 / ソフトウェア発展方法論 / ソフトウェア方式 / ソフトウェア適応的再構成 / 発展的ソフトウェア検証証明法 / ソフトウェア構築再構成方法論 / ソフトウエア構築再構成方法論 / principles for evolution / mechanisms of evolution / methodologies for evolution / environment for evolution / adaptive reconstruction / 教育用ソフトウェア / 高等教育 / 教育用材料作成支援 / Componentware / Component / Efficient Software Development / Educational Software / Higher Education / Authoring Tool / User Interface / 並列計算 / 並列計算モデル / 並列アルゴリズム / BROADCAST指令 / Parallel Computation / Model of Parallel Computation / Parallel Algorithms / BROADCAST Instruction / 並列処理 / 並列処理計算機システム / 並列処理計算機の構成方式 / 並列処理プログラミング言語 / 並列処理アルゴリズム / 並列処理システムのオペレーティング・システム / 並列処理計算機のアーキテクチャ / 並列処理言語 / Paralel Processing / Parallel Computer System / Parallel Computer Organization / Parallel Programming Language / Parallel Algorithm 隠す

半永続データの自己組織化管理に関する研究
- 研究代表者
  
  成凱
- 研究期間 (年度)
  2005 – 2006
- 研究種目
  
  萌芽研究
- 研究分野
  
  メディア情報学・データベース
- 研究機関
  九州産業大学
教育用ソフトウェア作成支援のためのソフトウェア部品開発とその活用に関する研究
- 研究代表者
  
  松野了二
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  教育工学
- 研究機関
  熊本県立大学
強力な並列計算モデルBSR^+のアルゴリズム実行環境の実現に関する研究
- 研究代表者
  
  相利民
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  九州産業大学
語学教育用ソフトウェア部品の開発とその活用に関する研究
- 研究代表者
  
  松野了二
- 研究期間 (年度)
  2001
- 研究種目
  
  特定領域研究(A)
- 審査区分
  
  人文・社会系
- 研究機関
  熊本県立大学
自己計測機能を持つ並行処理ソフトウェアの系統的開発法に関する研究
- 研究代表者
  
  乃村能成
- 研究期間 (年度)
  2001 – 2002
- 研究種目
  
  萌芽研究
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
情報学の学問体系に関する共同研究についての企画調査
- 研究代表者
  
  池田克夫
- 研究期間 (年度)
  2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
発展機構を備えたソフトウェアの構成原理の研究
- 研究代表者
  
  片山卓也
- 研究期間 (年度)
  2000
- 研究種目
  
  特定領域研究(A)
- 研究機関
  北陸先端科学技術大学院大学
科学的発見を支援する認識的プログラミングパラダイムの創立
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  萌芽的研究
- 研究分野
  
  計算機科学
- 研究機関
  埼玉大学
   九州大学
既存ソフトウェアの適応的発展の研究研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
並行型プログラム従属性理論に基づく統合的ソフトウェア開発支援環境研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1997 – 1999
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
発展機構を備えたソフトウェアの構成原理にかかわる総合研究
- 研究代表者
  
  片山卓也
- 研究期間 (年度)
  1996
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  北陸先端科学技術大学院大学
日本語テキスト高速解析ツールの人文科学研究への展開研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1995
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
情報構造と複雑性の総合的研究
- 研究代表者
  
  難波完爾 (難破完爾)
- 研究期間 (年度)
  1995 – 1996
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東京大学
並行型プログラムの総合的開発支援環境の構築研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1995 – 1996
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1994 – 1996
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
高機能高品質ソフトウェアの構成原理に関する研究総括班
- 研究代表者
  
  和田英一
- 研究期間 (年度)
  1993
- 研究種目
  
  重点領域研究
- 研究機関
  東京大学
発見的・自己革新的知識処理を基礎付ける論理体系の構築
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1993
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
プログラムの構造に基づく並行処理プログラムのテストケース作成技法の基礎的研究
- 研究代表者
  
  古川善吾
- 研究期間 (年度)
  1993 – 1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
高機能高品質ソフトウェアの評価法の研究研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1992
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
発現的・自己革新的知識処理を基礎付ける論理体系に関する研究
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1992
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
並行処理プログラムのテスト充分性評価技法の研究
- 研究代表者
  
  古川善吾
- 研究期間 (年度)
  1992
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報学
- 研究機関
  九州大学
大学における情報処理教育カリキュラムの具体化と評価方法に関する研究
- 研究代表者
  
  高橋延匡
- 研究期間 (年度)
  1992
- 研究種目
  
  国際学術研究
- 研究機関
  東京農工大学
並行プログラムの従属性理論とその応用に関する基礎的研究
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  1992 – 1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報工学
- 研究機関
  九州大学
高機能高品質ソフトウェアの構成原理に関する研究総括班
- 研究代表者
  
  和田英一
- 研究期間 (年度)
  1991
- 研究種目
  
  重点領域研究
- 研究機関
  東京大学
高機能高品質ソフトウェアの評価法の研究研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1991
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
演繹データベースの手法を用いたCADシステムの高機能化に関する研究研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1991 – 1993
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報学
- 研究機関
  九州大学
高機能高品質ソフトウェアの構成原理に関する研究総括班
- 研究代表者
  
  和田英一
- 研究期間 (年度)
  1990
- 研究種目
  
  重点領域研究
- 研究機関
  東京大学
高機能高品質ソフトウェアの評価法の研究研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1990 – 1992
- 研究種目
  
  重点領域研究
- 研究機関
  九州大学
高機能高品質ソフトウェアの構成原理に関する研究
- 研究代表者
  
  和田英一
- 研究期間 (年度)
  1989
- 研究種目
  
  総合研究(B)
- 研究機関
  東京大学
大学等の専門学科における情報処理教育カリキュラム実施の実態についての調査研究
- 研究代表者
  
  野口正一
- 研究期間 (年度)
  1989 – 1990
- 研究機関
  東北大学
並列型プログラムの検証支援法に関する基礎的研究研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1989 – 1990
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報工学
- 研究機関
  九州大学
日本語文章推敲支援ツ-ルの機能拡張と移植および利用分野の拡大に関する研究研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1989 – 1991
- 研究種目
  
  試験研究
- 研究分野
  
  情報学
- 研究機関
  九州大学
新パラダイムによるソフトウェア構成法に関する基礎研究
- 研究代表者
  
  和田英一
- 研究期間 (年度)
  1988
- 研究種目
  
  総合研究(B)
- 研究分野
  
  情報工学
- 研究機関
  東京大学
並列処理計算機の構成方式, 言語及びアルゴリズムに関する総合的研究
- 研究代表者
  
  萩原宏
- 研究期間 (年度)
  1986 – 1987
- 研究種目
  
  総合研究(A)
- 研究分野
  
  情報学
- 研究機関
  京都大学
日本語文章推敲支援ツールの実用化に関する研究研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1986 – 1988
- 研究種目
  
  試験研究
- 研究分野
  
  情報学
- 研究機関
  九州大学
日本語処理のためのプログラミング支援環境の構築に関する研究研究代表者
- 研究代表者
  
  牛島和夫
- 研究期間 (年度)
  1985 – 1986
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報学
- 研究機関
  九州大学

すべて 2006 2005 その他

すべて雑誌論文

[雑誌論文] On Gray Codes for Set Partitions2006
- 著者名/発表者名
  L.Xiang, K.Cheng, K.Ushijima
- 雑誌名
  
  Proc. Information-MFCSIT 2006
  
  ページ: 180-183
- データソース
  KAKENHI-PROJECT-17650034
[雑誌論文] Constant Time Algorithm to Generate Plus and Minus Symbol Sequences2006
- 著者名/発表者名
  L.Xiang, K.Cheng, K.Ushijima
- 雑誌名
  
  INFORMATION 9・2
  
  ページ: 331-337
- データソース
  KAKENHI-PROJECT-17650034
[雑誌論文] A Web-based Classroom Environment for Enhanced Residential College Education2005
- 著者名/発表者名
  K.Cheng, L.Xiang, T.Hirota, K.Ushijima
- 雑誌名
  
  Proc.ICWL 2005
  
  ページ: 56-65
- データソース
  KAKENHI-PROJECT-17650034
[雑誌論文] Efficient Web Profiling by Time-Decaying Bloom Filters2005
- 著者名/発表者名
  K.Cheng, M.Iwaihara, L.Xiang, K.Ushijima
- 雑誌名
  
  DBSJ Letters 4・1
  
  ページ: 137-140
- データソース
  KAKENHI-PROJECT-17650034
[雑誌論文] Encoding a Binary Search Tree in Constant Time on BSR
- 著者名/発表者名
  L.Xiang, K.Cheng, K.Ushijima
- 雑誌名
  
  Proc.PDCAT 2005
  
  ページ: 740-744
- データソース
  KAKENHI-PROJECT-17650034
[雑誌論文] Sequence analysis in constant time on BSR
- 著者名/発表者名
  L.Xiang, K.Cheng, K.Ushijima
- 雑誌名
  
  Proc. of PDCAT 2006
  
  ページ: 431-436
- データソース
  KAKENHI-PROJECT-17650034

1. 程京徳 (30217228)

共同の研究課題数: 10件

共同の研究成果数: 0件
2. 古川善吾 (30190135)

共同の研究課題数: 8件

共同の研究成果数: 0件
3. 宮本衛市 (00001173)

共同の研究課題数: 7件

共同の研究成果数: 0件
4. 片山卓也 (70016468)

共同の研究課題数: 7件

共同の研究成果数: 0件
5. 和田英一 (50010723)

共同の研究課題数: 6件

共同の研究成果数: 0件
6. 武市正人 (10011165)

共同の研究課題数: 5件

共同の研究成果数: 0件
7. 米沢明憲 (00133116)

共同の研究課題数: 4件

共同の研究成果数: 0件
8. 藤村直美 (40117239)

共同の研究課題数: 4件

共同の研究成果数: 0件
9. 乃村能成 (70274496)

共同の研究課題数: 4件

共同の研究成果数: 0件
10. 荒木啓二郎 (40117057)

共同の研究課題数: 4件

共同の研究成果数: 0件
11. 高木利久 (30110836)

共同の研究課題数: 4件

共同の研究成果数: 0件
12. 鳥居宏次 (10172222)

共同の研究課題数: 3件

共同の研究成果数: 0件
13. 島崎眞昭 (60026242)

共同の研究課題数: 3件

共同の研究成果数: 0件
14. 伊藤貴康 (80124551)

共同の研究課題数: 3件

共同の研究成果数: 0件
15. 土居範久 (50051553)

共同の研究課題数: 3件

共同の研究成果数: 0件
16. 高橋延匡 (70111630)

共同の研究課題数: 3件

共同の研究成果数: 0件
17. 木村泉 (50015525)

共同の研究課題数: 3件

共同の研究成果数: 0件
18. 中森真理雄 (00111633)

共同の研究課題数: 2件

共同の研究成果数: 0件
19. 稲田俊明 (80108258)

共同の研究課題数: 2件

共同の研究成果数: 0件
20. 菅沼明 (70235852)

共同の研究課題数: 2件

共同の研究成果数: 0件
21. 阿草清滋 (90026360)

共同の研究課題数: 2件

共同の研究成果数: 0件
22. 松野了二 (60044351)

共同の研究課題数: 2件

共同の研究成果数: 0件
23. 堤豊 (80227446)

共同の研究課題数: 2件

共同の研究成果数: 0件
24. 税所幹幸 (00153784)

共同の研究課題数: 2件

共同の研究成果数: 0件
25. 野口正一 (80006220)

共同の研究課題数: 2件

共同の研究成果数: 0件
26. 大岩元 (20011679)

共同の研究課題数: 2件

共同の研究成果数: 0件
27. 都倉信樹 (10029423)

共同の研究課題数: 2件

共同の研究成果数: 0件
28. 吉田紀彦 (00182775)

共同の研究課題数: 2件

共同の研究成果数: 0件
29. 平原正樹 (10192717)

共同の研究課題数: 2件

共同の研究成果数: 0件
30. 末吉敏則 (00117136)

共同の研究課題数: 2件

共同の研究成果数: 0件
31. 國井利泰 (50013743)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 松永勝也 (10036999)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 坂本憲広 (00253485)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 佐藤賢二 (10215783)

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 下園幸一 (20253510)

共同の研究課題数: 1件

共同の研究成果数: 0件
36. 難波完爾 (40015524)

共同の研究課題数: 1件

共同の研究成果数: 0件
37. 筧捷彦 (20062672)

共同の研究課題数: 1件

共同の研究成果数: 0件
38. 榎本彦衛 (00011669)

共同の研究課題数: 1件

共同の研究成果数: 0件
39. 小林孝次郎 (00016148)

共同の研究課題数: 1件

共同の研究成果数: 0件
40. 湯淺太一 (60158326)

共同の研究課題数: 1件

共同の研究成果数: 0件
41. 井上克郎 (20168438)

共同の研究課題数: 1件

共同の研究成果数: 0件
42. 徳田英幸 (80227579)

共同の研究課題数: 1件

共同の研究成果数: 0件
43. 相利民 (60341294)

共同の研究課題数: 1件

共同の研究成果数: 0件
44. 萩原宏 (00025818)

共同の研究課題数: 1件

共同の研究成果数: 0件
45. 柴山潔 (70127091)

共同の研究課題数: 1件

共同の研究成果数: 0件
46. 高橋義造 (90116830)

共同の研究課題数: 1件

共同の研究成果数: 0件
47. 池田克夫 (30026009)

共同の研究課題数: 1件

共同の研究成果数: 0件
48. 上林弥彦 (00026311)

共同の研究課題数: 1件

共同の研究成果数: 0件
49. 成凱 (50368875)

共同の研究課題数: 1件

共同の研究成果数: 0件
50. 堂下修司 (00025925)

共同の研究課題数: 1件

共同の研究成果数: 0件
51. 木實新一 (70234804)

共同の研究課題数: 1件

共同の研究成果数: 0件
52. 最所圭三 (50170486)

共同の研究課題数: 1件

共同の研究成果数: 0件
53. 川合慧 (50011664)

共同の研究課題数: 1件

共同の研究成果数: 0件
54. 蒲池正幸 (90274498)

共同の研究課題数: 1件

共同の研究成果数: 0件
55. 喜屋武盛基 (90044990)

共同の研究課題数: 1件

共同の研究成果数: 0件
56. SHAPIRO Stua

共同の研究課題数: 1件

共同の研究成果数: 0件
57. RALSTON Anth

共同の研究課題数: 1件

共同の研究成果数: 0件
58. KERSHNER Hel

共同の研究課題数: 1件

共同の研究成果数: 0件
59. SELMAN Alan

共同の研究課題数: 1件

共同の研究成果数: 0件

牛島 和夫 USHIJIMA Kazuo

牛島 和男 ウシジマ カズオ

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

既存ソフトウェアの適応的発展の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

並行型プログラム従属性理論に基づく統合的ソフトウェア開発支援環境研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

日本語テキスト高速解析ツールの人文科学研究への展開研究代表者

研究代表者

研究期間 (年度)

研究種目

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

並行型プログラムの総合的開発支援環境の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

牛島和夫 USHIJIMA Kazuo

牛島和男ウシジマカズオ