九州大学 論理と計算研究室 関係計算の形式化を用いた数学とソフトウェア検証のための理論構築

大学院生の論文等

関係計算の形式化等に関わる過去からの指導大学院生の論文タイトル等を本ページに一覧にまとめる.

修士論文一覧

九州大学・数理学府

修了年度 氏名 修士論文
2023 DN Mathematicaでの画像符号化の実装方法
2023 RO 敵対的生成ネットワーク(GAN)のMathematicaによる実現方法について
2023 KS 自然言語で表現された論理パズルの混合整数計画問題への変換方法について
2023 SS 魔方陣の論理式表現と混合整数計画問題による解法
2022 RA ニューラルネットワーク計算の Mathematica言語による可視化
2022 TT 敵対的生成ネットワークGANの理論と異常検知への応用
2022 AT 属性文法の拡張と自然言語処理への応用
2022 RH T代数の圏の性質の数式処理システムによる証明
2021 SK 異常検知手法の理論と工学的応用
2021 KS 形式概念束と Wang タイルに関する理論と応用
2021 XM 素性構造の理論と自然言語処理への応用
2020 TN ニューラルネットワークの万能近似定理
2018 CM ポリゴンモデルに対する最適補間アルゴリズムの実現方法について
2018 YA 密度変動型の位相最適化問題について
2017 SB Deep Reinforcement Learning and It’sApplication to Domineering Boardgame
2017 NM レイアウト問題の整数計画法を用いた解法
2017 AH 論理式表現された問題の混合整数計画問題への変換と等価性の証明
2016 TH 変形行列による平面形状補間アルゴリズムの実現方法について
2015 TM 共形幾何代数 を用いた3次元折り紙 における折り操作の定式化
2015 TM レンガ型Wangタイル集合と証明付タイリングプログラム
2015 MK 計算折り紙の定式化と折り操作のMathematica言語による実装
2015 MA FUZZY RELATIONAL DATABASEMODEL USING FUZZY RELATIONALCALCULUS
2014 SK タイリング問題の整数計画法を用いた解法とその実装
2014 YK 歪み率を考慮した平面形状補間アルゴリズムの実現方法について
2014 KT グラフカットの解の特徴について
2013 GM 非可換二重複素数と剛体変形
2012 YM ラプラシアンの固有関数を用いた流体シミュレーション
2012 SK グレーバー基底計算のMathematicaによる実現方法について
2011 KM 変換行列による補間で作成されたアニメーションの特徴づけについて
2011 NI グラフ上をランダムウォークする物体の衝突について
2011 YI 将棋の飛車と角のランダムウォークについて
2010 NS Webグラフから得られる有向グラフと無向グラフ
2010 MK Small-World Network上のナビゲーションアルゴリズム
2010 TO ポリヘクスグラフの異性体の構造と数え上げ
2009 YN 量子探索アルゴリズムの高速化
2009 IS ネットワークグラフの重ね合わせ
2009 TT 量子回路の完備な変換規則について
2008 RK Graph Spectra and Clustering for Complex Networks
2008 KO グラフの共起情報に基づく概念グラフの提案とウェブ空間の解
2006 DO 量子回路を最適化する完全な変換規則について
2006 AO 線形文法とスティッカーシステムの関係について
2006 TI CA110の計算万能性について
2005 AM 周期型箱玉系の軌道数について

九州工業大学・情報工学研究科

修了年度 氏名 修士論文
1999 HT 認証機能付き分散オブジェクトモデルの実現方法
1999 JT 楕円曲線の位数計算アルゴリズムの実現方法
1998 YN 個人認証を備えた電子会議室の実現方法
1998 HN Java オブジェクトで表された個人情報のアクセス制御
1996 AK 分散システムのための論理体系と匿名選挙への応用
1996 TH DCT演算の誤差の挙動解析と画像深層暗号
1996 AO 逆探索法を用いたn次元多面体端点列挙アルゴリズム
1994 SS 離散コサイン変換の誤差解析と画像深層暗号
1994 KK 遺伝的アルゴリズムクラスライブラリ開発
1993 KY グラフ変換によるネットワーク量計算システム
1993 KH 遺伝的アルゴリズムの収束性に関する研究
1993 MO 暗号化電子メールシステムの実装と課題

博士論文一覧

主査

取得年 氏名 博士論文
2017 モハッマドデニアクバル A Study on Fuzzy Relational Database Model using Relational Calculus
2015 池田有希 A study on a Game of Pursuit and Evasion on a Cycle Graph
2015 松下昂平 A study on 2D Shape Interpolation Using Affine Maps
2013 坂下一生 A study on CNOT-based quantum circuits using rewriting systems
2011 キサニリダマ A study on normalized Laplacian, normalied cut and graph partitioning
2010 伊藤隆浩 Studies on Abstract Collision Systems for Computation

副査

取得年 氏名 博士論文
2024 櫻田 英樹 ネットワークの基盤とサービスに関する正当性と安全性の形式検証による評価
2022 蓮井 太朗 Total number of connected bipartite graphs with given Betti numbers and their applications
2021 田中 智 Offline Map Matching Using Time-Expanded Graph for Low-Frequency GPS Data
2021 任慧喬 Obstacle-avoiding B-spline Path planning generation strategy for G2-continuous non-holonomic robot
2020 袁ヤ Efficient Implementation and Performance Evaluation of Lattice-based Cryptography over Memory-Constrained Environments
2018 王贇弢 Efficient Lattice Reduction Algorithms and their Applications to Lattice-Based Cryptography
2017 小田朋宏 形式仕様記述における探索的モデリング
2015 胡荣 Zero-Knowledge Protocols for Code-Based Publickey Encryption and Their Applications
2013 富田琢巳 Efficient Algorithms for Identity-Based Encryption using Supersingular Elliptic Curves

自分

取得年 氏名 博士論文
1992 溝口佳寛 Graph Transformations Using Relational Calculus
PAGE TOP