Logic-ml September 2011

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

14 participants
21 discussions

RIMS研究集会「体のモデル理論とその応用」（11/２８〜11/30）のご案内
by 福崎賢治 13 Sep '11

13 Sep '11

皆様、モデル理論分野のRIMS研究集会は毎年11月ごろに京都大学数理解析研究所で開催されております。今年のモデル理論分野のRIMS研究集会は、「体のモデル理論とその応用」(Model Theory and its Applications)という表題のもと、　　日時：2011年11月28日（月）午後より11月30日（水）午前まで　　会場：京都大学数理解析研究所110号室にて開催されます。（はっきりした時刻はのちほどWebサイトでお知らせします。） ●Webサイト：http://www.iuk.ac.jp/~fukuzaki/rims.html ●講演募集：広い意味でモデル理論に関連する諸分野の講演を募ります。講演していただける方は、　　お名前と所属と職名　　講演タイトルを9月中をめどに、　　福崎賢治（鹿児島国際大学）　　e-mail:fukuzaki@int.iuk.ac.jp までお知らせください。世話役　福崎賢治

1 0

The 46th MLG Meeting
by Takahiro Seki 12 Sep '11

12 Sep '11

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

1 1

SLACS 2011 直前のご案内
by Kamo Hiroyasu 11 Sep '11

11 Sep '11

みなさま（重複をお許しください）明日からのSLACS2011のご案内ですが、手違いで、開催場所情報の一部（棟・部屋番号）がWWWページから一時的に欠落していました。WWWページを修正の上、念の為にこちらのメーリングリストにも再送します。不手際をお詫びします。奈良女子大学理学部情報科学科鴨浩靖 -- SLACS 2011 - 記号論理と情報科学研究集会開催要項開催日：2011年9月12日(月)午後〜 9月13日(火)午後場所：奈良女子大学G棟G302教室奈良女子大学へは、大阪または京都から近鉄が便利です。近鉄奈良駅から徒歩約5分です。当日は夏期休暇中で南門が閉鎖されているため、正門におまわりください。アクセスマップ http://www.nara-wu.ac.jp/accessmap.html キャンパスマップ http://www.nara-wu.ac.jp/image_c/campusmap2.jpg 懇親会：9月12日夜に懇親会を予定しています．一般5000円程度、学生割引ありで調整中です。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）暫定プログラム（ほぼ最終版） (2011年9月10日19:10現在) 9月12日(月) 14:00--14:10 （オープニング、連絡など） 14:10--14:30 小島侑子（奈良女子大学）「小型ロボットを制御するための汎用ライブラリの開発」近年、安価で小型なロボットの登場がロボットの研究に新たな可能性をもたらしている。我々は、その1つであるLEGO MINDSTORMS NXTの制御プログラムの作成を容易にするため、新たなNXT制御ライブラリを提案する。特に、反射的行動を記述したライブラリにするなど、ロボットの行動制御の研究を容易にすることを主眼に置く。 14:30--15:00 中澤巧爾（京都大学）「Combinators for streams」本発表では，型無しラムダ・ミュー計算に同等なcombinatory calculusとしてCL^\muを提案する．また，型無しラムダ・ミュー計算のモデルとして stream modelを定義し，CL^\muの構造をもとにして stream modelの代数的な特徴付けを行なう．（休憩） 15:45--16:30 Michele Basaldella（京都大学）「Infinitary completeness in ludics」 Traditional Goedel completeness holds between finite proofs and infinite models over formulas of finite depth. In this talk, we generalize it to a completeness theorem between infinite proofs and infinite models over formulas of infinite depth (that include recursive types). 16:30--17:00 藤田恵（奈良女子大学）「実世界の多様性に適応したBDIロボットについて」近年、単一の目標達成に特化されたロボットでなく、動的に変化する環境のもとで自らの目的を達成するよう動作するロボットの実現が重要な研究課題となってきている。我々は、BDIモデルを実装したBDIロボットによるロボット制御が、複雑で多様性に富んだ実世界において自らの目的を実現していくロボットのためのアーキテクチャとして有効であることを示す。特に、意図の保持と破棄という機構によって、目標を達成する手段を柔軟に切り替えたり、複数の目的を並行に保持し整合的に実行したりできる BDIモデルの能力が、多様性への適応に非常に有用であることを論じ、また、実験を通じてそれを示す。 17:00--17:30 （予備）（移動） 18:30-- 懇親会 9月13日(火) 9:45--10:15 （予備） 10:15--10:45 岡章弘（京都産業大学）・三好博之（京都産業大学）「リアクティブシステムのモノイダル2-圏による定式化」 LeiferとMilnerは圏を用いて抽象的なリアクティブシステムを定式化し， Milnerはその枠組みで具体的にバイグラフを用いてシステムの記述を行う研究を行った。しかしMilnerの体系では，リアクティブシステムからラベル付き遷移系(LTS)を導くのにサポートと呼ばれるデータが必要であり，そのために圏ではなく前圏(precategory)を用いているためかなり複雑である。そこでSosanneとSoboci\'nskiはサポートと2-圏の2-セルとの類似性に着目して亜群によりenrichされた2-圏による定式化を行った。本講演ではこれにモノイダル積を加えることによりシステムの並置を陽に含む定式化を行う。これによりシステムをより自然に圏論的な構成として記述することができる。ここではさらにstcasticなシステムへの圏論的な拡張も視野に入れている。（休憩） 11:15--12:00 向井国昭（慶應義塾大学）「チャネル理論の分類概念再訪」 Barwise/Seligmanのチャネル理論(1997)は，タイプとトークンの間の関係としての分類だけでなく，タイプ間の制約としての局所論理を動員して情報の流れをモデル化しようとする試みである．チャネル理論は，すでに抽象設計論(角田・菊池) など多くの発展および応用を得ている．チャネル理論の局所論理は，大域カット則を充足する理論を正則とする．なぜ大域カットなのだろうか？また，大域カットは通常のカット推論規則よりも強いが，有限の証明図および有限のシーケントに限定すればそれらは等価となるのだろうか？この「保守拡大性」に関しては，選択公理を使って肯定的な証明が得られた．このようにチャネル理論の「重箱の隅」をつついているうちに，分類と情報射の意味と役割が次第によくわかってきた．大域カットのねらいも見えてきた．さらに位相空間(連続写像)や可測空間(可測写像)，もっと身近な線形空間(線形写像)やオートマトン(模倣)など，おなじみの数学的構造がすべてチャネル理論の分類(情報射)であることが実感をもって確認できた．この実感の共有は情報をめざす多くの人とくに学生諸君にとっても有用であると信じる．なお，井出陽子氏の関連結果 (修士論文2011) にもふれる． 12:00--12:20 片山寛子（奈良女子大学）「BDIロジックに基づくエージェント実行系の構築に向けて」 BDIモデルは、合理的エージェントの実現の基盤としてよく知られているが、 BDIモデルの論理的な形式化に用いられるBDIロジックと現在提案されている手続的なBDIエージェントの実行系との間にはギャップがあることが指摘されている。本論文では、BDIロジックでの論理式による記述をそのまま実行可能なプログラムとして扱うようなBDIエージェントの実行系の実現に関するアイデアについて述べる。（休憩） 13:20--14:20 丸山善宏（京都大学）「Duality and Abramsky's Representation of Quantum Systems」 Samson Abramsky recently proposed to represent quantum systems (or physical systems in general) as Chu spaces and as coalgebras. In this talk, we analyze duality-theoretic consequences of his representation of quantum systems, and then place the resulting dualities in a wider context of general duality theory, with the ultimate aim of clarifying the nature of duality between states and observables in quantum physics. We finally touch upon philosophical issues relating Abramsky's representation to Karl Popper's notion of verisimilitude. 14:20--14:50 小川美樹（奈良女子大学）「汎用的な証明図作成支援ソフトの構築」証明図作成支援ソフトをJAVAで構築する。既存の物と比較して、次のような長所を持つものを作成しようと考えている。まず、JAVAで構築することによって汎用性の高いものにする。また、柔軟にレイアウトする機能を加える。さらに、半自動証明の機能も加える。 14:50--15:50 （予備） 15:50--16:00 （クロージング、次回予告など）

1 0

SLACS 2011 のご案内および講演募集（再々送）
by Kamo Hiroyasu 10 Sep '11

10 Sep '11

たびたび失礼します。（重複して受信された場合はご容赦ください。） SLACS 2011 の世話人をおおせつかっている奈良女子大学の鴨浩靖です。まだまだ講演が不足しておりますので、ご案内および講演募集を再々送いたします。第28回記号論理と情報科学研究集会 (SLACS 2011) は，奈良女子大学で開催の予定です．SLACSは，記号論理学と計算機科学の研究者や学生の相互交流を目的として開催されている研究集会です．完成された研究のみならず，発展途上の話題も大歓迎です． SLACS 2011 のページは http://taurus.ics.nara-wu.ac.jp/slacs2011/ です。 SLACS全般のページは http://www.sato.kuis.kyoto-u.ac.jp/SLACS です。開催要項開催日：2011年9月12日(月)午前〜 9月13日(火)午後（講演が少ない場合は、開始を遅らせます）場所：奈良女子大学G棟G302教室奈良女子大学へは、大阪または京都から近鉄が便利です。近鉄奈良駅から徒歩約5分です。当日は夏期休暇中で南門が閉鎖されているため、正門におまわりください。アクセスマップ http://www.nara-wu.ac.jp/accessmap.html キャンパスマップ http://www.nara-wu.ac.jp/image_c/campusmap2.jpg 懇親会：9月12日夜に懇親会を予定しています．詳細はプログラム確定後、お知らせします。参加費，参加申込はともに不要です．（懇親会につきましては費用を御負担いただきます．）講演を希望される方は、・題目・講演者名・e-mail address ・所属・梗概・講演時間・講演に必要な道具などの情報を slacs2011(a)mensa.ics.nara-wu.ac.jp までお知らせください。とりあえず、「講演したいと思っている」程度の不完全情報でも結構です。多くの皆さんのご講演・ご参加をお待ちしております。奈良女子大学理学部情報科学科鴨浩靖 _______________________________________________ Logic-ml mailing list Logic-ml(a)sato.kuis.kyoto-u.ac.jp http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 1

Fwd: Fwd: NSA2011
by Tchizawa 10 Sep '11

10 Sep '11

関係各位様 2010年度超準解析シンポジウムの再再報です。今回は Guy Wallet, Imme van den Berg　教授が海外から参加されます。講演は日本語でOKですが、レジュメはできれば英語で作成されることを希望します。尚、１１月１１日（金）に懇親会を予定しています、こちらの参加の予定もお知らせください。２０１０年度超準解析シンポジウム日時：11月10日（木）,11日（金）,12日（土）, 2011年　場所：東京都市大学　世田谷キャンパス 3号館　メモリアルホール　　（東急大井町線　尾山台駅　徒歩　約１５分） NSA 2011 Program ********************** 10th November Reception, 12:30-14:00 Session, 14:00-15:00 : H.Yamashita, "Brownian phase-space path integral" 15:15-17:15 : I.V.D.Berg, "External numbers and external points" ----------------------------------- 11th November 10:00-11:00 : T.Kawai, "Axiomatic set theory on NSA" 11:15-12:15 : R.Nishiyama, "Induction on NSA in the singularity" Lunch Time Session, 14:00-15:00 : S.Nagamachi, "Bosonization" 15:30-17:30 : G.Wallet, "Arithmetization and Harthong-Reeb line based on Omega-numbers" Banquet : Santo Spirito (Meguro) 19:00-21:30 -------------------------------------------- 12th November 10:00-11:00 : H.Miki, "4-dim duck solutions in a trading economic model" 11:15-12:15 : K.Tchizawa, "On relative stability in a 4-dim slow-fast system" ------------------------------------- Kiyoyuki Tchizawa Directorate Ph.D Tokyo Nonlinear Analysis Research Center Institute of Administration Engineering, Ltd. _______________________________________________ Logic-ml mailing list Logic-ml(a)sato.kuis.kyoto-u.ac.jp http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 0

TQC2012のご案内
by Harumichi Nishimura 06 Sep '11

06 Sep '11

logic-mlの皆様，来年東京で行われる国際会議TQC2012の案内について，依頼投稿をさせていただきます．なお，重複してお受け取りの節はご容赦ください．大阪府立大学理学系研究科西村治道 http://www.mi.s.osakafu-u.ac.jp/~hnishimura/ ============================================ 皆様来年の５月１７日から１９日に東京大学の小柴ホールにて TQC2012(The 7th Conference on Theory of Quantum Computation, Communication, and Cryptography)を開催することになりました。 First call for paperの案内ができましたので、お送りいたします。 TQCは、量子計算、量子通信、量子暗号などの量子情報の理論的研究に関する主要な国際会議の一つです。２００６年に第１回が開催されて以来、毎年開催されております。２００８年に日本で開催されて以来、カナダ、英国、スペインで開催されており、来年は久しぶりに日本に戻ってきます。コンピュータ科学、情報理論、物理などの様々な分野の研究者が参加し、多角的な観点から総合的な議論を行なうことによって、量子情報科学技術におけるイノベーションを目指すことを目的としています。 NTT 河野泰人東京大学　村尾美緒 ------------------------------ Dear Colleagues, We would like to draw your attention to the upcoming event "The 7th Conference on Theory of Quantum Computation, Communication, and Cryptography (TQC 2012)". The workshop will be held May 17-19, 2012, at University of Tokyo, Tokyo, Japan. Please see the information attached below. Sincerely Yours, The Organizing Committee of TQC 2012 Yasuhito Kawano (NTT, Japan) Mio Murao (University of Tokyo, Japan) ======================================================================= PRELIMINARY ANNOUNCEMENT The 7th Conference on Theory of Quantum Computation, Communication, and Cryptography ---- TQC 2012 ---- 　　　　　　　　　 Koshiba Hall, University of Tokyo 　　　　　　　　　　　　　　　　Tokyo, Japan 　　 May 17-19, 2012 http://www.eve.phys.s.u-tokyo.ac.jp/tqc2012/ ======================================================================= General Information: Quantum computation, quantum communication, and quantum cryptography are important subfields of quantum information processing, an interdisciplinary field of information science and quantum mechanics. The TQC conference series focuses on theoretical aspects of these subfields. The objective of the conference is to bring together researchers so that they can interact with each other and share problems and recent discoveries. It will consist of invited talks, contributed talks, and a poster session. As has happened for previous TQCs, a post-conference proceedings volume will be published, to which selected speakers will be invited to contribute their presentations. We expect this will again be in Springer's Lecture Notes in Computer Science Series. ------------------- Scope: The scope of the workshop includes, but is not limited to: * quantum algorithms * models of quantum computation * quantum complexity theory * simulation of quantum systems * quantum cryptography * quantum communication * quantum estimation and measurement * quantum noise * quantum coding theory * fault-tolerant quantum computing * entanglement theory -------------------- Invited Speakers: Antonio Acin (ICFO-Institute of Photonic Sciences, Spain) Andris Ambainis (University of Latvia, Latvia) Ferdinando Brandao (Federal University of Minas Gerais, Brazil) Masahito Hayashi (Tohoku University, Japan) John Watrous (University of Waterloo, Canada) Michael Wolf (Technical University Munich, Germany) -------------------- Program Committee (to be added): Patrick Hayden (McGill University, Canada) Susana Huelga (University of Ulm, Germany) Kazuo Iwama (Kyoto University, Japan, Chair) Masato Koashi (University of Tokyo, Japan) Barbara Kraus (University of Innsbruck, Austria) Francois Le Gall (University of Tokyo, Japan) Serge Masser (ULB, Belgium) Kae Nemoto (NII, Japan) Harumichi Nishimura (Osaka Prefecture University, Japan) Robert Raussendorf (University of British Columbia, Canada) Renato Renner (ETH, Switzerland) Barry Sanders (University of Calgary, Canada) Mario Szegedy (Rutgers University, USA) Yasuhiro Takahashi (NTT, Japan) Andreas Winter (University of Bristol, UK and National University of Singapore, Singapore) Ronald de Wolf (CWI, The Netherlands) Shengyu Zhang (Chinese University of Hong Kong, Hong Kong) -------------------- Organizing Committee : Yasuhito Kawano (NTT, Japan) Mio Murao (University of Tokyo, Japan) -------------------- Important dates: Submission deadline: 21st January (23:59 JST) 2012 Notification: Early March 2012 Conference: 17th-19th May 2012 ------------------- For updated information, please visit the conference website http://www.eve.phys.s.u-tokyo.ac.jp/tqc2012/ -- ********************************************************** Mio Murao (murao(a)phys.s.u-tokyo.ac.jp) Department of Physics, Graduate School of Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-0033 Japan

1 0

RIMS 研究集会『記述集合論の展望』のご案内
by FUJITA Hiroshi 06 Sep '11

06 Sep '11

皆様、愛媛大学理工学研究科の藤田です。京都大学数理解析研究所共同利用事業のひとつとして研究集会『記述集合論の展望』を、次の要領で開催します。 ============================= RIMS研究集会『記述集合論の展望』日時平成23年10月19日(水) 10時30分から同21日(金) 17時まで会場京都大学数理解析研究所420号室 ============================= タイムテーブルのPDF版は http://www.math.sci.ehime-u.ac.jp/%7Efujita/RIMS2011/ からダウンロードしていただけます。この研究集会は例年この時期に開催しております集合論分野の研究会シリーズの一環ですが、特に今年は、 Stefan Geschkeさんのレクチャー "Clopen Graphs on Polish Spaces" Slawomir Soleckiさんのレクチャー "Dynamics of Polish Groups" (各60分×3回) をはじめとして、記述集合論および関連分野の研究発表が多数おこなわれます。どうぞご参加ください。なお、旅費にまだ少々余裕があります。当研究集会に参加予定で、RIMSからの旅費の支給をお望みの方は、お早めに藤田までご連絡くださいませ。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> 愛媛大学大学院理工学研究科数理物質科学専攻

1 0

准教授公募（応用数理。情報系も含む）
by Suzuki Toshio 06 Sep '11

06 Sep '11

$B3'MM(B $B<sETBg3XEl5~(B $BM}9)3X8&5f2J(B $B?tM}>pJs2J3X@l96$NNkLZEP;VM:$G$9!#(B $B$3$N$?$SEv@l96$G$O1~MQ?tM}7O$N=Z65<x8xJg$r$$$?$7$^$9!#(B http://www.comp.tmu.ac.jp/math/koubo/asp0829_11.pdf $B$7$a$-$j$,#1#07n#2#1F|$H!"$"$^$j;~4V$,$J$/$F62=L$G$9!#(B $B$*6a$/$KE,G$$NJ}$,$$$i$C$7$c$$$^$7$?$i1~Jg$r4+$a$F$$$?$@$1$l$P9,$$$G$9!#(B ====================================================================== $B8xN)Bg3XK!?M<sETBg3XEl5~!!@lG$650wJg=8MW9`(B $BJg=8?&0L!'=Z65<x(B $BJg=8?M?t(B $B!'#1L>(B $B=jB05Z$S6PL3CO!'!J3XIt!KET;T65M\3XItM}9)3X7O?tM}2J3X%3!<%9(B $B!!!!!!!!!JBg3X1!!KM}9)3X8&5f2J?tM}>pJs2J3X@l96(B $BFnBgBt%-%c%s%Q%9!!!J")(B192-0397$BEl5~ETH,2&;R;TFnBgBt(B1-1$B!K(B $B@lLgJ,Ln!'1~MQ?tM}7O(B($B>pJs7O$r4^$`(B) $BC4EvM=Dj2JL\!'?t3X4pAC2JL\(B($B@~7ABe?t!&Hy@QJ,(B)$B!">pJs4pAC2JL\(B($B%W%m%0%i%_%s%0(B)$B!"1~MQ?tM}7O$N9V5A$H%;%_%J!<Ey(B $B1~Jg;q3J(B $B!'3XIt$+$iBg3X1!Gn;N8e4|2]Dx$^$G$N?t3X!??tM}2J3X$N650i$H8&5f$KG.0U$N$"$kJ}(B $B:NMQG/7nF|!'J?@.(B24$BG/(B4$B7n(B1$BF|(B $B=h6x!'!!!J#1!K?&0L!&6H@S!&?&L3FbMF$K1~$8$?G/Jp@)(B $B!J#2!KB`?&<jEv$OK!?MB`?&;~$KJL$K;Y5k(B $BG$4|!'G$4|(B5$BG/!J99?7$"$j!#=Z65<x$H$7$F$N99?7$O(B2$B2s$^$G!K(B $BC"$7!"(B65$B:P$H$J$C$?G/EY$NKvF|$r$b$C$FB`?&$H$J$j$^$9!#(B $B!JJ?@.(B24$BG/EY$^$G7P2aA<CV$,$"$j$^$9!#!K(B $B1~Jg=qN`!'-!MzNr=q!JMM<0#1!K(B $B!!-"8&5f6H@S%j%9%H(B($BMM<0ITLd(B) $B!!-#<gMW$J8&5fO@J8$NJL:~!&%3%T!<(B5$BJT0JFb3F(B1$BIt(B $B-$8&5f6H@S$N35MW!J8&5f(B,$B650i!&;XF3<B@S(B,$B30It;q6b(B,$B<R2q9W8%$r4^$`!K(B2,000$B;zDxEY(B($BMM<0ITLd!K(B $B!!-%:NMQ8e$N3hF07W2h!J650i(B, $B8&5f(B, $B<R2q9W8%$r4^$`!K(B2,000$B;zDxEY!JMM<0ITLd!K(B $B!!-&1~Jg<T$K$D$$$F>H2q2DG=$JJ}(B2$BL>$N;aL>!&O"Mm@h(B $B!!"(A*9M$N2aDx$G!"(B $B1~Jg<T$K4X$7$F>H2q2DG=$J30ItM-<1<T$NDI2C$r$*4j$$$9$k>l9g$,$"$j$^$9!#(B $B!!"(!!=jDjMM<0!JMM<0#1!K5Z$S5-F~MWNN$O2<5-%[!<%`%Z!<%8$+$i%@%&%s%m!<%I$7$F2<$5$$!#(B $B!!!!!!(Bhttp://www.houjin.tmu.ac.jp/recruit_teacher/tmu.html $BDs=PJ}K!!'!&4J0W=qN1$G0l3gM9Aw$7$F$/$@$5$$!JBpG[JX2D!K!#(B $B!!!&IuE{Ey$K!V650w8xJg=qN`(B($B1~MQ?tM}7O(B)$B:_Cf!W$H<k=q$-$7$F$/$@$5$$!#(B $B!!!&1~Jg=qN`$OJV5Q$$$?$7$^$;$s!#$4N;>5$/$@$5$$!#(B $B"(>e5-<h07$$$N$?$a!"(B $BK|0l9b2A$J=qN`Ey$rAwIU$5$l$k>l9g$O!"(B $B$=$NE@$4N10U$N>e$41~Jg2<$5$$!#(B $B"(EE;R%a!<%k$K$h$k$41~Jg$O<u$1IU$1$F$*$j$^$;$s!#(B $BDs=P@h!'(B $B")(B192-0397 $BEl5~ETH,2&;R;TFnBgBt#1!]#1(B $B8xN)Bg3XK!?M<sETBg3XEl5~!!AmL3It?M;v2]?M;v@)EY78(B $BDs=P4|8B!'J?@.(B23$BG/(B10$B7n(B21$BF|!J6b!KI,Ce(B $B"(3$30$+$i1~Jg$5$l$k>l9g$K$OM9JX;v>p$r9MN8$5$l$k$h$&$*4j$$$7$^$9!#(B $BA*9MJ}K!!'-!(B1$B<!A*9M!'=qN`A*9M(B $B-"(B $B#2<!A*9M!'E,59LL@\$r9T$$$^$9!#(B $B;~4V!&>l=jEy$N>\:Y$OJLES$4O"Mm$7$^$9!#(B $B!!"((B2$B<!A*9M$K$"$?$jI,MW$H$J$kN9Hq!&BZ:_HqEy$O1~Jg<T$NIiC4$H$J$j$^$9!#(B $B$^$?!"9gH]7k2L$OEv3:It6I$+$iDLCN$5$l$^$9!#(B $BLd$$9g$o$;@h!'-!8xJgA4HL$K4X$9$k$3$H(B $B!!!!!!!!!!8xN)Bg3XK!?M!!<sETBg3XEl5~!!AmL3ItAmL32]?M;v@)EY78(B $B!!!!!!!!!!(BTEL 042-677-1111$B!!Fb@~(B1028$B!!(Be-mail$B!'(Bkyoinsaiyo(a)jmj.tmu.ac.jp $B!!!!!!-"@lLgJ,Ln$K4X$9$k$3$H(B $B!!!!!!!!!!?tM}>pJs2J3X@l96D9!!CfB<7{(B $B!!!!!!!!!!(BTEL 042-677-2471$B!!(Be-mail$B!'(Bnakamula(a)tmu.ac.jp $BHw9M!'K\3X$O!"(B $BB?MM@-$KG[N8$7$F$*$j!"(B $BFC$K=w@-$N@Q6KE*$J1~Jg$r4|BT$7$^$9!#(B ---------------------------------------------------------------------- $B$J$*!"F1;~$K2r@O7O$N=Z65<x8xJg$b$7$F$*$j$^$9$,!"$=$l$H:#2s$N$OJL7o$G$9!#(B http://www.comp.tmu.ac.jp/math/koubo/asp0816_11.pdf -- $BNkLZEP;VM:(B $B<sETBg3XEl5~(B $BM}9)3X8&5f2J(B $B?tM}>pJs2J3X@l96(B toshio-suzuki(a)tmu.ac.jp

1 0

J.-Y. Girard氏来日に伴う線型論理ワークショップ
by Kazushige TERUI 06 Sep '11

06 Sep '11

10月中旬より京都大学客員教授としてJean-Yves Girard氏が京都に滞在されます。またフランス・イタリアの線型論理グループから若手研究者の訪問が予定されております。それに伴いまして、下記の要領にて線型論理ワークショップを開催したいと思います。どうぞ参加・講演をご検討ください。日時：2011年11月7日（月）−11日（金）（ただし11日は学生セッションの予定）場所：京都大学理学部3号館110号室（予定）内容：Girard氏による３〜４回の講義および　　　一般参加者の講演・ディスカッションテーマ：＊相互作用の幾何＊トレース付きモノイダル圏＊非明示的計算量理論＊その他線型論理および周辺の話題フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Damiano Mazza (Paris) Michele Pagani (Paris)、他参加費：無料旅費：若干の旅費援助が可能ですので、　　　学生の方の参加も歓迎します。正式名称：RIMS共同研究集会「相互作用の幾何・トレース付きモノイダル圏・非明示的計算量」参加ご希望の方は下記の情報を照井terui(a)kurims.kyoto-u.ac.jp までお知らせください。１．お名前・所属・身分２．参加日程：11月?日から〜11月?日まで３．講演を希望する・しない４．旅費補助を希望する・しない ※必ずしもご希望に添えない場合があることをご了承ください。 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

J.-Y. Girard氏来日に伴う線型論理ワークショップ
by Kazushige TERUI 05 Sep '11

05 Sep '11

10月中旬より京都大学客員教授としてJean-Yves Girard氏が京都に滞在されます。またフランス・イタリアの線型論理グループから多数の若手研究者の訪問が予定されております。それに伴いまして、下記の要領にて線型論理ワークショップを開催したいと思います。どうぞ参加・講演をご検討ください。日時：2011年11月7日（月）−11日（金）（ただし11日は学生セッションの予定）場所：京都大学理学部3号館110号室（予定）内容：Girard氏による３〜４回の講義および　　　一般参加者の講演・ディスカッションテーマ：＊相互作用の幾何＊トレース付きモノイダル圏＊非明示的計算量理論＊その他線型論理および周辺の話題フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Damiano Mazza (Paris) Michele Pagani (Paris)、他参加費：無料旅費：若干の旅費援助が可能ですので、　　　学生の方の参加も歓迎します。正式名称：RIMS共同研究集会「相互作用の幾何・トレース付きモノイダル圏・非明示的計算量」参加ご希望の方は下記の情報を照井terui(a)kurims.kyoto-u.ac.jp までお知らせください。１．お名前・所属・身分２．参加日程：11月?日から〜11月?日まで３．講演を希望する・しない４．旅費補助を希望する・しない ※必ずしもご希望に添えない場合があることをご了承ください。 ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml September 2011