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

数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Nov '13

01 Nov '13

数学基礎論若手の会2013のご案内（プログラムが準備できました）数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html プログラム： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/program.html 講演および宿泊のお申し込みの受け付けは終了いたしました． 11月16日（土）19:30より，懇親会を予定致しております．参加をご希望なさる方は，11月10日（日）までに，幹事までご連絡ください．

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 26 Oct '13

26 Oct '13

皆様リュブリャナ大学のAndrej Bauer教授の講演のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Friday 20 September, 2013, 15:00-17:00 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Andrej Bauer (University of Ljubljana, Slovenia) Title: A higher inductive construction of the real numbers Abstract: Homotopy type theory [1] is a foundation of mathematics based on Martin-Löf type theory extended with the Univalence axiom and higher inductive types. The latter allow us to present mathematical objects as inductive types generated by point and path constructors. For instance, the circle is represented by a type with a point and a loop satisfying the "circle induction" principle. In the first part I shall review higher inductive types. In the second part of the talk I shall look at a higher inductive construction of real numbers. Ordinary higher inductive types do not seem to suffice -- instead we have to use a higher inductive-inductive definition which simultaneously constructs the reals and a proximity relation on them. We thus obtain a type of real numbers which satisfies a principle of "real induction". We can prove properties of reals by induction! From a logical point of view the construction is interesting because it avoids the axiom of choice, impredicativity (powersets), and excluded middle. Nevertheless, the resulting theory still allows us to develop the basics of real analysis as usual. The work described in the talk is joint work of the members of the Univalent foundations project [2]. References: [1] Univalent Foundations Project: "Homotopy type theory: Univalent foundations of Mathematics", http://homotopytypetheory.org/book/ [2] Univalent Foundations Project, Institute for Advanced Study, Princeton, http://www.math.ias.edu/sp/univalent -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 2

JAIST Logic Seminar Series
by Takako Nemoto 22 Oct '13

22 Oct '13

皆様 JAIST Logic Seminar Seriesのお知らせです。ふるってご参加ください。問合せ先：根元多佳子北陸先端科学技術大学院大学情報科学研究科 e-mail: nemototakako(a)gmail.com ------------------------------ * JAIST Logic Seminar Series * Date: Tuesday 29 October, 2013, 15:30- Place: Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Prof. Martin Ziegler (Technische Universitaet Darmstadt) Title: Real Parameterized and Second-Order Complexity Theory: from Computability in Analysis to Numerical Practice Abstract: http://www.jaist.ac.jp/~t-nemoto/Ziegler_talk.pdf

1 0

[お知らせ] キャンパス停電のためのML休止
by Atsushi Igarashi 12 Oct '13

12 Oct '13

logic-ml, kisoron-ml, jssst-ppl 購読のみなさま，管理人の五十嵐です． 10/14(月)に予定されている京大キャンパス内の停電のため， MLを運用しているサーバを 10/12(金) 夕方〜 10/15(火) 午前まで落とします．やや長期間の休止でご不便をおかけいたしますが，よろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

第48回 MLG 数理論理学研究集会のご案内
by Katsuhiko Sano 06 Oct '13

06 Oct '13

第48回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 北陸先端科学技術大学院大学の佐野勝彦です。2013年度MLG数理論理学研究集会（第48回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第48回 MLG 数理論理学研究集会開催要領 ========================================= 期間: 2013 年 12 月 6 日(金) 〜 12 月 8 日(日) 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり）〒922-0126 石川県加賀市山中温泉河鹿町ホ100 URL : http://www.daiwaresort.jp/kajikasou/ 講演・宿泊申込締め切り: 2013 年 11 月 20 日（水）申し込みはこちらから --> https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LST… ホームページ：https://sites.google.com/site/mlg2013kaga/ 連絡先E-mail :mlg.logic.japan [at] gmail.com ============ 参加募集 ============ ・講演時間は原則40分を予定しています。・12月7日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は25000円前後になる予定です。・ご講演をなさらなくても参加いただけます。山中温泉河鹿荘ロイヤルホテルで宿泊および食事をなさらない場合にも参加費（会場代）2500円をいただきます。・講演申し込みは、https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LSTk/viewform の registration form からお願い致します。世話人佐野勝彦〒923-1292 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 MLG2013に関するメールは，mlg.logic.japan [at] gmail.com まで。 -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

Dr. Andreas Abel at NII Logic Seminar
by Makoto Tatsuta 04 Oct '13

04 Oct '13

Dr. Andreas Abel at NII Logic Seminar Date: October 11, 2013, 14:00--16:00 Place: National Institute of Informatics, Room 1210 (12th floor) 場所: 国立情報学研究所 12階 1210室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Dr. Andreas Abel (Chalmers and Gothenburg University) Title: Copatterns: Programming Infinite Structures by Observations Abstract: Inductive datatypes provide mechanisms to define finite data such as finite lists and trees via constructors and allow programmers to analyze and manipulate finite data via pattern matching. In this paper, we develop a dual approach for working with infinite data structures such as streams. Infinite data inhabits coinductive datatypes which denote greatest fixpoints. Unlike finite data which is defined by constructors we define infinite data by observations. Dual to pattern matching, a tool for analyzing finite data, we develop the concept of copattern matching, which allows us to synthesize infinite data. This leads to a symmetric language design where pattern matching on finite and infinite data can be mixed. We present a core language for programming with infinite structures by observations together with its operational semantics based on (co)pattern matching and describe coverage of copatterns. Our language naturally supports both call-by-name and call-by-value interpretations and can be seamlessly integrated into existing languages like Haskell and ML. We prove type soundness for our language and sketch how copatterns open new directions for solving problems in the interaction of coinductive and dependent types. This is joint work with Brigitte Pientka, McGill University, Montreal. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

配送回復のおしらせ
by Atsushi Igarashi 02 Oct '13

02 Oct '13

logic-ml, kisoron-ml, jssst-ppl を購読されているみなさま，管理人の五十嵐です．メイリングリストを管理しているソフトウェアが落ちていたことに気付かず， 9月の半ばから二週間程度配送が滞っていたことがわかりました．現在は通常の状態に戻っているのではないかと思います．この間に投稿をされた方におきましては大変ご迷惑をおかけいたしました．どのメイリングリストも毎日必ず投稿があるほどはアクティブではありませんので単に投稿がないのか，不具合が発生しているのか俄かにはわからないことがあります (^^; あれ，投稿が配送されていないかも？と思った場合はお気軽にお問い合わせください．今後ともどうぞよろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Oct '13

01 Oct '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ---------------------------------------------------------------- ************************************* Yoshihito Tanaka Faculty of Economics, Kyushu Sangyo University (KSU) 2-3-1 Matsukadai, Higashi-ku, Fukuoka 813-8503, Japan e-mail ytanaka(a)ip.kyusan-u.ac.jp. tel +81-92-673-5216 *************************************

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 30 Sep '13

30 Sep '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ----------------------------------------------------------------

1 0

分科会会員への連絡
by KASHIMA Ryo 30 Sep '13

30 Sep '13

日本数学会数学基礎論および歴史分科会会員の皆様、分科会連絡責任評議員の鹿島です。先日の愛媛大学での分科会総会の内容からいくつかお知らせします。（１）当分科会では大会アブストラクトを数学会会員向けに事前公開していますが、さらに　　2010年秋の学会以降のアブストラクトを事後公開するということが数学会全体で近日中に始まります。これについて公開範囲（非公開・会員向け公開・外部一般公開）を分科会で選べるのですが、当分科会としては事前公開と同じく　　数学会会員向けに公開としたいと思います。ご意見のある方は鹿島までお知らせください。（２）来年度分科会選出評議員候補は次の２名になります　（新規）池田宏一郎さん　（２年目）塩谷真弘さん（３）今回募集中の科研費から時限付きの特設分野研究「連携探索型数理科学」が新設されたので積極的に申請してほしい、という要請が理事からありました。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

数学会秋季総合分科会（於愛媛大学）
by KASHIMA Ryo 09 Sep '13

09 Sep '13

日本数学会数学基礎論および歴史分科会会員の皆様、分科会連絡責任評議員の鹿島です。２週間後に愛媛大学にて秋の学会が開催されますので奮ってご参加ください。（１）前回に引き続きアブストラクト集のPDFファイルを事前公開します（明日10日(火)から）。詳細は数学会ホームページ内の案内： http://mathsoc.jp/meeting/ehime13sept/abstract.html をご覧下さい。（２）上記に伴いアブストラクト集冊子の販売部数を少なくしますのでご注意ください。 PDFファイルをダウンロードして持参可能な方はなるべくお願いいたします。（３）分科会総会（27日(金)11時半）に皆様ぜひご出席ください。歴史部門関係の方は歴史部門懇談会（26日(木)11時）にもご出席ください。（４）分科会特別講演は　26日(木)：小林龍彦先生「関孝和,建部賢弘,そして中根元圭」　27日(金)：池田宏一郎先生「ジェネリック構造について」となっています。さらに分科会推薦による企画特別講演は　27日(金)：蓮尾一郎先生「超準解析による物理情報システムの形式検証ー離散から連続・ハイブリッドへ」となっています。どうぞご出席ください。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Sep '13

01 Sep '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ----------------------------------------------------------------

1 0

JAIST Logic Seminar Series
by Takako Nemoto 26 Aug '13

26 Aug '13

皆様直前のお知らせになって申し訳ありません。ジーゲン大学（ドイツ）の Hannes Diener 博士の講演のお知らせです。ふるってご参加ください。問い合わせ先：根元多佳子北陸先端科学技術大学院大学情報科学研究科 e-mail: t-nemoto(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Wednesday 28 August, 2013, 15:30- Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Title: The recursive part of constructive reverse mathematics Abstract: http://www.jaist.ac.jp/~t-nemoto/Diener_talk.pdf

1 0

2013LLS
by Toshihiko Kurata 06 Aug '13

06 Aug '13

皆様， 09月15日〜19日に「ラムダ計算と論理の晩夏セミナー」が予定されていますので，御案内させて頂きます．詳細はHPが http://komoriyuichi.web.fc2.com/symposium/KusatsuSeminar2008/2013/index2.ht… にありますので御確認下さい．今回の宿泊・参加に関する連絡は倉田（法政大学）まで頂けたらと思います．お気軽に参加を検討頂けますと幸いです．よろしくお願いいたします． -- Toshihiko Kurata, Hosei University e-mail: kurata(a)hosei.ac.jp

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Aug '13

01 Aug '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ---------------------------------------------------------------- ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

再送：愛媛大学理学部・教員公募（ 6 日締切）
by FUJITA Hiroshi 29 Jul '13

29 Jul '13

応募締め切りが迫ってきたので再度告知させていただきます。同一文面で logic-ml と数学会基礎論分科会の kisoron-ml にポストしております。ご了承ください。愛媛大学の藤田です。この場をお借りして理学部数学科の教員人事の告知をさせてください。位相空間論や集合論的トポロジーあるいは集合論の研究者の応募を広く呼びかけたいと思っております。どうぞご検討くださいませ。下記引用文と同一の文面のPDFファイルを http://www.ehime-u.ac.jp/information/employment/teacher_details.html?new_re… からダウンロードできます。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> =========================================================== 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　平成２５年６月６日　各　　位　　　　　　　　　　　　　　　　愛媛大学大学院理工学研究科（理学系）　　　　　　　　　　　　　　　　　　　人事委員会委員長　　　宇　野　英　満　　　　　　　　　　　　教員の公募について（依頼）　謹啓　時下ますますご清祥のこととお慶び申し上げます。　さて，このたび当研究科では下記の要領により教員を公募いたします。つきましては，関係各位への周知方並びに適任者の推薦又は応募につきまして，ご高配賜りますようお願い申し上げます。　　　　　　　　　　　　記１．募集人員　　教授または准教授　１名２．所属部門　　大学院理工学研究科数理物質科学専攻数理科学講座３．専門分野　　位相数学及びその周辺の分野４．応募資格　（１）優れた研究業績をあげている方　　　　　　　（２）教育や研究活動並びに大学の運営に熱意をもって取り組める方　　　　　　　（３）博士の学位を有している方５．着任時期　　平成２６年４月１日（予定）６．任　　期　　なし７．提出書類　（１）履歴書（写真貼付、賞罰、所属学会を含むこと）　　　　　　　（２）研究業績リスト（原著論文、総説、著書、研究費取得状況、その他）　　　　　　　（３）主要論文５編程度の別刷（コピー可）　　　　　　　（４）これまでの研究概要とこれからの研究計画（それぞれＡ４紙１枚程度）　　　　　　　（５）これまでの教育経験と今後の教育に関する抱負（Ａ４紙１枚程度）　　　　　　　（６）応募者について照会可能な方２名の氏名と連絡先８．公募締切　　平成２５年８月６日（火）必着９．提出先　　　〒790-8577　松山市文京町２−５愛媛大学大学院理工学研究科（理学系）人事委員会委員長　　宇野　英満 10．問合せ先　愛媛大学大学院理工学研究科数理物質科学専攻数理科学コース　　　　　　　　コース長　　内藤　雄基　　　　　　　　電話：089-927-9564　　Fax：089-927-9560（数学事務室）　　　　　　　　E-mail：ynaito(a)ehime-u.ac.jp 11．その他　　封筒に「数学教員応募書類在中」と朱書し，簡易書留で郵送して下さい。選考の過程で，講演をお願いし，面接を行うことがあります。ただし，旅費は応募者の負担とします。また，応募書類に記載された個人情報は，本人事のみに使用し，応募書類は原則として返却いたしません。なお，採用予定者の氏名は，本学ホームページで公表させていただきます。　　　　　　　愛媛大学では，男女共同参画を積極的に推進しています。数理科学コースホームページ：http://www.math.sci.ehime-u.ac.jp/index.html

1 0

公募
by Akito Tsuboi 17 Jul '13

17 Jul '13

みなさま，筑波大学数学域では，トポロジーの准教授を公募しています．詳細は下記ＵＲＬをご覧ください． http://nc.math.tsukuba.ac.jp/recruitment/?action=common_download_main&uploa… 坪井

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 16 Jul '13

16 Jul '13

皆様 JAIST Logic Seminar Seriesのお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Monday 29 July, 2013, 15:00-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Martin Ziegler (Technische Universitaet Darmstadt) Title: HENKIN CONTINUITY OF MULTIVALUED FUNCTIONS (joint work with Arno Pauly) Abstract: A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based, computations. Conversely, by the Weierstrass Approximation Theorem, every continuous $f:[0;1]\to\mathbb{R}$ is computable relative to some oracle. In their search for a similar topological characterization of relatively computable \emph{multi-}valued functions $f:[0;1]\rightrightarrows\mathbb{R}$ (aka multi-functions or relations), Brattka and Hertling (1994) have considered two notions: weak continuity (which is weaker than relative computability) and strong continuity (which is stronger than relative computability). Observing that \emph{uniform} continuity plays a crucial role in the Weierstrass Theorem, we propose and compare several notions of uniform continuity for relations. Here, due to the additional quantification over values $y\in f(x)$, new ways arise of (linearly) ordering quantifiers---yet none turns out as satisfactory. We are thus led to a concept of uniform continuity based on the \textsf{Henkin quantifier}; and prove it necessary for relative computability of compact real relations. In fact iterating this condition yields a strict hierarchy of notions each necessary --- and the $\omega$-th level also sufficient --- for relative computability. A refined, quantitative analysis exhibits a similar topological characterization of relative polynomial-time computability. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

数学基礎論および歴史分科会総会
by KASHIMA Ryo 18 Jun '13

18 Jun '13

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。分科会総会の代わりのメールです。ご意見等がありましたらお知らせください。【１】今年の数学基礎論サマースクールはモデル理論がテーマで米田郁生さんが幹事をしてくださります。数学基礎論若手の会の幹事は酒井拓史さんがやってくださると聞きました。例年通り、数学会本部から分科会へ支給される補助金を１万円ずつこの二つの会に出したいと思います。【２】上記の他にも各種研究集会の予定があると思います。分科会ホームページや数学通信に載せていきますので、幹事の方は是非とも情報をお知らせください。５月発行の数学通信に載せるためには、　４月１５日（金）までに鹿島まで情報をお寄せくださるよう、お願いいたします。【３】『数学』編集委員は、現在は池田宏一郎さんですが、４月から鈴木登志雄さんに交代します。【４】現在の分科会運営委員は次のようになっています。（敬称略、括弧内は代表分野、順番は任期の早い順）三宅克哉（歴史）倉田俊彦（計算機科学）高瀬正仁（歴史）山下秀康（超準解析）只木孝太郎（帰納的関数論及び計算理論）桔梗宏孝（モデル理論）安東祐希（証明論）依岡輝幸（集合論）志村立矢（非古典論理）【５】分科会選出評議員は次の通りです：鹿島亮（連絡責任評議員）隈部正博（受賞候補推薦委員）分科会に対するご意見ご質問は評議員またはお近くの運営委員までお寄せください。【６】 3月20日に行われた総会・評議員会での審議決定事項等のうち、重要なものを報告します。 (a) 今後の年会および秋季総合分科会の予定： 9月28(水)〜10月1日(土) 信州大学 2012年３月東京理科大学 2012年９月九州大学 (b) 新理事長に宮岡洋一氏が選出されました。 (c) 早稲田での年会は中止になりましたが、「アブストラクト集が発行されたことによって成立したこととします」だそうです。つまり、今回講演を申し込んだ人はそれを各自の発表業績として数えてよい、ということです。アブストラクト集は数学会本部でとりまとめて今後希望者に販売するそうです。今回講演を申し込んだ人が同じ内容の講演を秋または来春の学会で行うことも可能だそうです。 (c)について、さらに他にも数学会本部からのお知らせは数学会ホームページ： http://mathsoc.jp/ に随時掲載されますので、各自でご確認お願いいたします。【以上】 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 5

愛媛大学理学部・教員公募（ 6 日締切）
by FUJITA Hiroshi 08 Jun '13

08 Jun '13

（同一文面で logic-ml と数学会基礎論分科会の kisoron-ml にポストしております。ご了承ください。）愛媛大学の藤田です。この場をお借りして理学部数学科の教員人事の告知をさせてください。位相空間論や集合論的トポロジーあるいは集合論の研究者の応募を広く呼びかけたいと思っております。どうぞご検討くださいませ。下記引用文と同一の文面のPDFファイルを http://www.ehime-u.ac.jp/information/employment/teacher_details.html?new_re… からダウンロードできます。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> =========================================================== 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　平成２５年６月６日　各　　位　　　　　　　　　　　　　　　　愛媛大学大学院理工学研究科（理学系）　　　　　　　　　　　　　　　　　　　人事委員会委員長　　　宇　野　英　満　　　　　　　　　　　　教員の公募について（依頼）　謹啓　時下ますますご清祥のこととお慶び申し上げます。　さて，このたび当研究科では下記の要領により教員を公募いたします。つきましては，関係各位への周知方並びに適任者の推薦又は応募につきまして，ご高配賜りますようお願い申し上げます。　　　　　　　　　　　　記１．募集人員　　教授または准教授　１名２．所属部門　　大学院理工学研究科数理物質科学専攻数理科学講座３．専門分野　　位相数学及びその周辺の分野４．応募資格　（１）優れた研究業績をあげている方　　　　　　　（２）教育や研究活動並びに大学の運営に熱意をもって取り組める方　　　　　　　（３）博士の学位を有している方５．着任時期　　平成２６年４月１日（予定）６．任　　期　　なし７．提出書類　（１）履歴書（写真貼付、賞罰、所属学会を含むこと）　　　　　　　（２）研究業績リスト（原著論文、総説、著書、研究費取得状況、その他）　　　　　　　（３）主要論文５編程度の別刷（コピー可）　　　　　　　（４）これまでの研究概要とこれからの研究計画（それぞれＡ４紙１枚程度）　　　　　　　（５）これまでの教育経験と今後の教育に関する抱負（Ａ４紙１枚程度）　　　　　　　（６）応募者について照会可能な方２名の氏名と連絡先８．公募締切　　平成２５年８月６日（火）必着９．提出先　　　〒790-8577　松山市文京町２−５愛媛大学大学院理工学研究科（理学系）人事委員会委員長　　宇野　英満 10．問合せ先　愛媛大学大学院理工学研究科数理物質科学専攻数理科学コース　　　　　　　　コース長　　内藤　雄基　　　　　　　　電話：089-927-9564　　Fax：089-927-9560（数学事務室）　　　　　　　　E-mail：ynaito(a)ehime-u.ac.jp 11．その他　　封筒に「数学教員応募書類在中」と朱書し，簡易書留で郵送して下さい。選考の過程で，講演をお願いし，面接を行うことがあります。ただし，旅費は応募者の負担とします。また，応募書類に記載された個人情報は，本人事のみに使用し，応募書類は原則として返却いたしません。なお，採用予定者の氏名は，本学ホームページで公表させていただきます。　　　　　　　愛媛大学では，男女共同参画を積極的に推進しています。数理科学コースホームページ：http://www.math.sci.ehime-u.ac.jp/index.html

1 0

数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 06 Jun '13

06 Jun '13

（重複して受け取られた場合はご容赦ください）数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組宿泊設備（1人部屋×3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記の形式に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ---------------------------------------------------------------- ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

数学通信にのせたい集会などの情報
by Suzuki Toshio 05 Apr '13

05 Apr '13

数学基礎論および歴史分科会の皆様こんばんは。分科会運営委員・雑誌数学編集委員の鈴木登志雄です。さて、数学通信の編集部から雑誌数学編集部に問い合わせがきています。５月発行（たぶん下旬）予定の　　数学通信の関東支部便りに載せたい情報、とくに関東の大学周辺で開催する予定の研究集会や公開講座等の情報をお持ちでしたら、４月１０日（水）までに鈴木（toshio-suzuki[at mark]tmu.ac.jp）へお知らせください。当方から、雑誌数学編集長を通じて数学通信編集部にお伝えします。研究集会等の情報は、たとえば次のような感じです。 ---------- 第２４回＊＊＊シンポジウム日程：2013年10月12日（土）-13日（日）主催：＊＊＊大学　数学・計算機科学研究所世話人：＊＊＊場所：＊＊＊大学＊号館＊＊＊教室 ----------- お寄せいただいた情報を掲載するかどうかは数学通信編集部の判断によるかもしれませんのであらかじめご了承ください。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

Prof. Elio Giovannetti at NII Logic Seminar
by Makoto Tatsuta 04 Apr '13

04 Apr '13

Prof. Elio Giovannetti at NII Logic Seminar Date: April 10, 2013, 13:30--15:30 Place: National Institute of Informatics, Room 1904 (19th floor) 場所: 国立情報学研究所 19階 1904室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Elio Giovannetti (Torino University) Title: Lambda-calculus in context Abstract: The talk, kept at an informal level, will start fom Bohm's Theorem to give an overview of the development of observational equivalences between lambda-terms, and of the relationships between such equivalences. There will be a particular (though not exclusive) reference to the results obtained by M. Dezani and Torino's lambda-group, placed in a sketchy historical context, with a final mention of intersection types, which were a major achievement of the early history of Torino's group, in the persons of M. Coppo and M. Dezani. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

ランダムネスの研究集会講演募集
by Kenshi Miyabe 23 Mar '13

23 Mar '13

皆様宮部です．ランダムネスの研究集会のお知らせです． ---- ランダムネスに関する研究集会を次のように開催します．集会名：ELC Workshop on Randomness and Probability Through Computability (RPTC2013) 日時：2013年5月14日(火)15日(水) 場所：東京大学本郷キャンパス内 http://kenshi.miyabe.name/rptc2013/ 直前の2013年5月13日(月)14日(火)には，同じ場所でランダムネスのセミナーも行う予定です． ELC Seminar on Algorithmic Randomness http://kenshi.miyabe.name/rptc2013/seminar.html 本研究集会には，ランダムネスの理論を主導している二人である Prof. DowneyとProf. Niesに参加・講演して頂きます．また他の招待講演者として Prof. Bakhadyr Khoussainovと九州大学の来嶋秀治准教授 http://tcslab.csce.kyushu-u.ac.jp/~kijima/index_j.html を招待いたしました．つきましては，国内より講演を募集します．ランダムネスもしくはランダムネスに関連する分野の研究や紹介，提案などで，招待講演者らに聞いてもらいたいという内容を歓迎します．名前，所属，講演タイトル，１パラグラフ程度の要旨，旅費を希望するかどうかを添えて，宮部 kmiyabe(a)kurims.kyoto-u.ac.jp までメールでお申し込み下さい．採択・不採択の通知後，アブストラクトをTeXで投稿していだきます．アブストラクトの長さは自由ですが，A4で1ページ以下を想定しています．投稿期限：4月19日(金) 採択・不採択の通知：4月23日(火) アブストラクトの投稿期限：4月30日(火) なお，本集会は文部科学省科学研究費補助金新学術領域研究「多面的アプローチの統合による計算限界の解明」 http://www.al.ics.saitama-u.ac.jp/elc/ の支援を受けております．東京大学情報理工学系研究科河村彰星 kawamura(a)is.s.u-tokyo.ac.jp 京都大学数理解析研究所宮部賢志 kmiyabe(a)kurims.kyoto-u.ac.jp -- Kenshi Miyabe email: kmiyabe(a)kurims.kyoto-u.ac.jp Researcher Research Institute for Mathematical Sciences, Kyoto University Kyoto 606-8502 Japan Tel: +81-75-753-7202 / Fax: +81-75-753-7272

1 0

数学会年会（京都大学）
by KASHIMA Ryo 13 Mar '13

13 Mar '13

日本数学会数学基礎論および歴史分科会会員の皆様、このたび分科会選出の評議員に選ばれました鹿島です。よろしくお願いいたします。春の学会は来週、京都大学で開催されます。当分科会の発表は20日(水)と21日(木)になります。 21日(木)の昼前には分科会総会を開催しますのでぜひご出席ください。今回からアブストラクトPDFファイルの事前公開を行っています。公開期間は24日(日)までです。ダウンロードには数学会のアカウントとパスワードが必要です。詳細はこちらをご覧下さい： http://mathsoc.jp/meeting/kyoto13mar/abstract.html これに伴いアブストラクト冊子の販売部数は少なくなりますのでご了承ください。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml