Kisoron-ml

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

599 discussions

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

05 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 28 Aug '11

28 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 16 Aug '11

16 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 15 Aug '11

15 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 14 Aug '11

14 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

数学基礎論サマースクールのHPのURLの変更
by Hirotaka Kikyo 27 Jul '11

27 Jul '11

各位数学基礎論サマースクール2011の世話人の一人である神戸大学の桔梗です。この集会のホームページのあるサーバーが調子が悪くなりましたので、URLを次のように変更させていただきたいと思います。 http://www2.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/ いろいろとご不便をおかけして申し訳ございません。数学基礎論サマースクール2011 世話人米田、桔梗

1 0

セミナーのお知らせ
by SAKAI Hiroshi 26 Jul '11

26 Jul '11

皆様：神戸大学の酒井拓史と申します． 7月28日(木)に神戸大学で開かれるセミナーのお知らせをさせていただきます：日時： 7月28日(木) 午後3時〜場所：神戸大学自然科学総合研究棟3号館4階 421号室 (プレゼンテーション室) http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 講演者： David Aspero (Univ. Nacional de Colombia) タイトル： Measuring closed sets of countable ordinals together with CH 急なお知らせになってしまい申し訳ありませんが，ご興味のある方は是非ご参加ください． (ご参加を希望される方は，酒井までご連絡いただけると助かります．) よろしくお願いします． ------------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6242 -------------------------------------

1 0

数学基礎論若手の会 2011 (1st announcement)
by SAKAI Hiroshi 26 Jul '11

26 Jul '11

皆様：神戸大学の酒井拓史と申します．今年度の数学基礎論若手の会のアナウンスをさせていただきます．お近くに基礎論を勉強している学生さんや，興味を持っている方がいらっしゃいましたら，周知していただけると幸いです：数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の酒井までお気軽にご連絡ください．日程： 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 未定講演タイトル： (講演希望の場合のみ) 講演時間： (講演希望の場合のみ) 宿泊： 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 Hiroakira Ono 24 Jul '11

24 Jul '11

　　　　　　　　セミナーの開催について来る８月４日（木）に、下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催によるセミナーを開催します。　　　　　　　　　　　　　　　　記　１．日　　時　平成２３年８月４日（木）１５：００〜１６：３０　２．場　　所　北陸先端科学技術大学院大学　　　　　　　　　　　　知識科学研究科講義棟２階　Ｋ３・４講義室　３．講演題目　Polynomial Time Computation on Sets http://www.jaist.ac.jp/rcis/en/seminar/multi-dimension/35 　４．講演者　Prof. Arnold Beckmann 　　　　 Swansee University ５．担当教員　先端融合領域研究院　プライニングノルベルト

1 0

証明論研究集会のご案内
by Suzuki Toshio 10 Jul '11

10 Jul '11

証明論研究集会のご案内皆様首都大学東京の鈴木登志雄です。さて、恒例の証明論研究集会を以下のように開催することになりました。メーリングリストへの投稿に先立ってお知らせします。皆様のご講演、ご参加を心よりお待ち申し上げます。 2011年証明論と計算論研究集会（WORKSHOP ON PROOF THEORY AND THEORY OF COMPUTING 2011）９月１２日（月）から１４日（水）東京都八王子市南大沢１−１首都大学東京国際交流会館中ホールアクセス：京王相模原線南大沢駅、徒歩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 Computality Theory http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1729.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml