著者

伊藤 創 鈴木 大郎

出版者

電気関係学会東北支部連合大会実行委員会

雑誌

電気関係学会東北支部連合大会講演論文集 平成26年度 電気関係学会東北支部連合大会 講演論文集

巻号頁・発行日

pp.252, 2014 (Released:2014-11-04)

著者

神谷 徳昭 鈴木 大郎 森 和好

出版者

会津大学

雑誌

基盤研究(C)

巻号頁・発行日

2007

---

非結合代数系からのG(3),F(4) D(m,n)型の構成が端的な概要です。この構成は数理物理学と非結合的代数学の融合分野の研究です。それは歴史的に述べれば19世紀の末のカルタン、キーリング,フルビッツに起源をもつと考えます。勿論現代の数学として4元数、8元数、交代代数、ジョルダン代数の立場からルート系を用いないジャコブソン的な構成方法でフロイデンタールの伝統をうけつぎながら幾何学とリー代数に特に超リー代数の特徴ずけです。三項系代数系の分類とパース分解と南部恒等式の特徴を研究しました。

著者

井田 哲雄 南出 靖彦 MARIN Mircea 鈴木 大郎

出版者

筑波大学

雑誌

基盤研究(B)

巻号頁・発行日

2008

---

ウェブソフトウェア検証の事例研究として, WebEosの核となる部分の形式化と検証を行った.幾何と代数の基本的な部分にMathematicaの計算結果を援用することで, 効率的な検証が可能となった.文字列解析による検証において, 正規表現マッチングの正確な解析を可能とした.また, データベースとの連携の解析を導入し, 蓄積型XSS脆弱性検査を実現した.ポジションオートマトンを利用した正規表現の貪欲マッチングアルゴリズムの設計と実装を行った.