- Kisoron-ml - fos.kuis.kyoto-u.ac.jp

Second Call: Logic, Algebra, and Truth Degrees 2012
by Hiroakira Ono 04 Apr '12

04 Apr '12

Logic, Algebra and Truth Degrees 2012 http://www.jaist.ac.jp/rcis/latd12/ Second Call for Papers === Deadline for contributed talks: 22 April 2012 === === Application for grants available === The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science [2], Japan Advanced Institute of Science and Technology [3]. Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The featured topics include, but are not limited to, the following: . Proof systems for fuzzy logics: Hilbert, Gentzen, natural deduction, tableaux, resolution, computational complexity, etc. . Algebraic semantics: residuated lattices, MTL-algebras, BL-algebras, MV-algebras, Abstract Algebraic Logic, functional representation, etc. . Game-theory: Giles games, Rényi-Ulam games, evaluation games, etc. . First-order fuzzy logics: axiomatizations, arithmetical hierarchy, model theory, etc. . Higher-order fuzzy logical systems: type theories, Fuzzy Class Theory, and formal fuzzy mathematics. . Philosophical issues: connections with vagueness and uncertainty. . Applied fuzzy logical calculi: foundations of logical programming, logic-based reasoning about similarity, description logics, etc. We also welcome contributions on any relevant aspects of related logical systems (such as substructural and quantum logics, and many-valued logics in general). Conference Web Site: http://www.jaist.ac.jp/rcis/latd12/ Important dates: . 22 April 2012: deadline for submissions . 3 June 2012: notifications sent . 10-14 September 2012: conference Programme Committee: . Stefano Aguzzoli (University of Milano, Italy) . Matthias Baaz (Vienna University of Technology, Austria) . Petr Cintula (Academy of Sciences, Czech Republic) . Carles Noguera (CSIC, Spain) . Hiroakira Ono (JAIST, Japan), Chair . James Raftery (University of KwaZulu-Natal, South Africa) . Constantine Tsinakis (Vanderbilt University, USA) Invited Speakers: . Rostislav Horčík (Academy of Sciences, Czech Republic) . Emil Jeřábek (Academy of Sciences, Czech Republic) . Daniele Mundici (University of Florence, Italy) . Greg Restall (University of Melbourne, Australia) . Luca Spada (University of Salerno, Italy) Tutorial: . Felix Bou (University of Barcelona, Spain) If you are interested in presenting a paper, please submit a 2–4 pages abstract at http://www.easychair.org/conferences/?conf=latd2012 Your submission will be confirmed automatically on the e-mail address you provide. The accepted abstracts will be available on-line after the final decision of the program committee. If you have any problems to submit an abstract, please contact us at mail to: latd2012(a)jaist.ac.jp The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012. Registration: Registration has not started by now, but we appreciate your email informing us on your participation plans. Registration fee is likewise not determined by now. Grants: There is a limited amount of grants available for participants. Please contact us as soon as possible including the following information: - name, affilitation - amount of money needed - title of your contribution (no grant without presentation) - reason/explanation of need for grant Conference dates: The scientific program will start Monday morning (10 September) and finish Friday noon (14 September). Wednesday afternoon we plan an excursion. Venue: The conference will be held in the city of Kanazawa [4,5,6], located in the Ishikawa prefecture of Japan on the Japan Sea. The venue is the Ishikawa Prefectural Museum of Art [7] in the center of Kanazawa. Local Organizing Committee: . Norbert Preining (JAIST, Japan), Chair . Katsuhiko Sano (JAIST, Japan) . Kazushige Terui (Kyoto University, Japan) . Shunsuke Yatabe (AIST, Japan) For further information please contact: latd2012(a)jaist.ac.jp [1] http://www.mathfuzzlog.org/ [2] http://www.jaist.ac.jp/rcis/en/ [3] http://www.jaist.ac.jp/ [4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa [5] http://www.kanazawa-tourism.com/ [6] http://wikitravel.org/en/Kanazawa [7] http://www.ishibi.pref.ishikawa.jp/index_j.html

1 0

CL&C 2012: deadline extension
by Koji Nakazawa 03 Apr '12

03 Apr '12

（重複の場合はご容赦ください） 7月にWarwickで開催される古典論理と計算に関するワークショップの論文募集です．締切りが大幅に延長されておりますので，是非，投稿をご検討ください．中澤 International Workshop on Classical Logic and Computation (CL&C'12) http://www.doc.ic.ac.uk/~svb/CLaC12 July, 8 2012 Warwick, England CL&C'12 is a satellite workshop of ICALP'12. IMPORTANT DATES Abstract submission (canceled) Deadline for submission: April, 23, 2012 (new) Notification of acceptance: June, 18, 2012 (new) Final version due: June, 28, 2012 (new) Workshop date: July, 8, 2012 INTRODUCTION CL&C'12 is the fourth of a conference series on Classical Logic and Computation. It intends to cover all work aiming to explore computational aspects of classical logic and mathematics. This year CL&C will be held as satellite workshop of ICALP'12 in Warwick: http://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp2012/ CL&C is focused on the interplay between program extraction from classical the exploration of the computational content of mathematical and logical principles. The scientific aim of this workshop is to bring together researchers from both fields and exchange ideas. SCOPE OF CL&C This workshop aims to support a fruitful exchange of ideas between the various lines of research on Classical Logic and Computation. Topics of interest include, but are not limited to, - version of lambda calculi adapted to represent classical logic; - design of programming languages inspired by classical logic; - cut-elimination for classical systems; - proof representation and proof search for classical logic; - translations of classical to intuitionistic proofs; - constructive interpretation of non-constructive principles; - witness extraction from classical proofs; - constructive semantics for classical logic (e.g. game semantics); - case studies (for any of the previous points). SUBMISSION AND PUBLICATION. This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic / position papers, as well as completed projects. We therefore ask for submission both of short abstracts and of longer papers. All submitted papers will be reviewed to normal standards. The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, and presentations of (short) papers about work in progress. The accepted papers will appear in EPTCS. In order to make a submission: - Format your file using the LNCS guidelines; there is a 15 page limit. - Use the submission instructions at https://www.easychair.org/conferences/?conf=clc2012 A participants' proceedings will be distributed at the workshop. PROGRAMME COMMITTEE * Herman Geuvers (Nijmegen) - chair * Stefano Berardi (Turin) * Steffen van Bakel (Imperial College London) * Silvia Ghilezan (Novi Sad) * Koji Nakazawa (Kyoto Univeristy) * Ugo de'Liguoro (Turin) CONTACT deligu(a)di.unito.it

1 0

seminar announcement
by Hiroakira Ono 02 Apr '12

02 Apr '12

東北大学の赤間陽二さんの依頼により投稿します。　　小野寛晰 ---------------------------------------------------------------------------------------------- 　　　　　　Seminar Announcement Anyone can come! Speaker: Norbert Preining (JAIST) Title: Goedel Logics, Continuous Embeddability and Fraisse's Conjecture Date: Wednesday, 4 April, 16:00---17:40 Venue: 802, Rigaku Sogo-to (Godo-to), 8F, Science Campus, Tohoku University Key words: many-valued logic, order theory, semantics In this talk we present a family of many-valued logics introduced by Kurt Goedel to approximate Intuitionistic Logic. Later on these were extended to first order and have exhibited connections to temporal logics, Kripke frames based logics, fuzzy logics in the sense of Hajek (t-norm based logics). These logics are based on selecting a closed subset of the real interval [0,1], and collecting all formulas evaluating to true for all valuations into this truth value set. Due to the specific truth functions different truth values sets might generate the same logics (as sets of formulas). During the search for the total number of logics we took up old conjecture of Fraisse (theorem of Laver) on the behaviour of scattered linear orderings. We consider continuous embeddability in the reals and prove a generalized Fraisse conjecture stating the the closed subsets of the real [0,1] interval with continuous embeddability are better-quasi-ordered. Using this result we can show that surprisingly the total number of different Goedel logics is countable. This discrepancy - on the one hand uncountable many equivalence classes of the above mentioned ordering, and countable many Goedel logics on the other hand - leaves us still without an "intensional definition" of Goedel logics in the sense that if two semantical objects (to be found or defined) are different, then the respective logics are different, too. This does not hold for equality of the truth value sets, since there are different truth value sets creating the same logic, as well as for the above mentioned continuous embeddability induced equivalence. ======================================== Short biography of Norbert Preining * Graduated from Vienna University of Technology under the auspicies of the president of the Republic of Austria in 2003 * Postdoc in Siena, Italy as European Community Marie Curie Fellow * Project leader of a research project of the Austrian Research Fund (FWF) (paralleling the JSPS) * Currently Associate Professor at the JAIST * Secretary of the Kurt Goedel Society, responsible for the Kurt Goedel Research Prize Fellowship * Spare time activities are montaineering, typography, TeX, and Debian Contact: Yohji Akama (Mathematical Institute, Tohoku University) akama(a)m.tohoku.ac.jp, 022-795-7708 For the access, See map on http://www.math.tohoku.ac.jp/access/index.html or http://www.math.tohoku.ac.jp/english/access-e.html　（english). For the building of the venue, see map on http://www.math.tohoku.ac.jp/map/ http://www.math.tohoku.ac.jp/english/campus-e.html (english)

1 0

TARK 2013 Call for Papers
by Suzuki, Nobu-Yuki 01 Apr '12

01 Apr '12

*Call for Papers* TARK 2013 14. Conference on Theoretical Aspects of Rationality and Knowledge January 7-9, 2013 Institute of Mathematical Sciences, Chennai, India Conference website: http://www.imsc.res.in/tark/ About the Conference The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Submissions are now invited to TARK 2013. Extended Abstracts can be submitted here: https://www.easychair.org/conferences/?conf=tark2013 Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. In particular, they should 1) contain enough information to enable the program committee to identify the main contribution of the work; 2) explain the significance of the work -- its novelty and its practical or theoretical implications; and 3) include comparisons with and references to relevant literature. Abstracts should be no longer than ten double-spaced pages (4,000 words). Optional technical details such as proofs may be included in an appendix. An email address of the contact author should be included. Papers arriving late or departing significantly from these guidelines risk immediate rejection. One author of each accepted paper will be expected to present the paper at the conference. Economists should be aware that special arrangements have been made with certain economics journals (in particular, with International Journal of Game Theory, Games and Economic Behavior, Journal of Economic Theory, and Mathematical Social Sciences, so that publication of an extended abstract in TARK will not prejudice publication of a full journal version. TARK 2013 will precede the Indian Conference on Logics and Applications (ICLA) held from January 10 - 12, 2013, also at the Institute of Mathematical Sciences in Chennai, India. TARK 2013 is the 14th conference of the TARK conference series. Previous conferences have been held bi-annually around the world. The most recent conference was held 2011 at the University of Groningen, Netherlands, see http://www.philos.rug.nl/TARK2011/. The proceedings of all previous TARK conferences can be accessed here http://www.tark.org/ TARK 2013 is the first TARK conference to be held in India. It is also the first TARK conference to be held in January. Key Dates for TARK 2013 Submission of abstracts: September 3, 2012 Notification of authors: October 29, 2012 Camera ready copy of accepted papers: November 30, 2012 Conference: January 7 - 9, 2013, Institute of Mathematical Sciences, Chennai, India Program Committee Samson Abramsky, Oxford University Thomas Agotnes, Universitetet i Bergen Hans van Ditmarsch, Universidad de Sevilla Amanda Friedenberg, Arizona State University Aviad Heifetz, The Open University of Israel Jerome Lang, Université Paris-Dauphine and Université Paul Sabatier Fenrong Liu, Tsinghua University Larry Moss, Indiana University, Bloomington Antonio Penta, University of Wisconsin-Madison Andres Perea, Maastricht University R. Ramanujam, Institute for Mathematical Sciences, Chennai Oliver Roy, Ludwig-Maximilians Universität München Burkhard C. Schipper, University of California, Davis Marciano Siniscalchi, Northwestern University Giacomo Sillari, Scuola Normale Superiore, Pisa Nobuyuki Suzuki,Shizuoka University Jonathan Zvesper, London Program Chair Burkhard C. Schipper University of California, Davis Department of Economics One Shields Avenue Davis, CA 95616, USA Email: bcschipper ad ucdavis dot edu Local Organizing Chair R. Ramanujam Institute of Mathematical Sciences CIT Campus, Taramani Chennai 600 113, India Email: tark2013org at gmail dot com Chair of the TARK Conference Series Joe Halpern Cornell University Computer Science Department

1 0

Prof. Dieter Spreen Lecture at NII Logic Seminar
by Makoto Tatsuta 27 Mar '12

27 Mar '12

Prof. Dieter Spreen Lecture at NII Logic Seminar Date: April 4, 2012, 13:30--15:30 Place: National Institute of Informatics, Room 1213 (12th floor) 場所: 国立情報学研究所 12階 1213室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Prof. Dieter Spreen (University of Siegen) Title: A refined model construction for the polymorphic lambda calculus Abstract: We present and discuss a stable model for the polymorphic lambda calculus. The domains are enriched by an approximation structure. This allows to put additional requirements on the morphisms of the underlying category. Moreover, a totality notion can be introduced such that in the induced model the polymorphic booleans are interpreted by the two-element set {True, False}. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

数学・数理科学のためのキャリアパスセミナー
by KASHIMA Ryo 20 Mar '12

20 Mar '12

日本数学会数学基礎論および歴史分科会会員の皆様、数学会理事長からの連絡を転送します。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp ＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝数学会会員各位東京理科大で開催される本年度数学会年会の３日目、３月２８日（水）13:00 - 17:00 に、ドクターの学生と企業との相互理解を深めることを目的として、『数学・数理科学のためのキャリアパスセミナー』が開催されます。研究開発に力をいれている１７の企業が参加します。企業との良好な関係を築き、数学を学んだ方々の進路を広げるためにも、できるだけ多くの数学関係者に参加していただきたいと考えております。大学院生、研究生など、関係しそうな方に、ぜひ参加するよう、広く呼びかけていただければ幸いです。同セミナーの詳細につきましては、数学会のウェブページ http://mathsoc.jp/meeting/tus12mar/career2012.html を御覧ください。日本数学会理事長　宮岡　洋一

1 0

数学会年会
by KASHIMA Ryo 20 Mar '12

20 Mar '12

日本数学会数学基礎論および歴史分科会会員の皆様、来週26日(月)から東京理科大学にて春の学会（年会）が開催されます。当分科会は　26日(月)：一般講演，歴史部門懇談会．　27日(火)：一般講演，特別講演，分科会総会．を行います。皆様のご参加をお待ちしています。 ----- 鹿島亮（今回の年会の準備までを評議員として担当しています）東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

2012LLS
by Toshihiko Kurata 29 Feb '12

29 Feb '12

kisoron-ml，logic-mlの皆様，以前ご案内させて頂きました「ラムダと論理の研究会」ですが，セミナーハウスでの宿泊について学生部屋に限りまだ余裕があるとのことです．折角の機会ですので，再度ご案内させて頂きます．関心のあります学生さんは倉田（法政大学，kurata(a)hosei.ac.jp) まで遠慮なく御問合わせ下さい．なお，セミナー自体の参加希望は直前まで可能です．詳細情報は http://www.i.hosei.ac.jp/~kurata/2012LLS/ にありますので，よろしくお願いいたします． ---- Toshihiko Kurata, Hosei University e-mail kurata(a)hosei.ac.jp

1 0

2012LLS
by Toshihiko Kurata 12 Feb '12

12 Feb '12

kisoron-ml，logic-mlの皆様，昨年の夏休み期間に行われました「ラムダと論理の研究会」ですが，春休みにも同様に行うこととなりました．詳しい情報は http://www.i.hosei.ac.jp/~kurata/2012LLS/ にありますので気軽に参加を検討いただけますと幸いです．過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」に関して，成果発表の場というよりは成果をあげる場となっていまして，講演件数を抑え，残りの時間は個人やグループで柔軟に計画してもらうようになっています．色々な方と交流を持つためにも丁度よいと思います．（こうした形式のセミナーは主に海外で行われているらしく，それを取り入れた古森先生の研究室の下で継続的に実施されています．） ---- Toshihiko Kurata, Hosei University e-mail kurata(a)hosei.ac.jp ---------------------------------------------------------------------- 日時：　2012年3月18日(日)午後5時から3月22日(木)正午まで場所：　国立大学草津セミナーハウス参加申込：　昨夏と同様に事務的なことは倉田（法政大学）が窓口となっています．講演や参加を希望されます方は以下の項目を kurata(a)hosei.ac.jp までメイル下さい．会議室確保の都合がありまして，参加のみ希望されます方も予め御連絡頂けますと幸いです． -------------------------- 参加申込 -------------------------- 氏名：所属：連絡先 (e-mail): 参加期間：講演希望：有・無題目：希望時間：その他： -------------------------------------------------------------- また，セミナーに参加される方の中で特にセミナーハウスでの宿泊を希望される方は 2月20日までに宿泊申込を倉田（上記e-mailアドレス）までメイル下さい．宿泊定員の関係でこちらの締切は早くなっています．（確保した部屋が一杯になったら締切内に申し込んでも部屋が確保できない可能性がありますので御了承下さい．）他の情報は後から送って頂いて構いませんので，よろしくお願いいたします． ------------------- セミナーハウス宿泊申込 ------------------- セミナーハウスの宿泊の申込をします。部屋タイプの希望（教員は選択可，学生は学生部屋となります）：　　　　教員用, 学生用, どちらでもよい宿泊・食事の希望（希望しない部分を消去して下さい）：　　　　18日　　夕食　宿泊　　　　19日　　朝食　夕食　宿泊　　　　20日　　朝食　夕食　宿泊　　　　21日　　朝食　夕食　宿泊　　　　22日　　朝食 --------------------------------------------------------------

1 0

NII Type Theory Workshop
by Makoto Tatsuta 31 Jan '12

31 Jan '12

Seventh NII Type Theory Workshop Date: February 6, 2012, 13:00--17:00 Place: National Institute of Informatics, Room 2005 (20th floor) 場所: 国立情報学研究所 20階 2005室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Program: 13:00--13:30 Daisuke Kimura (National Institute of Informatics) Title: A generalized modal lambda calculus 13:30--14:00 Kazuyuki Asada (National Institute of Informatics) Title: Semantics of Multi-rooted Graph with Ordered Branch 14:00--14:20 Tea Break 14:20--15:00 Makoto Tatsuta (National Institute of Informatics) Title: Type Inference for Bimorphic Recursion 15:00--15:40 Yukiyoshi Kameyama (University of Tsukuba) Title: Pseudo-Classical Modal Logic for Staged Computation 15:40--16:00 Tea Break 16:00--17:00 Stefano Berardi (Torino University) Title: A Game Semantic for various Subclassical Logics Abstracts: ---------------------------------------------------------------------- Daisuke Kimura (National Institute of Informatics) Title: A generalized modal lambda calculus Abstract: In this talk, we introduce a lambda calculus with modal types. The types of this system contain information of possible worlds explicitly. This information can be considered as a position which is an abstraction of time or place. The feature of our calculus is that we can change the property of modalities by changing information about the relationship between positions. The aim of our research is the following: (1) To clarify the computational meaning of necessity and possibility modal operators. (2) To give a uniform framework that can treat several calculi with modal types. ---------------------------------------------------------------------- Kazuyuki Asada (National Institute of Informatics) Title: Semantics of Multi-rooted Graph with Ordered Branch Abstract: Buneman et al. introduced a graph transformation language UnCAL, where graph has bisimilarity semantics. There structural recursion plays an important role, and in order to define it, they introduced multi-rooted graph and its algebraic representation. In this talk we give coalgebraic semantics for multi-rooted graph, and see that such final coalgebras has some call-by-value structure. Then we introduce a CBV equational theory. Next we modify the results of graph with un-ordered branch to that with ordered branch, which is important for application to XML. For this ordered graphs, bisimilarity is defined in some subtle way, but we can use the ordered version of above CBV equational theory for reasoning of the bisimilarity between ordered graphs. ---------------------------------------------------------------------- Makoto Tatsuta (National Institute of Informatics) Title: Type Inference for Bimorphic Recursion Abstract: This talk proposes bimorphic recursion, which is restricted polymorphic recursion such that every recursive call in the body of a function definition has the same type. Bimorphic recursion allows us to assign two different types to a recursively defined function: one is for its recursive calls and the other is for its calls outside its definition. Bimorphic recursion in this talk can be nested. This talk shows bimorphic recursion has principal types and decidable type inference. Hence bimorphic recursion gives us flexible typing for recursion with decidable type inference. This talk also shows that its typability becomes undecidable because of nesting of recursions when one removes the instantiation property from the bimorphic recursion. This is a joint work with Ferruccio Damiani. ---------------------------------------------------------------------- Yukiyoshi Kameyama (University of Tsukuba) Title: Pseudo-Classical Modal Logic for Staged Computation Abstract: In this talk, we study a pseudo-classical modal logic, which corresponds to the staged calculus with control operators introduced by our earlier work. Staged computation is a means for run-time code generation, and has been proved useful in improving efficiency and maintainability of software. We are interested in the use of control operators in staged computation, since they play an essential role to avoid the code duplication problem. Combining a staged calculus with control operators in a naive way results in an unsound calculus, and we need a restriction on the typing rule for lambda. We show that this restriction has a logical counterpart similar to Nakano's catch/throw calculus. ---------------------------------------------------------------------- Stefano Berardi (Torino University) Title: A Game Semantic for various Subclassical Logics Abstract: In this talk we describe the state of the art of game semantics for Logic and lambda-calculus, and the motivations for having a game semantics. Then we define a game semantic for Intuitionism extending both Coquands and Hyland-Ongs game semantics. The semantics refines a paper of TLCA 2007. We have two kind of results: (1) (Soundness and Completeness) The recursive winning strategy of our game semantics are isomorphic to the cut-free proofs of some variant of HA-omega (Infinitary Intuitionistic Arithmetic) (2) (Cut Elimination) Any debate between two terminating strategies terminates. This is an ongoing joint work with M. Tatsuta. ---------------------------------------------------------------------- 連絡先龍田真 (国立情報学研究所)

1 0

佐藤雅彦先生最終講義の御案内
by Koji Nakazawa 25 Jan '12

25 Jan '12

kisoron-mlのみなさま，（重複の場合はご容赦ください）京都大学の中澤です．この3月をもって定年を迎えられる佐藤雅彦先生の最終講義が下記のとおり行なわれますので，この場をお借りしまして，お知らせいたします． ---------------------------------------------------------------------- 各位小林茂夫教授・佐藤雅彦教授・後藤修教授最終講義および懇親会のご案内拝啓時下ますますご健勝のこととお喜び申し上げます。さてこの度、知能情報学専攻小林茂夫教授，佐藤雅彦教授，後藤修教授におかれましては、本年３月 31日をもって定年を迎えられ京都大学を退職されることとなりました。つきましては、三教授による最終講義および懇親会が行われますので、下記の通りご案内申し上げます。敬具記 1. 最終講義日時: 平成 24 年 3 月 16 日 (金) 午後 13:00 〜 18:00 会場: 京都大学百周年時計台記念館国際交流ホールI http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (3番の建物) 13:00〜14:30 佐藤雅彦教授「情報学の内と外〜世界と言語の関係〜」 14:45〜16:15 後藤修教授「ＤＮＡ＝高分子＋情報」 16:30〜18:00 小林茂夫教授「物理世界と感覚世界」 2. 懇親会日時: 平成 24 年 3 月 16 日 (金) 午後 18:45 〜 20:45 (受付: 18:15 〜) 会場: 京都大学百周年時計台記念館国際交流ホールIII http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (3番の建物) 会費: 一般 8,000円，学生 4,000円 [事前登録] final-lec(a)sato.kuis.kyoto-u.ac.jp までお名前: ご所属: 佐藤教授最終講義 (ご出席・ご欠席) 後藤教授最終講義 (ご出席・ご欠席) 小林教授最終講義 (ご出席・ご欠席) 懇親会 (ご出席・ご欠席) をお知らせください． (事前登録は必須ではありませんが、特に懇親会に関しまして参加者数を把握するため、事前登録にご協力をお願い致します。) 平成24年1月吉日京都大学大学院情報学研究科知能情報学専攻長黒橋禎夫小林教授・佐藤教授・後藤教授最終講義および懇親会準備会 final-lec(a)sato.kuis.kyoto-u.ac.jp

1 0

Prof. Kwangkeun Yi Lecture at NII Logic Seminar
by Makoto Tatsuta 04 Jan '12

04 Jan '12

Prof. Kwangkeun Yi Lecture at NII Logic Seminar Date: January 10, 2012, 15:00--17:00 Place: National Institute of Informatics, Lecture Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Prof. Kwangkeun Yi (Seoul National University) Title: Static Analysis of Multi-Staged Programs via Unstaging Translation Abstract: Static analysis of multi-staged programs is challenging because the basic assumption of conventional static analysis no longer holds: the program text itself is no longer a fixed static entity, but rather a dynamically constructed value. This article presents a semantic-preserving translation of multi-staged call-by-value programs into unstaged programs and a static analysis framework based on this translation. The translation is semantic-preserving in that every small-step reduction of a multi-staged program is simulated by the evaluation of its unstaged version. Thanks to this translation we can analyze multi-staged programs with existing static analysis techniques that have been developed for conventional unstaged programs: we first apply the unstaging translation, then we apply conventional static analysis to the unstaged version, and finally we cast the analysis results back in terms of the original staged program. Our translation handles staging constructs that have been evolved to be useful in practice (typified in Lisp's quasi-quotation): open code as values, unrestricted operations on references and intentional variable-capturing substitutions. This article omits references for which we refer the reader to our companion technical report. This is a joint work with Wontae Choi, Baris Aktemur, and Makoto Tatsuta. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

LATD2012
by Hiroakira Ono 02 Dec '11

02 Dec '11

Logic, Algebra and Truth Degrees 2012 http://www.jaist.ac.jp/rcis/latd12/ First Call for Papers The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science [2], Japan Advanced Institute of Science and Technology [3]. Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The featured topics included, but are not limited to, the following: . Proof systems for fuzzy logics: Hilbert, Gentzen, natural deduction, tableaux, resolution, computational complexity, etc. . Algebraic semantics: residuated lattices, MTL-algebras, BL-algebras, MV-algebras, Abstract Algebraic Logic, functional representation, etc. . Game-theory: Giles games, Renyi-Ulam games, evaluation games, etc. . First-order fuzzy logics: axiomatizations, arithmetical hierarchy, model theory, etc. . Higher-order fuzzy logical systems: type theories, Fuzzy Class Theory, and formal fuzzy mathematics. . Philosophical issues: connections with vagueness and uncertainty. . Applied fuzzy logical calculi: foundations of logical programming, logic-based reasoning about similarity, description logics, etc. We also welcome contributions on any relevant aspects of related logical systems (such as substructural and quantum logics, and many-valued logics in general). Conference Web Site: http://www.jaist.ac.jp/rcis/latd12/ Important dates: . 22 April 2012: deadline for submissions . 3 June 2012: notifications sent . 10-14 September 2012: conference Programme Committee: . Stefano Aguzzoli (University of Milano, Italy) . Matthias Baaz (Vienna University of Technology, Austria) . Petr Cintula (Academy of Sciences, Czech Republic) . Carles Noguera (CSIS, Spain) . Hiroakira Ono (JAIST, Japan), Chair . James Raftery (University of KwaZulu-Natal, South Africa) . Constantine Tsinakis (Vanderbilt University, USA) Invited Speakers: . Rostislav Horcik (Academy of Sciences, Czech Republic) . Emil Jerabek (Academy of Sciences, Czech Republic) . Daniele Mundici (University of Florence, Italy) . Greg Restall (University of Melbourne, Australia) . Luca Spada (University of Salerno, Italy) Tutorial: . Felix Bou (CICS, Spain) If you are interested in presenting a paper, please submit a 2‚Äì4 pages abstract at http://www.easychair.org/conferences/?conf=latd2012 Your submission will be confirmed automatically on the e-mail address you provide. The accepted abstracts will be available on-line after the final decision of the program committee. If you have any problems to submit an abstract, please contact us at mail to: latd2012(a)jaist.ac.jp The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012. Conference dates: The scientific program will start Monday morning (10 September) and finish Friday noon (14 September). Wednesday afternoon we plan an excursion. Venue: The conference will be held in the city of Kanazawa [4,5,6], located in the Ishikawa prefecture of Japan on the Japan Sea. The venue is the Ishikawa Prefectural Museum of Art [7] in the center of Kanazawa. Local Organizing Committee: . Norbert Preining (JAIST, Japan), Chair . Katsuhiko Sano (JAIST, Japan) . Kazushige Terui (Kyoto University, Japan) . Shunsuke Yatabe (AIST, Japan) For further information please contact: latd2012(a)jaist.ac.jp [1] http://www.mathfuzzlog.org/ [2] http://www.jaist.ac.jp/rcis/en/ [3] http://www.jaist.ac.jp/ [4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa [5] http://www.kanazawa-tourism.com/ [6] http://wikitravel.org/en/Kanazawa [7] http://www.ishibi.pref.ishikawa.jp/index_j.html

1 0

数学基礎論および歴史分科会
by KASHIMA Ryo 15 Nov '11

15 Nov '11

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。春の学会（３月２６日（月）〜２９日（木）東京理科大学神楽坂キャンパス）の一般講演申し込みが始まりました。発表申し込みページ： https://app.mathsoc.jp/ 多くの発表で分科会を盛り上げましょう。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

NII Type Theory Workshop
by Makoto Tatsuta 07 Nov '11

07 Nov '11

Sixth NII Type Theory Workshop Date: November 14, 2011, 11:00--17:00 Place: National Institute of Informatics, Room 2005 (20th floor) 場所: 国立情報学研究所 20階 2005室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Program: 11:00--11:30 Takayuki Koai (National Institute of Informatics) Title: Verification of Substitution Theorem Using HOL 11:30--12:00 Mauricio Hernandes (The Graduate University for Advanced Studies) Title: Game theory from a logician perspective 12:00--13:40 Lunch Break 13:40--14:10 Takanori Hida (Kyoto University) Title: A computational interpretation of the axiom of determinacy 14:10--14:40 Makoto Tatsuta (National Institute of Informatics) Title: Non-Commutative Infinitary Peano Arithmetic 14:40--15:00 Tea Break 15:00--16:00 Neil D. Jones (University of Copenhagen) Title: Termination Analysis of the Untyped lambda-Calculus 16:00--17:00 Stefano Berardi (Torino University) Title: A Topology over a set of Knowledge States and a Fixed Point Problem Abstracts: ---------------------------------------------------------------------- Takayuki Koai (National Institute of Informatics) Title: Verification of Substitution Theorem Using HOL Abstract: Substitution Theorem is a new theorem in untyped lambda calculus, which was proved in 2006. This theorem states that for a given lambda term and given free variables in it, the term becomes weakly normalizing when we substitute arbitrary weakly normalizing terms for these free variables, if the term becomes weakly normalizing when we substitute a single arbitrary weakly normalizing term for these free variables. This paper formalizes and verifies this theorem by using higher-order theorem prover HOL. A control path, which is the key notion in the proof, explicitly uses names of bound variables in lambda terms, and it is defined only for lambda terms without bound variables renaming. The lambda terms without bound variable renaming are formalized by using the HOL package based on contextual alpha-equivalence. The verification uses 10119 lines of HOL code and 326 lemmas. This is a joint work with Makoto Tatsuta. ---------------------------------------------------------------------- Mauricio Hernandes (The Graduate University for Advanced Studies) Title: Game theory from a logician perspective Abstract: I intend in this talk to introduce a few concepts in game theory like Nash Equilibrium and Backward-Induction, and then express those ideas with some modal logic. ---------------------------------------------------------------------- Takanori Hida (Kyoto University) Title: A computational interpretation of the axiom of determinacy Abstract: Axiom of determinacy(AD) is a central topic in descriptive set theory and there are a number of research on this axiom. In this talk, we approach to the computational content of negative translation of AD using realizability interpretation due to Berardi, Bezem and Coquand (1998). ---------------------------------------------------------------------- Makoto Tatsuta (National Institute of Informatics) Title: Non-Commutative Infinitary Peano Arithmetic Abstract: Does there exist any sequent calculus such that it is a subclassical logic and it becomes classical logic when the exchange rules are added? The first contribution of this paper is answering this question for infinitary Peano arithmetic. This paper defines infinitary Peano arithmetic with non-commutative sequents, called non-commutative infinitary Peano arithmetic, so that the system becomes equivalent to Peano arithmetic with the omega-rule if the the exchange rule is added to this system. This system is unique among other non-commutative systems, since all the logical connectives have standard meaning and specifically the commutativity for conjunction and disjunction is derivable. This paper shows that the provability in non-commutative infinitary Peano arithmetic is equivalent to Heyting arithmetic with the recursive omega rule and the law of excluded middle for Sigma-0-1 formulas. Thus, non-commutative infinitary Peano arithmetic is shown to be a subclassical logic. The cut elimination theorem in this system is also proved. The second contribution of this paper is introducing infinitary Peano arithmetic having antecedent-grouping and no right exchange rules. The first contribution of this paper is achieved through this system. This system is obtained from the positive fragment of infinitary Peano arithmetic without the exchange rules by extending it from a positive fragment to a full system, preserving its 1-backtracking game semantics. This paper shows that this system is equivalent to both non-commutative infinitary Peano arithmetic, and Heyting arithmetic with the recursive omega rule and the Sigma-0-1 excluded middle. This is a joint work with Stefano Berardi and was presented at CSL 2011. ---------------------------------------------------------------------- Neil D. Jones (University of Copenhagen) Title: Termination Analysis of the Untyped lambda-Calculus Abstract: An algorithm is developed that, given an untyped lambda-expression, can certify that its call-by-value evaluation will terminate. It works by an extension of the ``size-change principle'' earlier applied to first-order programs. The algorithm is sound (and proven so) but not complete: some lambda-expressions may in fact terminate under call-by- value evaluation, but not be recognised as terminating. The intensional power of size-change termination is reasonably high: It certifies as terminating all primitive recursive programs, and many interesting and useful general recursive algorithms including programs with mutual recursion and parameter exchanges, and Colson's ``minimum'' algorithm. Further, the approach allows free use of the Y combinator, and so can identify as terminating a substantial subset of PCF. (joint work with Nina Bohr; in Logical Methods in Computer Science, 2008, Issue 1) ---------------------------------------------------------------------- Stefano Berardi (Torino University) Title: A Topology over a set of Knowledge States and a Fixed Point Problem Abstract: We give an abstract formulation of the termination problem for realizer of Heyting Arithmetic plus various subsystem of classical logic. This termination problem is expressed as the existence of a fixed point for a class of continuous maps in a suitable topology. ----------------------------------------------------------------------

1 0

数学基礎論若手の会 (3rd announcement)
by SAKAI Hiroshi 01 Nov '11

01 Nov '11

皆様：神戸大学の酒井拓史と申します．数学基礎論若手の会のご案内をさせていただきます．今年度の数学基礎論若手の会の申し込み締め切りが 11月6日(日) と迫っていますが，いまのところ参加枠と講演枠にかなりの余裕があります．皆様のふるってのご参加／ご講演をお待ちしています．また，お近くに数学基礎論を勉強している学生さんや，興味をお持ちの方がいらっしゃいましたら，周知していただけると助かります．よろしくお願いします．以下は，以前にも当メーリングリストに配信させていただいた若手の会の案内です：数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．過去の若手の会の記録は以下のページでご覧いただけます： http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/index.html 今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の酒井までお気軽にご連絡ください．日程： 12月9日(金)午後〜 11日(日)午前場所：大阪府羽衣青少年センター http://www.osaka-yha.com/osakakokusai/ 幹事：酒井拓史 (神戸大学) hsakai(a)people.kobe-u.ac.jp ホームページ： http://www2.kobe-u.ac.jp/~hsakai/wakate2011/ [宿泊・食事] 宿泊と食事は会場併設の大阪国際ユースホステルを利用します．宿泊は12月9日(金)と10日(土)の2晩，食事は9日(金)の夕食から 11日(日)の朝食までの5食を下記料金で利用いただけます：宿泊： 1人1泊 2,800円 (6人部屋利用) 食事：朝食 630円，昼食 630円，夕食 1,050円 ※ 個室などを希望される方は，お早めに酒井までご連絡ください． ※ 夕食後に親睦会を予定しており，会費を別途 1,000円程度いただく予定です． [参加申し込み] 参加を希望される方は，幹事の酒井にメールにてお申し込みください． <申込締切> 11月6日(日) =========== 参加申し込みフォーム ============ 氏名：所属：職名・学年：参加希望日程：全日程参加 or ... 講演希望：希望する or 希望しない or 未定講演タイトル： (未定の場合は "未定" とご記入ください．) 講演時間： 30分程度 or 60分程度 or 未定宿泊： 9日(金)の夜 … ○ or × 10日(土)の夜 … ○ or × 食事： 9日(金)夕食 … ○ or × 10日(土)朝食 … ○ or × 10日(土)昼食 … ○ or × 10日(土)夕食 … ○ or × 11日(日)朝食 … ○ or × 質問・要望等： ============================================== 多くの方のご参加・ご講演をお待ちしております． --------------------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-245 address: 〒657-8501 神戸市灘区六甲台町 1-1 神戸大学システム情報学研究科 ---------------------------------------------

1 0

公理的集合論集中講義
by Suzuki Toshio 09 Oct '11

09 Oct '11

公理的集合論集中講義お世話になっております。首都大学東京の鈴木登志雄です。さて１１月に首都大で，筑波大学の塩谷先生に公理的集合論の集中講義をしていただきます。公式にオープンセミナーとうたっているわけではありませんが，当専攻ではこの種の集中講義に数名程度まで学外の院生等が聴きに来ても黙認する慣習のようです。東京での公理的集合論の講義は貴重な機会です。お近くに関心のありそうな方がいらっしゃいましたら、その方にお知らせいただければ幸いです。 %%%%%%% ここから＊＊担当者塩谷真弘先生（筑波大学数理物質科学研究科准教授）　＊＊授業科目名情報数理科学１ (Ｒ０５９），情報数理科学特論１(Ｒ０６０）タイトル定常集合の組み合わせ論場所　首都大学東京（南大沢キャンパス）８号館６階６１０時期第１回１１月１０日（木）　１４：４０－１６：４０第２回１１月１１日（金）　１３：００－１６：１０当専攻での連絡係鈴木登志雄 toshio-suzuki(a)tmu.ac.jp 概要非可算無限集合は、正則な濃度を持つとき、その部分集合に対してゆるい意味での「測度」が定義できることが知られている。定常集合とは、この「測度」が正の部分集合のことである。本講義では、定常集合の概念を用いて、正則非可算集合の組合せ論の基礎と若干の応用を論じる。 %%%%%%% ここまで首都大学東京南大沢キャンパスへの交通 http://www.tmu.ac.jp/university/campus_guide/access.html 同・構内図 http://www.tmu.ac.jp/university/campus_guide/map.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

数学基礎論若手の会 2011 (2nd announcement)
by SAKAI Hiroshi 07 Oct '11

07 Oct '11

皆様：神戸大学の酒井拓史と申します．以前，数学基礎論若手の会のアナウンスをさせていただきましたが，改めてアナウンスさせていただきます．現時点では参加・講演枠ともにかなりの余裕があります．皆さんの振ってのご参加・ご講演をお待ちしております．数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．過去の若手の会の記録は以下のページでご覧いただけます： http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/index.html 今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の酒井までお気軽にご連絡ください．日程： 12月9日(金)午後〜 11日(日)午前場所：大阪府羽衣青少年センター http://www.osaka-yha.com/osakakokusai/ 幹事：酒井拓史 (神戸大学) hsakai(a)people.kobe-u.ac.jp ホームページ： http://www2.kobe-u.ac.jp/~hsakai/wakate2011/ [宿泊・食事] 宿泊と食事は会場併設の大阪国際ユースホステルを利用します．宿泊は12月9日(金)と10日(土)の2晩，食事は9日(金)の夕食から 11日(日)の朝食までの5食を下記料金で利用いただけます：宿泊： 1人1泊 2,800円 (6人部屋利用) 食事：朝食 630円，昼食 630円，夕食 1,050円 ※ 個室などを希望される方は，お早めに酒井までご連絡ください． ※ 夕食後に親睦会を予定しており，会費を別途 1,000円程度いただく予定です． [参加申し込み] 参加を希望される方は，幹事の酒井にメールにてお申し込みください． <申込締切> 11月6日(日) =========== 参加申し込みフォーム ============ 氏名：所属：職名・学年：参加希望日程：全日程参加 or ... 講演希望：希望する or 希望しない or 未定講演タイトル： (未定の場合は "未定" とご記入ください．) 講演時間： 30分程度 or 60分程度 or 未定宿泊： 9日(金)の夜 … ○ or × 10日(土)の夜 … ○ or × 食事： 9日(金)夕食 … ○ or × 10日(土)朝食 … ○ or × 10日(土)昼食 … ○ or × 10日(土)夕食 … ○ or × 11日(日)朝食 … ○ or × 質問・要望等： ============================================== 多くの方のご参加・ご講演をお待ちしております． --------------------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-242 address: 〒657-8501 神戸市灘区六甲台町 1-1 神戸大学システム情報学研究科 ---------------------------------------------

1 0

秋季総合分科会
by KASHIMA Ryo 21 Sep '11

21 Sep '11

日本数学会数学基礎論および歴史分科会会員の皆様、分科会連絡責任評議員の鹿島です。 28日(水)から信州大学（松本）にて秋の学会が開催されます。今回は当分科会から推薦の企画特別講演　新井敏康先生「はじめての数学基礎論」（28日(水)13:00 第I会場）があります。その他の分科会行事は第II会場で　28日(水)：一般講演，歴史部門懇談会．　29日(木)：一般講演，特別講演，分科会総会．となっています。皆様のご参加をお待ちしています。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

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

准教授公募（応用数理。情報系も含む）
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

証明論研究集会（第３報）DEADLINE EXTENDED
by Suzuki Toshio 29 Aug '11

29 Aug '11

証明論研究集会（第３報）DEADLINE EXTENDED 皆様首都大学東京の鈴木登志雄です。さて、2011年証明論と計算論研究集会にはまだ講演枠に若干の余裕があります。講演申込みを９月５日（月）までに延長しました。集会期間：９月１２日（月）から１４日（水）（最終日はＳＬＡＣＳとかぶっていません）場所：東京都八王子市首都大学東京国際交流会館中会議室集会のウェブサイト http://www.ac.auone-net.jp/~bellp/meeting/proof2011.html ご講演いただける方は以下にご記入の上、９月５日（土）までに鈴木登志雄宛にご連絡お願いします。未定の部分はわかる範囲でご記入ください。宛先 toshio-suzuki [atmark] tmu.ac.jp --------------------------------------------- お名前：ご所属：参加日程：講演：講演予定(連絡済)/ 講演予定/ 講演はしない講演希望時間： 60分 / （　分を希望）講演タイトル： (未定の場合は未定とご記入ください．) 備考： --------------------------------------------- 発表なしのご参加の場合、申込みなしでも結構ですが、できれば事前に連絡をいただけるとこちらとしては助かります。宛先は上記と同じです。また、student session と称して、修士課程在学中の方による短い講演（20分から30分程度）の枠も作ります。そちらへの応募も歓迎します。それでは、よろしくお願いいたします。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki [atmark] tmu.ac.jp

1 0

Open Position at the RCIS/JAIST
by Norbert Preining 17 Aug '11

17 Aug '11

Open Position for one post doctoral researcher at RCIS/JAIST At the Research Center for Integrated Science [1] at the Japanese Advanced Institute of Science and Technology [2] a post doctoral researcher position is open starting from October. Fields of research: Mathematical Logic, in particular Semantic/Proof-theoretic methods in Nonclassical logics (including substructural logics, intermediate and many-valued logics) and related fields Application: Application should comprise a curriculum vitae, a short statement on research interests, preferrably a recommendation letter, per email to ono(a)jaist.ac.jp, preining(a)jaist.ac.jp (both) Deadline for application: 17 September 2011 Inquiries should be sent to the above adresses, too. ONO Hiroakira PREINING Norbert [1] http://www.jaist.ac.jp/rcis/en [2] http://www.jaist.ac.jp/ ------------------------------------------------------------------------ Norbert Preining preining(a){jaist.ac.jp, logic.at, debian.org} JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------

1 0

証明論研究集会のご案内（第２報）
by Suzuki Toshio 16 Aug '11

16 Aug '11

証明論研究集会のご案内（第２報）皆様首都大学東京の鈴木登志雄です。さて、毎年恒例の証明論と関連分野（証明論、逆数学、限定算術、非古典論理、リカージョン、アルゴリズム的ランダムネス、計算量理論、ゲーム理論における論理学的問題など）のワークショップを以下のように開催することになりました。皆様のご講演、ご参加を心よりお待ち申し上げます。 2011年証明論と計算論研究集会（WORKSHOP ON PROOF THEORY AND THEORY OF COMPUTING 2011）９月１２日（月）から１４日（水）東京都八王子市南大沢１−１首都大学東京国際交流会館中会議室集会のウェブサイト http://www.ac.auone-net.jp/~bellp/meeting/proof2011.html アクセス：京王相模原線南大沢駅、徒歩10分新宿から南大沢までは電車で最速約３４分（京王線準特急・京王八王子行に乗り、調布で京王相模原線急行・橋本行に乗り換え）。 http://www.tmu.ac.jp/university/campus_guide/access.html ご講演いただける方は、プログラム作成のため、以下にご記入の上、８月２６日（土）までに鈴木登志雄宛にご連絡お願いします。未定の部分はわかる範囲でご記入ください。宛先 toshio-suzuki(a)tmu.ac.jp --------------------------------------------- お名前：ご所属：参加日程：講演：講演予定(連絡済)/ 講演予定/ 講演はしない講演希望時間： 60分 / （　分を希望）講演タイトル： (未定の場合は未定とご記入ください．) 備考： --------------------------------------------- 発表なしのご参加の場合も、会場確保のため上記の日までにご連絡いただけると助かります。宛先は上記と同じです。それでは、よろしくお願いいたします。関連する最近の集会： Feb. 2011, Workshop on Proof Theory and Computability Theory http://www.jaist.ac.jp/is/labs/ishihara-lab/wptct2011/ Sep. 2010, Formal Systems and Computability Theory http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1729.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

科研費細目表改正案パブリックコメント募集
by KASHIMA Ryo 15 Aug '11

15 Aug '11

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。数学会理事長から科研費細目表改正案についてのパブリックコメント募集の案内が来ました。当分科会に直接関係する部分としては、従来の 4103 数学一般（含確率論・統計数学）が 4705 数学基礎・応用数学という名称に変わる案になっています。この改正案についてご意見がある方は、とりあえずは個別にパブリックコメントを出してください（私も個人として出しました）。分科会としての対応についてもご意見があればお知らせください。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp ------------------------------------------------------------------------- タイトル:【ＪＳＰＳ（お知らせ）】「系・分野・分科・細目表」改正案の意見募集について担当課: 研究助成第一課/企画調査係（科研費制度改善）　平成２５年度から適用する「系・分野・分科・細目表」改正案につきまして、現在、文部科学省において、８月４日（木）〜８月２４日（水）の日程で意見募集が行われておりますので、お知らせさせていただきます。〇科学研究費助成事業−科研費−「系・分野・分科・細目表」の改正案に関する意見募集について案件番号 185000528 http://search.e-gov.go.jp/servlet/Public?CLASSNAME=PCMMSTDETAIL&id=185000528

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml