理論計算機科学の深化: 新たな計算世界観を求めて
RIMS研究集会
2007年度 冬のLAシンポジウム
京都大学数理解析研究所の共同事業の1つとして, 下記のように研究集会を催しますのでご案内申し上げます。
研究代表者 渡辺 治 (東京工業大学)
日時:2008年1月28日(月)〜30日(水)
場所:京都大学数理解析研究所420号室 京都市左京区北白川追分町
1月28日(月)
セッション 1 13:00〜14:20
- [1] An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs
- ○吉仲 亮 (北海道大学)
- [2] Approximating Maximum Edge 2-Coloring in Simple Graphs via Local Improvement
- 陳 致中, ○店橋 路可 (東京電機大学)
- [3] An Approximation Algorithm for Partitioning a Graph into Clusters of Size at Most 3
- 店橋 路可, 陳 致中, ○河野 桃子 (東京電機大学)
- [4] 保存的セルーオートマトンの回転対称性が状態数に与える制約について
- ○谷本 尚理, 今井 克暢, 岩本 宙造, 森田 憲一 (広島大学)
セッション 2 14:35〜15:35
- [5] 有限集合上のセミリジッドとなる同値関係の組み合わせ
- ○宮川 正弘 (筑波技術大), M. Pouzet (Universite Claude-Bernard), I. G. Rosenberg (Universite de Montreal), 巽 久行 (筑波技術大)
- [6] Improved Approximation Algorithms for Reconstructing the History of Tandem Repeats
- ○陳 致中 (東京電機大学)
- [7] ストップウォッチオートマトンによるプリエンプティブスケジューリングシステムの仕様記述と有界モデル検査
- ○瀧内 新悟, 山根 智 (金沢大学)
特別セッション 15:45〜17:45
EATCS Japan Chapter Business Meeting 17:45〜18:00
懇親会 18:30〜
1月29日(火)
セッション 3 8:50〜10:30
- [8] DFAの極限学習における必要例数の解析
- ○林 賢史 (東京工業大学)
- [9] Local Structure of Cellular Automata
- ○西尾 英之助 (元・京大・理)、トーマス ヴォルシュ (カールスルエ大・情報)
- [10] 段数5の単色ドミノタイリングの直交射影からの再構成
- ○岩本 宙造, 三鴨 礼二郎, 森田 憲一, 今井 克暢 (広島大学)
- [11] 70+.3rの法則
- ○伊藤 暁 (山口大学)
- [12] 局所探索法による熱力学的DNA配列設計の改良
- ○川下 優, 小野 廣隆, 定兼 邦彦, 山下 雅史 (九州大学)
セッション 4 10:45〜12:05
- [13] On majority and other polynomials generating minimal clones
- ○町田 元 (一橋大学)、Tamas Waldhauser (Szeged大学)
- [14] Approximation of concept lattices
- ○Leonard Kwuida (Bern大学)
- [15] 自明でない法則を用いた形式言語における概念分化
- ○植村 仁 (真理大学)
- [16] 重み付きグラフ上の枝被覆に対する次数均等化と重み最小化
- ○原田 雄太, 小野 廣隆, 定兼 邦彦, 山下 雅史 (九州大学)
セッション 5 13:00〜14:20
- [17] 条件付き紛失通信の対称性
- ○井上 大輔, 田中 圭介 (東京工業大学)
- [18] 有限グラフ上の高速ランダムウォーク
- ○野中 良哲, 小野 廣隆, 定兼 邦彦, 山下 雅史 (九州大学)
- [19] k-Factors in regular graphs and edge-connectivity
- ○木村 健司 (電気通信大学), Robert E.L. Aldred (University of Otago)
- [20] A statistical mechanical interpretation of algorithmic information theory
- ○只木 孝太郎 (中央大学)
セッション 6 14:35〜15:55
- [21] 4状態可逆チューリング機械の構成法
- ○森本 光也, 森田 憲一 (広島大学)
- [22] Indistinguishability and First-Order Logic
- ○Skip Jordan, Thomas Zeugmann (北海道大学)
- [23] しきい値回路のパターン数について
- ○内沢 啓, 瀧本 英二 (東北大学)
- [24] XOR^2=90 ―局所遷移規則のなす次数ブール代数の構造について―
- ○藤尾 光彦 (九州工業大学)
セッション 7 16:10〜17:30
- [25] Some additional remarks on grammatical characterizations of alternating PDAs
- ○守屋 悦朗 (早稲田大学)、Friedrich Otto (Kassel University)
- [26] 疎フーリエ表現アルゴリズムの一実装
- 八木谷 允, ○武井 由智 (長岡技術科学大学)
- [27] 完全k分木のpath distance widthについて
- 受川 和幸, 青木 一正, 小澤 恭平, ○大舘 陽太, 山崎 浩一 (群馬大学)
- [28] 局所的な次数情報を用いた無向グラフの探索
- ○来見田 裕一, 小野 廣隆, 定兼 邦彦, 山下 雅史 (九州大学)
1月30日(水)
セッション 8 8:50〜10:30
- [29] Gowers一様性による剰余関数と多項式の相関の評価
- ○田中 秀宗, 河内 亮周 (東京工業大学)
- [30] 3点系統樹を入力とした系統樹構築の近似アルゴリズムの近似比とその解析
- ○前村 一哉, 小野 廣隆, 定兼 邦彦, 山下 雅史 (九州大学)
- [31] コーダルサンドイッチの列挙,ランダム生成,数え上げについて
- ○来嶋 秀治 (京都大学数理解析研究所), 清見 礼 (北陸先端科学技術大学院大学), 岡本 吉央 (東京工業大学), 宇野 毅明 (国立情報学研究所)
- [32] Online Learning of Approximate Maximum p-Norm Margin Classifiers with Bias
- ○石橋 浩介, 畑埜 晃平, 竹田 正幸 (九州大学)
- [33] シュペルナー族の要素集合列挙アルゴリズムとその属性値分割への応用
- ○中村 篤祥, 工藤 峰一 (北海道大学)
セッション 9 10:45〜12:25
- [34] Minimal Weight Representation for Polygonal Complex Number Representation
- ○Suppakitpaisarn Vorapong (The University of Tokyo)、Surarerks Athasit (Chulalongkorn University)
- [35] 指数分布に従う枝重みをもつ有向非巡回グラフにおける最長路長さの分布関数の解析的な計算に関する考察
- ○安藤 映, 小野 廣隆, 定兼 邦彦, 山下 雅史 (九州大学)
- [36] 多層型矩形分割に対応する16分格子グラフの表現方法
- ○呉羽 彬, 夜久 竹夫 (日本大学), 土田 賢省 (東洋大学)
- [37] 辺上を移動するロボット1台による最適な多角形探索
- ○深見 浩和, 小野 廣隆, 定兼 邦彦, 山下 雅史 (九州大学)
- [38] 正直なオークションにおける談合の影響
- ○市場 孝之, 岩間 一雄 (京都大学)