Logic-ml December 2010

logic-ml@fos.kuis.kyoto-u.ac.jp

12 participants
15 discussions

12月14日（火）三田ロジックセミナーのお知らせ
by Mitsuhiro Okada 08 Dec '10

08 Dec '10

三田ロジックセミナーのお知らせ筑波大学金子守先生をお迎えして次のようなセミナーを開催いたします。日時: 2011年12月14日（火） 16:30ｐｍ-18:00ｐｍ場所: 慶應義塾大学三田キャンパス第３号館３２５Ａ教室スピーカー：　金子守　先生（筑波大学） A Measure of Inference in Classical and Intuitionistic Logics By Mamoru Kaneko and Nobu-Yuki Suzuki 要約　　本論文において推論・証明の複雑性を議論する。計算の複雑性は、問題の可算集合に適用するアルゴリズムがその実行にようする時間の大きさとして定義される。しかし、これは、特定のひとつの問題（シークエント）に必要な推論・証明の大きさを論じることを目的としていない。特定のひとつの問題（シークエント）に必要な推論・証明の大きさを評価する試みは、論理学だけでなく、ゲーム理論・経済学（特に限定合理性の問題）などからも重要である。本論文では、古典論論理と直観主義論理のシークエント計算の体系で、与えられたひとつのシークエントが必要とする最小の証明の大きさ（証明の幅の意味で）を定義する。そして、具体的にその値を求める方法を与え、様々なシークエントに適用し、最小の証明についての考察を行う。また、ゲーム理論的問題への応用、矛盾命題への応用を議論する。参加は自由です． ---- 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター主催お問い合わせ先: 慶應義塾大学文学部哲学専攻岡田光弘

1 0

The 45th MLG Meeting: Deadline Extension
by Takahiro Seki 08 Dec '10

08 Dec '10

第45回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2010年度MLG数理論理学研究集会（第45回）を下記の要領で開催します。　参加・講演申込締め切りを12月22日（水）まで延長しました。　多くの方のご講演・ご参加をお待ちしております。 =============================== 　第45回 MLG 研究集会開催要領 =============================== 　期間: 2011 年 1 月 6 日(木)〜 1 月 8 日(土) 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　講演・宿泊申込締め切り: 2010 年 12 月 22 日（水）　世話人：関　隆宏（新潟大学）　ホームページ：　http://math.ed.niigata-u.ac.jp/~seki/MLG45/ ============ 　参加募集 ============ ・講演時間は原則40分を予定しています。・1月7日（金）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は22,000円前後になる予定です。また，1月7日（金）の昼食を外で食べることも可能です。・ご講演をなさらなくても参加いただけます。KKR湯沢ゆきぐにで宿泊および食事をなさらない場合，事前の申し込みは不要ですが，参加費（会場代）1,000円をいただきます。・講演・宿泊を希望される方は，12月22日(水)までに下記の形式で電子メールにて世話人（tseki(a)adm.niigata-u.ac.xn--jp)-u63b4bubm7eycb4w4io072fiwzc.xn--,-d8t9d650nogb 申し込みを含むMLGに関するメールには， Subjectのはじめに MLG45 とご記載ください。 ----------------------------------- 第45回 MLG 研究集会講演・宿泊申込フォーム氏名：所属・身分：所属機関住所：〒電話番号：メールアドレス：講演について：　講演：　する / しない　講演題目：　使用機材：　白板 / プロジェクタ　　希望日時：　なし / あり　　ありの場合：　6日(午後) / 7日(午前/午後) / 8日(午前) 宿泊・食事について：　KKR湯沢ゆきぐにでの宿泊・食事：　する / しない　する場合：　6日(夕食/宿泊) / 7日(朝食/昼食/夕食/宿泊) / 8日(朝食) その他：（講演時間の変更や講演日時の希望等） ----------------------------------- --- 関　隆宏新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki(a)adm.niigata-u.ac.jp

1 0

Re: [logic-ml] Adventures of Categories: Applied Category Theory Colloquium
by Ichiro Hasuo 07 Dec '10

07 Dec '10

みなさま，こんにちは！京大数理研の蓮尾と申します．以下のようにお知らせした先週金曜日の Piet Hut 教授の講演，スライドとビデオを web で公開しました． http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Talk_2010.12.03.html のいちばん下をご覧ください．「学際研究」という枠にとどまらず，数学の中にあって異なる背景を持つ研究者同士が議論する際にも応用できる，示唆に富む内容だと思います．それでは！蓮尾一郎 2010/11/30 Ichiro Hasuo <ichiro(a)kurims.kyoto-u.ac.jp>: > *** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください *** > > みなさま， > > こんにちは！京都大学数理解析研究所の蓮尾と申します． > > Adventures of Categories: Applied Category Theory Colloquium > > というプロジェクトの一環として，10月から12月にかけて6回， > 京大数理研で講演会を行っています．今週の金曜日の講演は > > Piet Hut 氏 > http://www.sns.ias.edu/%7Epiet/ > プリンストン高等研究所教授 (天文物理学・学際研究担当) > > による，学際研究に関する1時間 > > "A Game of Arrows: Widely Interdisciplinary Research" > > です．圏論は直接は出てこないかも > しれませんが，「数学内部の異分野協働の，（圏論をネタにした） > 実験場」としての本プロジェクトの一つのヤマ場です． > > > 講演会の詳細については以下を，またプロジェクトの詳細については > http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html > をご覧ください． > > また，今回は講演を USTREAM で生中継し，後日その模様を YouTube で > ごらんいただける予定です（技術的理由により，USTREAM は未確定ですが） > 詳細が決定次第またお知らせします． > > みなさまのお越しを歓迎します．それでは！ > > "Adventures of Categories" 参加者有志： > Piet Hut，Craig Pastro，荒井迅，一宮尚志，西郷甲矢人，中岡宏行， > 長谷川真人，浜野正浩，春名太一，平岡裕章，蓮尾一郎 > > > > /////////////////////////////////////////////////////////////////////////////////////////// > Date, Time: > 14:00-15:00, Friday 3 Dec, 2010 > > Place: > Room 110, RIMS, Kyoto University > http://www.kurims.kyoto-u.ac.jp/en/access-01.html > 京都大学数理解析研究所 1階 110号室 > http://www.kurims.kyoto-u.ac.jp/ja/access-01.html > > Speaker: > Piet Hut > Professor of Astrophysics, and Head of the Program in Interdisciplinary Studies > Institute for Advanced Study, Princeton, NJ, USA > http://www.sns.ias.edu/%7Epiet/ > > Title: > A Game of Arrows: Widely Interdisciplinary Research > > Abstract: > Many of the most interesting problems in current scientific > research require interdisciplinary collaborations, spanning a > large number of disciplines. From cognitive science and systems > biology to environmental studies and challenges like critical > evaluations of alternative medicine, we need teams of specialists > to talk and work together. However, differences in culture and > methodology provide significant barriers for broadly > interdisciplinary collaborations. Each discipline has its own > approach to knowledge, but because this knowledge is shared > within the discipline, most researchers are not aware of the > hidden assumptions involved. It is a kind of tacit knowledge, > something you learn as a student, without any specific discussion > or critical analysis. What is needed for broadly > interdisciplinary studies is not only an increase in knowlege, > but rather a focus on knowlege of knowledge. What do we know > about the limits of how we know? This is the central question > that will be addressed in this lecture. > > //////////////////////////////////////////////////////////////////////// > > > > =============== > "Adventures of Categories" プロジェクトについて > http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html > > 数学における異分野協働の実験場として，数学の中でもそのわかりに > くさにおいて定評のある圏論 category theory をコアに据えて， > > - 純粋数学における圏論ユーザー > - 応用数学における圏論ユーザー > - 興味はあるがこれまで足を踏み入れる機会のなかった圏論の to-be ユーザー > (この立場から，プリンストン高等研究所の学際研究担当，Piet Hut 教授にも > 参加いただきます) > > の3者の交流の機会とすべく今回のプロジェクトを企画しました． > 6回の講演会の中から， > > - いろいろな数学の分野でどのように圏論が使われているのか？ > - 各分野間の知識移転によって，どのような成果が得られるか？ > - 圏論的手法が有効な他の応用分野は？ > - テクニカルに素人の方に対して，圏論をどのように説明し， > アピールすることができるか？ > > というような問に対して，何らかの答えが浮かび上がるのを期待しています． > 興味のおありの方，ご来聴を歓迎いたします！ > > Adventures of Categories というタイトルは，本プロジェクト参加者の > 西郷甲矢人さんの発案です．A.N. Whitehead の本， Adventures of Ideas > にかかっています． > > 次回以降，代数学・幾何学における圏論や数理物理学における圏論， > さらに Hut 教授による講演 "How to motivate non-mathematicians to explore > category theory"など，企画しております．こちらもどうかご期待くださ > い．日程は 10/1, 10/22, 11/5, 11/19, 12/3, 12/17 です． > > # 本プロジェクトは，(独) 科学技術振興機構さきがけプログラムから支援 > # を受けています． http://math.jst.go.jp/ >

1 0

Live on USTREAM: Adventures of Categories: Applied Category Theory Colloquium
by Ichiro Hasuo 02 Dec '10

02 Dec '10

（New! USTREAM 配信，確定しました． http://www.ustream.tv/channel/adventures-of-categories-applied-category-the… 高画質版は後日 YouTube に掲載します） *** 重複ご容赦下さい．また，興味のありそうな方にぜひご転送ください *** みなさま，こんにちは！京都大学数理解析研究所の蓮尾と申します． Adventures of Categories: Applied Category Theory Colloquium というプロジェクトの一環として，10月から12月にかけて6回，京大数理研で講演会を行っています．今週の金曜日の講演は Piet Hut 氏 http://www.sns.ias.edu/%7Epiet/ プリンストン高等研究所教授 (天文物理学・学際研究担当) による，学際研究に関する1時間 "A Game of Arrows: Widely Interdisciplinary Research" です．圏論は直接は出てこないかもしれませんが，「数学内部の異分野協働の，（圏論をネタにした）実験場」としての本プロジェクトの一つのヤマ場です．講演会の詳細については以下を，またプロジェクトの詳細については http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html をご覧ください．また，今回は講演を USTREAM で生中継し，後日その模様を YouTube でごらんいただける予定です（技術的理由により，USTREAM は未確定ですが）詳細が決定次第またお知らせします．みなさまのお越しを歓迎します．それでは！ "Adventures of Categories" 参加者有志： Piet Hut，Craig Pastro，荒井迅，一宮尚志，西郷甲矢人，中岡宏行，長谷川真人，浜野正浩，春名太一，平岡裕章，蓮尾一郎 /////////////////////////////////////////////////////////////////////////////////////////// Date, Time: 14:00-15:00, Friday 3 Dec, 2010 Place: Room 110, RIMS, Kyoto University http://www.kurims.kyoto-u.ac.jp/en/access-01.html 京都大学数理解析研究所 1階 110号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html Speaker: Piet Hut Professor of Astrophysics, and Head of the Program in Interdisciplinary Studies Institute for Advanced Study, Princeton, NJ, USA http://www.sns.ias.edu/%7Epiet/ Title: A Game of Arrows: Widely Interdisciplinary Research Abstract: Many of the most interesting problems in current scientific research require interdisciplinary collaborations, spanning a large number of disciplines. From cognitive science and systems biology to environmental studies and challenges like critical evaluations of alternative medicine, we need teams of specialists to talk and work together. However, differences in culture and methodology provide significant barriers for broadly interdisciplinary collaborations. Each discipline has its own approach to knowledge, but because this knowledge is shared within the discipline, most researchers are not aware of the hidden assumptions involved. It is a kind of tacit knowledge, something you learn as a student, without any specific discussion or critical analysis. What is needed for broadly interdisciplinary studies is not only an increase in knowlege, but rather a focus on knowlege of knowledge. What do we know about the limits of how we know? This is the central question that will be addressed in this lecture. //////////////////////////////////////////////////////////////////////// =============== "Adventures of Categories" プロジェクトについて http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html 数学における異分野協働の実験場として，数学の中でもそのわかりにくさにおいて定評のある圏論 category theory をコアに据えて， - 純粋数学における圏論ユーザー - 応用数学における圏論ユーザー - 興味はあるがこれまで足を踏み入れる機会のなかった圏論の to-be ユーザー (この立場から，プリンストン高等研究所の学際研究担当，Piet Hut 教授にも参加いただきます) の3者の交流の機会とすべく今回のプロジェクトを企画しました． 6回の講演会の中から， - いろいろな数学の分野でどのように圏論が使われているのか？ - 各分野間の知識移転によって，どのような成果が得られるか？ - 圏論的手法が有効な他の応用分野は？ - テクニカルに素人の方に対して，圏論をどのように説明し，アピールすることができるか？というような問に対して，何らかの答えが浮かび上がるのを期待しています．興味のおありの方，ご来聴を歓迎いたします！ Adventures of Categories というタイトルは，本プロジェクト参加者の西郷甲矢人さんの発案です．A.N. Whitehead の本， Adventures of Ideas にかかっています．次回以降，代数学・幾何学における圏論や数理物理学における圏論，さらに Hut 教授による講演 "How to motivate non-mathematicians to explore category theory"など，企画しております．こちらもどうかご期待ください．日程は 10/1, 10/22, 11/5, 11/19, 12/3, 12/17 です． # 本プロジェクトは，(独) 科学技術振興機構さきがけプログラムから支援 # を受けています． http://math.jst.go.jp/

1 0

「範疇文法と証明論」シンポジウムのご案内
by BEKKI Daisuke 01 Dec '10

01 Dec '10

（重複して受け取られた場合はご容赦ください）　お茶の水女子大学の戸次です。12/23(木)に東京で開催される「範疇文法と証明論」シンポジウムの案内をお送り致します。　「範疇文法と証明論」シンポジウムは、範疇文法(Categorial Grammar) を中心テーマとした、理論言語学、数理論理学、自然言語処理の学際シンポジウムです。言語学者、論理学者、自然言語処理研究者が、それぞれの立場から研究発表を行います。招待講演には、北陸先端科学技術大学院大学の小野寛晰先生をお迎えします。　多数の皆様のご参加をお待ちしています。参加登録等は特に必要ありません。「範疇文法と証明論」シンポジウム ================================ ウェブサイト ------------ http://www.is.ocha.ac.jp/‾bekki/catproof/ 日時 ---- 2010/12/23(木・祝) 10:00-17:00 場所 ---- お茶の水女子大学理学部3号館209（以下の地図の建物20） http://www.ocha.ac.jp/access/campusmap_l.html 東京都文京区大塚2-1-1 丸ノ内線茗荷谷駅徒歩7分、または有楽町線護国寺駅徒歩7分）備考：お茶の水女子大学に入構する際には、守衛所にて身分証明書の提示を求められます。使用言語 -------- 日本語（質疑は英語可）プログラム ---------- 10:00-10:30 窪田悠介（東京大学・The University of Chicago・JSPS）「言語理論としての範疇文法の可能性」 10:30-11:00 上垣渉（MIT)・窪田悠介（東京大学・The University of Chicago・JSPS）「音韻・意味標識付き推論による日本語の主部内在関係節と疑似独立文の分析」 11:00-11:30 戸次大介（お茶の水女子大学）「組合せ範疇文法(CCG)と部分構造論理」 11:30-13:00 昼食休憩 13:00-13:30 矢田部修一（東京大学）「範疇文法にとって問題となりうる諸現象」 13:30-14:00 宮尾祐介（国立情報学研究所）「自然言語処理から観たCCGとHPSGの比較」 14:00-14:30 花岡洋輝・増田勝也・美馬秀樹（東京大学知の構造化センター）「日本語CCGパーザの構築と知の構造化への応用」 14:30-14:45 休憩 14:45-15:15 峯島宏次（慶應義塾大学・JSPS） (TBA) 15:15-15:45 矢田部俊介（産業技術総合研究所）「範疇文法・カリーハワード対応・Agda」 15:45-16:00 休憩 16:00-17:00 招待講演：小野寛晰（北陸先端科学技術大学院大学）「Lambek計算と部分構造論理 − 言語、論理、代数の一つの接点」企画委員 -------- 戸次大介矢田部俊介窪田悠介上垣渉

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml December 2010