メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
前のページに戻る
牛島 和夫
USHIJIMA Kazuo
ORCID連携する
*注記
…
別表記
牛島 和男 ウシジマ カズオ
隠す
研究者番号
40037750
その他のID
外部サイト
所属（過去の研究課題情報に基づく）
*注記
2006年度 : 九州産業大学, 情報科学部, 教授
2005年度 : 九州産業大学, 教授
2002年度 – 2003年度 : 九州産業大学, 情報科学部, 学部長
2002年度 – 2003年度 : 九州産業大学, 情報科学部, 教授
2001年度 : (財)九州システム情報技術研究所, 研究所長
…
もっと見る
1999年度 – 2000年度 : 九州大学, システム情報科学研究科, 教授
1999年度 – 2000年度 : 九州大学, 大学院・システム情報科学研究院, 教授
1996年度 – 1999年度 : 九州大学, 大学院・システム情報科学研究科, 教授
1998年度 : 九州大学, 大学院システム情報科学研究科, 教授
1987年度 – 1996年度 : 九州大学, 工学部, 教授
1986年度 : 九大, 工学部, 教授
隠す
審査区分/研究分野
研究代表者以外
計算機科学
/
情報学
/
情報工学
/
数学一般(含確率論・統計数学)
/
情報工学
/
教育工学
/
人文・社会系
/
メディア情報学・データベース
キーワード
研究代表者以外
ソフトウェア工学 / プログラム従属性 / プログラム開発環境 / 分散開発環境 / ソフトウェア構成プロセス / ユ-ザ-インタ-フェ-ス / 発想機構 / 並行プログラム / Concurrent Programs / Ada95
…
もっと見る
/ テキスト処理 / 字面解析 / 日本語文書処理 / スライシング / デバッグ / ソフトウェア生産性のモデル式 / ユーザ・インタフェース / プロセス従属ネット / テスト / 計算機マニュアルの分かりやすさ / 複雑さ評価 / ソフトウェア開発支援 / BSR / テストケース自動生成 / プログラム解析 / ASIS / Program dependencies / Textual Analysis / オブジェクト指向 / Slicing / 帰結論理 / テスト充分性 / ソフトウェア文書の評価法 / ソフトウェア部品 / テストケース / EFL / ス-パコンピュ-タプログラムの評価法 / 並行処理プログラム / プログラム従属性理論 / 相関論理 / Ada 95 / 保守 / Debug / PRAM / 組み込み型マイクロプロセッサ / Japanese Text Processing / 推敲支援 / カリキュラム / Personal Computer / Integrated support environment / 統一的プログラム抽象表現 / コンポーネントウェア / 並行型プログラム開発支援環境 / Writing Tools / ソフトウェア開発効率化 / 利用者インタフェ-スの評価法 / 利用者インタ-フェ-スの評価法 / Deductive Database / Educational Software / マイクロカーネル / Concurrent Programming / 既存ソフトウェア / 非決定的並列定義使用ネット / 非決定的定義使用ネット / Next Generation Database / リファクタリング / 抽象化 / Denning diagram / OSC / 関数型並行プログラム / Testing / 並行プログラムの従属性モデル / 頻出概念 / 寿命付きデータ / エラーメッセージの日本語化 / OSカーネル内外の適応的発展機構 / Software reconstruction / Software Developing Environment / Human-Computer Interface / Deadlock / ソフトウェア構築方法論 / ヒューマンインタフェースの評価 / 並列処理計算機のアーキテクチャ / Web 2.0 / テスト基準 / Object orientation / 著作過程の詳細分析 / Evaluation / Distributed Cooperative Processing / 開発環境 / ソフトウェア進化 / 文字列照合 / 初心者の学習プロセス / principles for evolution / curriculum / 多項式時間 / テスト十分性 / Deductive Object-Oriented Database / マンマシンインターフェース / information processing / 宣言型並行プログラム / プロセス支配ネット / プロトタイピング / 自己計測 / Model of Parallel Computation / 非決定的並列制御流れネット / ソストウェア工学 / 被覆率 / 分散実行環境 / 相関的推論 / Test-case / 非正規関係 / 発見的知識処理 / 計算量 / コンピュ-タサイエンス / Understanding of software / Parallel Programming Language / Abstraction / 有限体上の楕円曲線 / CFN / Program Analysis / マルチメディア情報処理 / パ-ソナルコンピュ-タ / 科学的発見 / オブジェクト指向データベース / 連言-含意パラドックス / polynomial time / ソフトウェア方式 / フックスの関数 / 機能変更・拡張 / Validation / Normalized Japanese Text / 知識ユニット / Higher Education / UNIXワークステーションの価格性能比 / マジックセット法 / 分散協調処理 / テスト法 / プログラム言語 / Adaのパッケージ機能 / Work Station / 並列処理言語 / Genome Database / 広域データフロー / 検証 / 高機能データベース / ソフトウェア再構成 / 探針影響 / 並列計算機用言語処理系 / Specification / 拡充的推論 / Boyer-Moore Algorithm / adaptive reconstruction / ソフトウェア理解 / 並行プログラムの複雑さ評価 / Boyer-Mooreアルゴリズム / プログラム変換 / 認識プロセスの強相関論理モデル / String Matching / 発現的知識処理 / Recurring Concepts / 並列処理のスケジュ-リングアルゴリズム / 事象同期モデル / 演繹デ-タベ-ス / ユーザーインターフェース / Software Testing / Declarative concurrent programs / User Interface / 要求の変化 / 統合開発環境 / ソフトウェア発展方法論 / 発展的ソフトウェア検証証明法 / 演繹データベース / LAPACK / information science / 情報構造 / 強制実行 / 正規化日本語文字 / データモデリング / Portability / Knowledge unit / 間接的接続関係 / アーキテクチャ依存部分 / ソフトウェアテスト / 仕様記述 / Distributed RunーTime Environment / ユーザビリティ評価実験 / 知能情報学 / 質問処理 / パーソナルコンピュータ / Program dependence theory / プロセス相互作用 / Component / ワークステーション / Change of requirements / ソフトウェア開発環境 / 高等教育 / 演繹等価性 / Complexity Metrics / 使用環境の変化 / サービス処理処理の調整 / ゲノム情報処理 / 情報学の基本理念 / Fuchsean function / 半永続データ / ストリームデータ / Test / 並列プログラミング言語処理系 / Complexity metrics / BROADCAST指令 / Cooperative Path / Componentware / フックス関数 / methodologies for evolution / 同期従属性 / Unified Program representations / 複雑性の問題 / テスト充分性評価 / 事象相互作用モデル / 並列処理 / Text Processing / 推敲支援ツール / 複雑性問題 / 協調路 / factorization / 必然的な帰結関係 / environment for evolution / Imperative concurrent programs / ランテブー通路 / Curriculum / ワ-クステ-ション / 並列処理プログラミング言語 / 並列処理システムのオペレーティング・システム / 素因数分解 / 並列計算 / 通信従属性 / アクティブAjax / CADデータ / 情報学の理論体系 / 可換群の位数 / 次世代オペレーティングシステム / 教育工学 / ソフトウェア / 並列処理アルゴリズム / デザインパターン / 演繹オブジェクト指向データベース / 並列アルゴリズム / ゲノムデータ / mechanisms of evolution / 情報工学 / 認識プログラミング / 初心者の学習モデル / Change of user environment / 楕円曲線 / 適応度の評価 / 強相関論理 / Debugging / 日本語文章処理 / Program analysis / 組み込み型ソフトウェアの生産性 / テスケース自動生成 / 有限体の上の楕円曲線 / 実時間処理 / Testing Criterion / Parallel Computation / 計算量の下限 / 巡回直交行列 / Language processor for parallel computer system / BFカリキュラム / プログラム理解 / アーキテクチャ依存 / Evaluation of adaptability / ユーザインタフェース / ソフトウェア適応的再構成 / Object-Oriented Database / ソフトウェア発展 / Efficient Software Development / 高速フーリェ変換 / information systems / elliptic curve / CADデ-タベ-ス / 選言-含意パラドックス / Parallel Computer Organization / Paralel Processing / Parallel Algorithms / 並列処理計算機の構成方式 / 遠隔保守 / コンピュータサイエンス / Testing adequacy / Computer science / 並行型プログラム / ソフトウエア構築再構成方法論 / 再帰質問処理 / Adaptive evolution of operating system / 定義使用ネット / 進化的知識処理 / 有限体 / 利用者インタフェ-ス / Authoring Tool / ソフトウェア構築再構成方法論 / 従属性理論 / ソフトウェア開発シュミレーションモデル / finite field / computational complexity / 一般情報処理教育 / Java / Program understanding / 並列計算モデル / パラダイム / デッドロック / 利用者インタフェース / 並列型プログラム / ソフトウェア発展構成原理 / cyclic othogonal matrix / 教育用ソフトウェア / 遠隔保字 / 発見的・進化的知識処理 / 自己革新的知識処理 / デニング図 / 並列処理計算機システム / 情報科学 / Parallel Algorithm / BF curriculum / 正規日本語テキスト / 計測仕様書 / Forced Execution / 並行プログラムの系統的開発法 / DNA2次構造 / CADデータベース / Maintenance / Ada / 評価 / 多項式時間アルゴリズム / BROADCAST Instruction / ソフトウェア文書の評価 / ソフトウェア科学・工学 / Parallel Computer System / Coverage / 構造的欠陥 / ソフトウェアの移植 / Automatic test case generation / 並列計算機用プログラムの性能評価 / 教育用材料作成支援 / システム従属ネット / CAD Database / ソフトウェア発展基本機構 / Program Dependencies / Event Synchronization Model / Japanese Document Processing / 論理型並行プログラム / OSの適応的発展 / 認識プロセス / 整数の素因数分解 / 順序列テスト基準 / デッドロック検出 / computing / 日本後テキスト処理 / 情報処理 / 命令型並行プログラム / 線形再帰 / computer science / 情報システム学 / 認識的プログラミング / 情報システム
隠す
研究課題
(
36
件)
共同研究者
(
59
人)
研究開始年:新しい順
研究開始年:古い順
半永続データの自己組織化管理に関する研究
研究代表者
成 凱
研究期間 (年度)
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)
研究分野
情報学
研究機関
九州大学
研究課題数：多い順
研究課題数：少ない順
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件
×
この研究者とORCID iDの紐付けを行いますか？
※ この処理は、研究者本人だけが実行できます。
×
