スポンサーリンク
群馬大学工学研究科情報工学専攻 | 論文
- 連数限定入力に対する否定数限定ソーティング回路
- 回路計算量の線形下界に対する計算機支援証明について
- 最簡な論理式だけを生成するアルゴリズム(セッション1)
- P vs. NP問題 : 解決へのはるかな道(理論計算機科学の最新動向)
- Tabu Searchによる樹形モデルの区分点探索に関する研究
- 贅沢度デシルに基づく百貨店におけるブランドマトリックス構成法(データ解析コンペティション:ファッションCRM)
- 線形刻み幅の双対定理について (計算機科学とアルゴリズムの数理的基礎とその応用)
- 近似法のサイズ限定モデル
- サイズ限定モデルに基づく近似法による単調複雑さの下界
- ブール関数のフーリエ変換とその応用
- 単調論理回路計算量vs.論理回路計算量
- クリーク関数の否定数限定複雑さ
- 否定素子数限定論理回路における単調論理関数の複雑さ
- 論理関数の複雑さと近似演算(計算理論とその応用)
- 論理関数の複雑さと近似演算
- 論理関数の複雑さと近似演算
- 関数型プログラムにおける遅延型を用いたストリクトネス解析アルゴリズムの正当性と停止性
- サンプルの所属度に応じた可変自己組織化マップ
- 単位円交差グラフの線形構造を持つ部分クラスについて (アルゴリズムと計算理論の新展開)
- 多項式個の極小セパレータを持つグラフクラスについて (理論計算機科学の新展開)