SHI YIHUA

Department of Business AdministrationProfessor

Degree

  • (BLANK)
  • (BLANK)

Research Keyword

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

Field of study

  • Informatics, Intelligent informatics, Intelligent Informatics
  • Informatics, Information theory, Fundamental Informatics

Papers

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

Miscellaneous

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

Lectures, oral presentations, etc.

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

Academic society affiliations

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

Research Themes

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