史 一華

経営学科教授

学位

  • 理学修士
  • 理学博士

研究キーワード

  • 計算機科学
  • 知能情報学
  • Computer Science
  • Intelligent Informatics

研究分野

  • 情報通信, 知能情報学, 知能情報学
  • 情報通信, 情報学基礎論, 情報学基礎

論文

  • 数理モデルを用いた感染症のシミュレーションと考察
    徐 海燕, 史 一華
    火の国情報シンポジウム2022, 1-7, 2022年03月, 査読無し
  • RAMPトランザクションの一般化における検索一貫性の問題について
    徐 海燕,古川 哲也,史 一華:
    DEIM2019, J5-4, 2019年, 査読無し
  • Read Atomic 隔離性と並行実行の正当性の比較検討,
    徐海燕、古川哲也、史一華:
    第166回データベースシステム研究発表会,, DBS-18, 2017年, 査読無し
  • 就活報告書登録閲覧システムSugooleの就職活動支援システムへの進化
    赤木里騎,福島亮,史一華,徐海燕
    火の国情報シンポジウム2017, C1-4, 2017年, 査読無し
  • 地理的加重回帰モデルを用いた中国大気汚染の季節・空間特性の分析
    張 翔,史 一華,徐 海燕
    第8回データ工学と情報マネジメントに関するフォーラム, G3-6, 2016年
  • 楽天市場レビューデタにおける集計の抽出とデータマイニングの実践
    大楠拓也、 史一華、 徐海燕
    火の国情報シンポジウム2014, 1C-3, 2015年03月, 査読無し
  • オンライン学習ログの活用について
    史一華
    信学技報ET2014-102, 114(513), 95-100, 2015年, 査読無し
  • 情報工学実験におけるソーシャル機能の実践とその効果分析
    徐 海燕 , 史 一華
    情報処理学会研究報告, 2014-MPS-100(14), 2014年09月, 査読無し
  • 正当な非直列可能スケジュールの3相ロック方式による分析
    徐海燕、古川哲也、史一華
    電子情報通信学会論文誌 D, J97-D(11), 1669-1673, 2014年, 査読有り
  • MySQLとjQueryを利用したWebモール実験システムの開発および実験結果に対する分析
    山口 亨, 徐 海燕, 史 一華
    第120回コンピュータと教育研究発表会, 2013年, 査読無し
  • 基本情報技術者試験の正誤解答キーワードへのWikipediaのリンク構造の関連度計算の応用
    蔡 帅,菅 亮太,史 一華,徐 海燕
    福岡工業大学研究論集, (45), 1-8, 2012年, 査読無し
  • 一貫性と隔離性の細分による並行実行の正当性の検証(査読)
    徐海燕・古川哲也
    情報処理学会 情報処理学会論文誌データベース, 2(1), 22-32, 2009年03月
  • 多様な演習システムのサービス化と統合
    徐海燕
    電子情報通信学会 信学技報, 108(470(ET2008-93)), 1-6, 2009年03月
  • Webモール実験システムの開発と実践
    筒井亮太・木本博己・松崎大祐・徐海燕
    情報処理学会 火の国情報シンポジウム, B-4-4, 2009年03月
  • SQL演習問題自動出題演習システムの開発
    内田英喜・森本順一・徐海燕
    情報処理学会 火の国情報シンポジウム, C-2-1, 2009年03月
  • シラバスデータのXML化とその検証について
    持田祐介・高木智美・徐海燕
    情報処理学会 火の国情報シンポジウム, B-3-2, 2008年02月
  • 隔離性の分割による正当なスケジュールの検討
    徐海燕・古川哲也
    日本データベース学会Letters, 6(3), 21-24, 2007年12月
  • プログラミング教育のための可視化ツールの開発
    徐 海燕
    信学技報 電子情報通信学会, 107(205), 11-16, 2007年09月
  • eラーニングにおける学習評価ツールの試作
    徐 海燕
    信学技報 電子情報通信学会, 106(583), 53-58, 2007年03月
  • 学習履歴マイニングによる学習支援手法について
    直江弘次・徐海燕
    情報処理学会 火の国情報シンポジウム2007, B-8-2, 2007年03月
  • ワークフローの特徴に基づくトランザクションの正当性(査読)
    徐海燕・古川哲也
    データベースとWeb 情報システムに関するシンポジウム DBWeb2006, 297-304, 2006年11月
  • 一貫性に基づく複合Web サービスのトランザクション管理
    古川哲也
    情報処理学会 火の国情報シンポジウム2005, (CD-ROM)1-6, 2006年03月
  • Webサービスによるe-Learningシステム間のBBS連携
    小柳健・徐海燕
    信学技報 電子情報通信学会, 105(632), 19-24, 2006年03月
  • Web サービスによる e-Learning システム間の情報共有
    小柳健・徐海燕
    情報処理学会 第4回情報科学技術フォーラム, (CD-ROM)1-6, 2005年09月
  • 複合 Web サービスにおける並行実行の正当性(査読)
    徐海燕・古川哲也
    データベースとWeb 情報システムに関するシンポジウム DBWeb2005, 157-164, 2005年07月
  • 並行ワークフローにおけるデータの従属性
    徐海燕・史一華
    電子情報通信学会 信学技報, 105(119), 63-68, 2005年06月
  • Webサービスにおけるトランザクションの隔離性
    徐海燕・古川哲也
    日本データベース学会Letters, 4(1), 33-36, 2005年06月
  • WEBサービスによる統合学習システムの拡張について
    小柳 健・十田佑介・徐 海燕
    信学技報 電子情報通信学会, 104(703), 61-66, 2005年03月
  • WEB サービス連携のためのトランザクションの隔離性について(査読)
    徐海燕・古川哲也
    電子情報通信学会 DEWS2005, (CD-ROM)1-8, 2005年03月
  • Webサービス連携のためのトランザクションの隔離性について
    第16回データ工学ワークショップ, 2C-01, 2005年
  • E-コマースのための多次元空間におけるデータモデル
    徐 海燕・高橋 武史
    電子情報通信学会 DEWS 2004オンラインプロシディング, 1-8, 2004年03月
  • WEB ショップにおけるセマンティック検索法
    高橋 武史・徐 海燕
    電子情報通信学会 信学技報, 103(356), 1-6, 2003年10月
  • トランザクショナルワークフローにおける並行処理制御の正当性
    C1-1, 2002年
  • マルチバージョンデータベースにおけるワークフローに基づく並行処理制御
    情報処理学会論文誌:データベース, 42(SIG4(TOD9)), 27-35, 2001年

MISC

  • PostgreSQLとMySQLに対応した多種類出題形式のSQL演習システムの開発
    杉山隆之助 椛島健 山口亨 史一華 徐海燕
    火の国情報シンポジウム, 2012年, 査読無し
  • WEB型統合学習支援環境の構築
    西南学院大学商学論集, 第47(第2), 79-94, 2000年10月
  • Supporting Cooperative Work Based on the Semantics of Workflows
    XU H.
    Database Applications in Non-Traditional Environments, 366-369, 2000年, 査読無し
  • ワークフローに基づく協同作業環境
    信学技報, DE99-88, 43-48, 1999年, 査読無し
  • CADシステムにおける並行処理制御機能の拡張
    福岡工業大学情報科学研究所所報, 10, 119-125, 1999年, 査読無し
  • 一貫性情報を利用した能動的な並行処理制御法
    福岡工業大学研究論集, 31(2), 335-342, 1999年, 査読無し
  • Collaborative Working Envionments Based on Workflow
    DE99-88, 43-48, 1999年, 査読無し
  • Introducing Concurrency Control Functions into a CAD System
    10, 119-125, 1999年, 査読無し
  • Supporting Collaborative Work by Process-based Transaction Model
    T Furukawa; HY Xu; YH Shi
    ADVANCES IN DATABASE TECHNOLOGIES, 1552(1552), 421-433, 1999年, 査読無し
  • 一貫性情報に基づく協同作業管理機構
    第9回データ工学ワークショップ(DEWS'98), 1998年, 査読無し
  • 並行処理制御における独立化可能性の有効性検証と特徴分析
    徐 海燕; 権藤 裕二; 李 相勲; 史 一華; 古川 哲也
    福岡工業大学研究論集, 30(2), 219-227, 1998年, 査読無し
  • 処理単位の動的再構成機能による協調型データベースの並行処理制御
    第9回データ工学ワークショップ(DEWS'98), 1998年, 査読無し
  • A Cooperative Work Management Mechanism Based on Integrity Constraints
    Shi Yihua; Xu Haiyan; Furukawa Tetsuya
    福岡工業大学情報科学研究所所報, 9(9), 93-102, 1998年, 査読無し
  • Concepts of Transactions with Application-Specified Semantics,
    Advanced Database Research and Development Series, World Scientific, 9, 303-308, 1998年, 査読無し
  • A Cooperative Work Management Mechanism Based on Integrity Constraints
    Shi Yihua; Xu Haiyan; Furukawa Tetsuya
    福岡工業大学情報科学研究所所報, 9(9), 93-102, 1998年, 査読無し
  • Concepts of Transactions with Application-Specified Semantics
    Advanced Database Research and Development Series(World Scientific), 9, 303, 1998年, 査読無し
  • Describing Integrity Constraints in Advanced Database Systems
    Advanced Database Research and Development Series(World Scientific), 7(7), 484-491, 1997年, 査読無し
  • Concorrency Control Based on Order Constraints in Advanced Database Systems
    Advanced Database Research and Development Series(World Seientific), 7(7), 380, 1997年, 査読無し
  • 並行処理制御方式による独立化可能クラスと直列可能クラスの比較
    情報処理学会論文誌, 37(8), 1600-, 1996年, 査読無し
  • 並行処理制御方式による独立化可能クラスと直列可能クラスの比較
    情報処理学会論文誌, 37(8), 1600-, 1996年, 査読無し
  • デフォルト推論システムにおける信念世界の一貫性
    福岡工業大学言語情報研究所彙報, 5, 57-63, 1994年, 査読無し
  • 一貫性情報を用いたデータベースの並行処理制御
    情報処理学会論文誌, 35(12), 2752-2761, 1994年, 査読無し
  • Database Concurrence Control Utilizing Consistency Knowledge
    35(12), 2752-2761, 1994年, 査読無し
  • 時間限定デフォルト推論システム
    福岡工業大学言語情報工学研究所彙報, 4, 45-52, 1993年, 査読無し
  • APPROXIMATE EXTENSIONS IN DEFAULT LOGIC,
    Bulletin of Informatics and Cybernetics, 25(1-2), 1992年, 査読無し
  • Sub-extensions in the default knowledge base systems.
    Technical Report RIFIS-TR RIFIS, Kyushu University,, 50, 1991年, 査読無し
  • Time-Bounded Reasonig in First Order Knowledge Base Systems,
    Springer-Verlag. Lecture Notes in Artificial Intelligence,, 485, 1991年, 査読無し
  • COMPLETENESS OF DYNAMIC TIME-DERIVATION FOR LOCALLY WEAK REDUCING PROGRAMS,
    Bulletin of Informatics and Cybernetics, 24(3-4), 1991年, 査読無し
  • 時間限定知識ベース管理システムの実現原理,
    九州大学総合理工学研究科報告, 11(1), 1989年, 査読無し
  • 一階述語論理における時間限定推論
    Bulletin of Informatics and Cybernetics, 1989年, 査読無し

講演・口頭発表等

  • 学習者適応型e-Learning演習システムの開発
    電気関係学会九州支部連合大会, 2007年09月, 琉球大学工学部

所属学協会

  • 電子情報通信学会
  • 統計学研究会
  • 人工知能学会

共同研究・競争的資金等の研究課題

  • Webサービスによる広域仮想学習環境に関する研究
    基盤研究(C)一般
    2006年 - 2008年
  • 幼児の心身発達及び健康管理評価システムの開発と保育現場での応用的研究
    基盤研究(B)一般
    2003年 - 2006年
  • ワークフロートランザクションの一貫性と隔離性に関する研究
    基盤研究(C)一般
    2003年 - 2004年
  • 協同作業のためのデータベース一貫性処理
  • 時間限定推論システム
  • Time-Bounded Reasoning Systems