Kisoron-ml

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

599 discussions

JAIST Logic Seminar Series
by Hajime Ishihara 28 Feb '15

28 Feb '15

皆様ストックホルム大学のErik Palmgren先生の連続講義のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 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 CORCON (http://corcon.net/). Date: Lecture 1. Monday 9 March, 2015, 15:10-16:40 Lecture 2. Tuesday 10 March, 2015, 15:10-16:40 Lecture 3. Wednesday 11 March, 2015, 15:10-16:40 Place: JAIST, Lecture room I3-I4 (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Erik Palmgren (Department of Mathematics, Stockholm University) Title: Lectures on type theory with a view towards formalizing Bishop-style mathematics Abstract: In this series of three lectures we give an introduction to Martin-Lof type theory and the tools it provides for formalizing Bishop-style constructive mathematics. The first lecture will cover basic principles of type theory and give an introduction to its manifestation in the well-known proof assistant Coq. In the second lecture we consider "Bishop's set theory" (Bishop and Bridges 1985) from the point of view of type theory, which will involve a development the theory of setoids and subsetoids. The third lecture will cover models constructive set theory (CZF) in type theory, and how it can be used to solve the problem of universes of setoids and development of category theory. Throughout the lectures we provide examples and suggestions how you can yourself experiment with the Coq system in the formalization of constructive mathematics. References E. Bishop and D.S. Bridges. Constructive Analysis. Springer 1985. E. Palmgren. Lecture notes on Type Theory. Stockholm 2014. URL: http://kurser.math.su.se/course/view.php?id=48 E. Palmgren and O. Wilander. Constructing categories and setoids of setoids in type theory. Logical Methods in Computer Science. 10(2014), Issue 3, paper 25.

1 1

Prof. Georg Moser at NII Logic Seminar
by Makoto Tatsuta 07 Feb '15

07 Feb '15

Prof. Georg Moser at NII Logic Seminar Date: February 13, 2015, 14:00--16:00 Place: National Institute of Informatics, Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Prof. Georg Moser (University of Innsbruck) Title: Amortised Cost Analysis and Term Rewrite Systems Abstract: I will present a univariate resource analysis for typed term rewrite systems based on a potential-based type system. This type system gives rise to polynomial bounds on the innermost runtime complexity. The thus obtained amortised resource analysis relates to polynomial interpretations and we obtain the perhaps surprising result that whenever a rewrite system can be well-typed, then there exists a polynomial interpretation that orients the system. If time permits I'll speak about very recent generalisations to a multivariate analysis. This is a joint work with Martin Hofmann. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

JAIST Logic Workshop Series 2015
by Hajime Ishihara 03 Feb '15

03 Feb '15

皆様来年3月に金沢で開催されるJAIST Logic Workshop Series 2015のお知らせです。ふるってご投稿・ご参加ください。問合せ先：石原　哉・木原貴行・根元多佳子・横山啓太北陸先端科学技術大学院大学情報科学研究科 e-mail: jlws2015(a)jaist.ac.jp -------------------------------------------------------- *Call for Abstracts* JAIST LOGIC WORKSHOP SERIES 2015 Constructivism and Computability 2 March 2015 – 6 March 2015 Shiinoki Cultural Complex, Kanazawa, Japan http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/ -------------------------------------------------------- IMPORTANT DATES November 30 - deadline for abstract submissions December 25 - notification of accepted contributions February 15 - deadline for registrations March 2-6 - Constructivism and Computability workshop TUTORIALS * Giovanni Sambin (University of Padova) * Hideki Tsuiki (Kyoto University) * Stanley Wainer (University of Leeds) INVITED SPEAKERS * Ulrich Berger (Swansea University) * Takayuki Kihara (JAIST) * Graham Leigh (Vienna University of Technology) * Michael Rathjen (University of Leeds) * Masahiko Sato (Kyoto University) * Makoto Tatsuta (National Institute of Informatics) PROGRAM COMMITTEE * Toshiyasu Arai (Chiba University) * Andrej Bauer (University of Ljubljana) * Ulrich Berger (Swansea University) * Hajime Ishihara (co-chair, JAIST) * Masahiro Kumabe (Open University of Japan) * Erik Palmgren (Stockholm University) * Peter Schuster (University of Leeds) * Helmut Schwichtenberg (co-chair, LMU Munich) * Dieter Spreen (University of Siegen, UNISA Pretoria) * Kazuyuki Tanaka (Tohoku University) SUBMISSIONS Submissions of short abstracts (1 page in PDF format) are accepted through easychair.org, see https://easychair.org/conferences/?conf=jlws2015 DESCRIPTION JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. Previous workshops have been held in Kanazawa 2013, 2014 and 2014: http://www.jaist.ac.jp/~hirokawa/pr2013/ http://www.jaist.ac.jp/~preining/wpp/ http://www.jaist.ac.jp/~v-sano/jw2014/index.html In 2015, JAIST Logic Workshop Series focuses on “Constructivism and Computability” aiming at interaction and knowledge transfer between constructive mathematics and computability theory. The workshop is held being affiliated with EU FP7 Marie Curie Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (http://corcon.net/), but is open to all researchers in the areas. SCOPE Constructive mathematics and computability, and related areas including but not limited to: intuitionistic logic and type theory, proof theory, constructive analysis and topology, program extraction from proofs, recursion theory, computable analysis and topology, classical/constructive reverse mathematics, algorithmic randomness, real number computation etc. LOCAL ORGANIZERS * Hajime Ishihara (JAIST) * Takayuki Kihara (JAIST) * Takako Nemoto (JAIST) * Keita Yokoyama (JAIST) The workshop is supported by: * Japan Advanced Institute of Science and Technology (JAIST) CO-LOCATED WORKSHOP * JSPS-NUS Joint Workshop in Mathematica Logic and Foundations of Mathematics (6-7 March 2015, at the same venue)

1 2

JSPS-NUS Joint Workshop in Logic
by Tanaka Kazuyuki 25 Jan '15

25 Jan '15

JSPS-NUS二国間共同研究のロジック・ワークショップのご案内シンガポールとの二国間交流事業（代表：田中、Chong）の一環として下記の研究会を開催致します。 Workshop in Mathematical Logic and Foundations of Mathematics 日程：2015年3月6日(金) から3月8日(日) まで場所：金沢しいのき迎賓館および金沢東急ホテルこのワークショップは主に共同研究のメンバーによって行われるものですが、ご関心のある方は一般からもご参加いただけます。但し、会場準備の都合上事前登録者に限りますので参加希望の方は SendaiLogic[at]math.tohoku.ac.jp （締切２月８日）までご連絡ください。下記のページで＜英語＞でもご案内しております。 http://www.math.tohoku.ac.jp/~tanaka/kanazawa2015.html よろしくお願いします。　東北大学　田中一之コンタクト：　SendaiLogic[at]math.tohoku.ac.jp

1 0

KusatsuSeminar3/16--20
by Fujita Kenetsu 13 Jan '15

13 Jan '15

皆様，『ラムダ計算と論理の早春セミナー』のご案内日程：2015年3月16日(月) 午後5時から3月20日(金) 正午まで場所：国立大学草津セミナーハウス　　　〒377-1711 群馬県吾妻郡草津町大字草津字白根737 詳細：http://www.cs.gunma-u.ac.jp/~fujita/2015.03LLSinKusatsu.htm 申込・質問などは藤田（群馬大学）までご連絡をお願いします．興味をお持ちのみなさまのご参加をお待ちしております． ----------- 群馬大学　藤田憲悦

1 0

Ninth NII Type Theory Workshop
by Makoto Tatsuta 11 Jan '15

11 Jan '15

Ninth NII Type Theory Workshop Date: January 15, 2015, 10:20--17:30 Place: National Institute of Informatics, Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Program: 10:20--11:00 Daisuke Kimura (National Institute of Informatics) Title: A framework of models of functional PTSs 11:00--11:40 Josh Ko (National Institute of Informatics) Title: Relational algebraic ornamentation 11:40--13:10 Lunch Break 13:10--13:50 Makoto Fujiwara (Tohoku University) Title: On the strength of ¥Delta^0_1-LEM over Intuitionistic Analysis 13:50--14:30 Koji Nakazawa (Kyoto University) Title: Confluence of lambda-calculi with permutative conversion 14:30--14:50 Break 14:50--15:30 Mahmudul Faisal Al Ameen (The Graduate University for Advanced Studies) Title: Completeness of Separation Logic with Recursive Procedures 15:30--16:10 Makoto Tatsuta (National Institute of Informatics) Title: Decidability of Separation Logic with Monadic Inductive Definitions 16:10--16:30 Break 16:30--17:30 Stefano Berardi (Torino University) Title: Realizability and Strong Normalization for Heyting Arithmetic with EM1 Abstracts: ---------------------------------------------------------------------- Daisuke Kimura (National Institute of Informatics) Title: A framework of models of functional PTSs Abstract: This talk presents a framework of models of functional PTSs. The class of functional PTSs is a class of PTS which contains well-known type theories such as the simply typed lambda calculus, System F, lambda P (dependent type system), and Calculus of Constructions. This framework of models is obtained by using Cousineau and Dowek's embedding from a functional PTS into a lambda P modulo. As a result of this talk, a semantical condition for a functional PTS to be a strongly normalizing system is given. This result is expected to give a semantical approach to Barendregt-Geuvers-Klop conjecture. ---------------------------------------------------------------------- Josh Ko (National Institute of Informatics) Title: Relational algebraic ornamentation Abstract: Type theory makes it possible to treat programs and proofs uniformly as the same entities. Dependently typed programmers aim to design programs that carry their own correctness proofs, exploiting the coincidence of programs and proofs to the full extent. A generic construction that can help to achieve this is relational algebraic ornamentation, with which we can synthesise datatypes satisfying properties that can be expressed in terms of folds. In this talk I will show how relational algebraic ornamentation can help with designing a dependently typed program for solving the well-known minimum coin change problem. ---------------------------------------------------------------------- Makoto Fujiwara (Tohoku University) Title: On the strength of ¥Delta^0_1-LEM over Intuitionistic Analysis Abstract: Ishihara [2] showed over intuitionistic analysis EL that Markov’s principle MP is equivalent to WMP+¥Pi^0_1-DML(under the name of MP^v). On the other hand, Akama et al. [1] showed that ¥Delta^0_1-LEM is implied from both of MP(under the name of ¥Sigma^0_1-DNE) and ¥Sigma^0_1-DML(under the name of ¥Sigma^0_1-LLPO). In this talk, we show over EL that ¥Delta^0_1-LEM is implied from ¥Pi^0_1-DML and equivalent to ¥Delta^0_1 comprehension axiom, which is from reverse mathematics. In addition, some separation results are also presented. This is a joint work with Hajime Ishihara and Takako Nemoto. References: [1] Y. Akama, S. Berardi, S. Hayashi and U. Kohlenbach, An arithmetical hierarchy of the law of excluded middle and related principles. Proc. of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), pp. 192--201, IEEE Press (2004). [2] H. Ishihara, Markov's principle, Church's thesis and Lindel¥"of theorem, Indag. Math. (N.S.) 4 (1993), pp. 321--325. ---------------------------------------------------------------------- Koji Nakazawa (Kyoto University) Title: Confluence of lambda-calculi with permutative conversion Abstract: We give a new proof of confluence for the lambda and the lambda-mu calculi with permutative conversion for case branching. For such calculi, naive approaches with parallel reductions do not work, and we adopt a proof technique with generalized notions of complete development with the Z property, introduced by Dehornoy and van Oostrom. Our idea also gives a simpler proof for confluence of the first-order classical natural deduction, which has been proved by Ando with more complicated notions. ---------------------------------------------------------------------- Mahmudul Faisal Al Ameen (The Graduate University for Advanced Studies) Title: Completeness of Separation Logic with Recursive Procedures Abstract: This talk proves the completeness of Hoare's Logic extended by separation logic for verification of while programs with pointers and recursive procedures. ---------------------------------------------------------------------- Makoto Tatsuta (National Institute of Informatics) Title: Decidability of Separation Logic with Monadic Inductive Definitions Abstract: This talk shows the decidability of entailments of symbolic heaps in separation logic with monadic inductive definitions under certain conditions. ---------------------------------------------------------------------- Stefano Berardi (Torino University) Title: Realizability and Strong Normalization for Heyting Arithmetic with EM1 Abstract: We present a new Curry-Howard correspondence for HA+EM1, first order constructive Heyting Arithmetic with the excluded middle on Sigma-0-1-formulas. We add to the lambda calculus an operator k_a which represents, from the viewpoint of programming, an exception operator with a delimited scope, and from the viewpoint of logic, a restricted version of the excluded middle. We motivate the restriction of the excluded middle by its use in proof mining; we introduce new techniques to prove strong normalization for HA + EM1 and the witness property for simply existential statements. One may consider our results as an application of the ideas of Interactive realizability, which we have adapted to the new setting and used to prove our main theorems. This technique has been recently extended by F. Aschieri to the entire excluded middle for First Order Arithmetic. This is a joint work with F. Aschieri and G. Birolo. ---------------------------------------------------------------------- 問合せ先　龍田 (tatsuta(a)nii.ac.jp)

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 10 Jan '15

10 Jan '15

皆様スワンジー大学のAnton Setzer先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 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 projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (http://corcon.net/). Date: Thursday 22 January, 2015, 15:10-16:40 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Anton Setzer (Swansea University) Title: Extraction of programs from proofs using postulated axioms (joint work with Chi Ming Chuang) Abstract: In this talk we discuss how to extract programs from proofs with postulated axioms in dependent type theory. Since type theory has constructive logic, it is easy to determine for every $\Pi_2$-statement a function $f$ which determines the witness from the input. However, in the presence of postulated axioms, this function applied to an argument doesn't reduce necessarily to constructor head normal form, which means it doesn't produce a value. In this talk we discuss conditions which guarantee that the extracted function provide values in the presence of postulated axioms, and give a proof. This methodology will be applied to the extraction of alogrithms for exact real number computations. For this purpose the signed digit reals are introduced as a coalgebraic data type, and it is shown that the signed digit reals are closed under average, multiplication and rational numbers. Proofs have been carried out in the theorem prover Agda and the resulting programs can be executed effectively in this language.

1 0

東大数理集中講義のお知らせ
by 渡辺純成 09 Dec '14

09 Dec '14

基礎論歴史分科会MLの皆様、東京学芸大の渡辺純成です。数学史を主題とする集中講義（東京大数理科学研究科）のお知らせです。入試で忙しい時期になりますが、皆様、お誘い合わせの上、お出で下さい。なお、広くお知らせするために複数のメーリングリストに投稿しておりますが、重複して受け取られた方々にはご海容いただけますと幸いです。 ────2014年11月13日　渡辺純成 ============= 講師：中根美知代氏（日本大学理工学研究所）期日：2015 年 1 月 5 日（月）から 9 日（金）まで時間：１４時５０分から１６時５０分まで場所：東京大学大学院数理科学研究科（駒場）１２３講義室題名：解析学への歴史の試み：「代数解析」の新系譜概要：「解析」という語は、古代ギリシアから導入されているが、時代とともに、その意味が異なっている。「代数解析」で示される事柄も、近代・18世紀・19 世紀・現代では大きく変化している。この言葉を手がかりに、今日、「解析学」と呼ばれている分野が形成されていく過程を部分的に明らかにする。古代から18世紀までの「解析」の変化を概観して歴史の流れを掴んだ上で、19世紀の数学者たちの原論文を参照しながら、実際に理論が作られていく過程を見ていく。自分で数学史に取り組んでみようとするときに有用な、基礎的な知識もあわせて紹介していきたい。以下のような順序ですすめていく。 1．代数解析前史　古代ギリシアの解析・イスラームの「代数＝解析」との捉え方 2. 代数解析から無限小解析へ　Viète・Descartesによる代数＝解析の捉え方　17-18世紀における無限小解析の形成 3．教科としての「代数解析」　Euler の『無限解析序説』・Lagrange が名づけた「代数解析」　Cauchyが「代数解析」で講義したもの 4. 今日の微積分学の起源　Cauchyの教科書の成果と限界 Cauchyの不備はどのように乗り越えられたかエピローグ：Euler　と「今日の代数解析」

2 2

The 49th MLG Meeting: Program
by Katsuhiko Sano 01 Dec '14

01 Dec '14

$BBh(B49$B2s(B MLG $B?tM}O@M}3X8&5f=82q$N$40FFb(B $B!J=EJ#$7$F$*<u$1<h$j$N:]$O$4MF<O$/$@$5$$!#!K(B $BKLN&@hC<2J3X5;=QBg3X1!Bg3X$N:4Ln>!I'$G$9!#(B 2014$BG/EY(BMLG$B?tM}O@M}3X8&5f=82q!JBh(B49$B2s!K$r2<5-$NMWNN$G3+:E$7$^$9!#(B $B9V1i!&=IGq$N?=$79~$_$ODy$a@Z$j$^$7$?$,!$;22C$9$k$3$H$O2DG=$G$9!#(B $B$=$N>l9g!";22C?M?t$N4X78$G!$G0$N$?$a;d$^$G%a!<%k$G$40lJs$/$@$5$$(B $B!J;22CHq!J2q>lBe!K(B3000$B1_$r$$$?$@$/M=Dj$G$*$j$^$9!K!#(B $B$I$&$>$h$m$7$/$*4j$$$$$?$7$^$9!#(B ========================================= $BBh(B49$B2s(B MLG $B?tM}O@M}3X8&5f=82q3+:EMWNN(B ========================================= $B4|4V(B: 2014 $BG/(B 12 $B7n(B 5 $BF|(B($B6b(B) $B!A(B 12 $B7n(B 7 $BF|(B($BF|(B) $B>l=j(B: $B;3Cf29@t2O</Aq%m%$%d%k%[%F%k!J(BJR$B2C2l29@t1X$+$i<V$GLs(B20$BJ,!$2C2l29@t1X$+$iAw7^$"$j!K(B $B")(B922-0126 $B@P@n8)2C2l;T;3Cf29@t2O</D.%[(B100, URL : http://www.daiwaresort.jp/kajikasou/ $B%[!<%`%Z!<%8!'(Bhttps://sites.google.com/site/mlg2014kaga/ $B9V1i%W%m%0%i%`!'(B 12/5 (Fri) 1315--1325 $B3+2q(B (opening) 1325--1400 $B;3yu(B $B<S5*;R(B ($B<sETBg3XEl5~(B), Constructive Embedding from Logics of Strict Implication to Modal Logics via Cut-free and complete Labelled Sequent Calculus 1400--1435 $B6b;R(B $B<i(B ($BAa0pEDBg3X(B), Game Theoretic Decidability and Undecidability 1435--1510 $B4X(B $BN49((B ($B?73cBg3X(B), A Note on American Plan Semantics of Relevant Modal Logics 1530--1605 $B0KF#(B $B@.9'(B (JAIST), A relationship between classical and intuitionistic linear logic 1605--1640 $B>>ED(B $BD>M4(B ($BEl5~9)6HBg3X(B), Intuitionistic tree sequent calculus and intuitionistic lambda rho calculus 1640--1715 $BNkLZ(B $B?.9T(B ($B@E2,Bg3X(B), Two weak variants of existence property in intermediate predicate logics 12/6 (Sat) 0930--1005 $B2#9B(B $B63J?(B ($BF|K\Bg3X(B), $BCf4VO@M}$NItJ,BN7O$H$=$NJ]B83HBg$K$D$$$F(B 1005--1040 PREINING Norbert (JAIST), Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences 1100--1135 $B6bBt(B $B@?(B ($B9qN)>pJs3X8&5f=j(B), Toward a Logic of Cumulative Quantification 1135--1210 $B2#;3(B $B7<B@(B (JAIST), What is needed to characterize the natural number system? 1340--1415 $BEDCf(B $B5A?M(B ($B6e=#;:6HBg3X(B), Algebraic models for description logics 1415--1450 Jonni Virtema (JAIST), Tableau calculi for propositional dependence logics 1450--1510 $B:4!9LZ(B $B9nL&(B ($BFn;3Bg3X(B), The exact K4-models constructed from the exact S4-models 1530--1605 $BLnB<(B $B>0?7(B (JAIST), Revising a Labelled Sequent Calculus for Public Announcement Logic 1605--1640 $B5HB<(B $BOB?M(B (JAIST), A general analysis on proof structures 1900-- $B:)?F2q(B (Conference dinner) 12/7 (Sun) 0930--1005 $B2-:d(B $B>MJ?(B ($BElKLBg3X(B), Lindstrom extension on finite models 1005--1040 $B2CF#(B $BH%(B ($BEl5~9)6HBg3X(B), $BM-8B%U%l!<%`$K$*$1$kMMAjO@M}<0$N(Bvalidity$B$H7W;;NL$K$D$$$F(B 1100--1135 $BsnF#(B $B?.?C(B ($BEl5~9)6HBg3X(B), lambda-mu-calculus $B$N?d0\N'$N=|5n(B 1135--1210 $B:4F#(B $B2mI'(B ($B5~ETBg3XL>M@65<x(B), A name-free lambda-calculus 1210--1220 Closing --- MLG49 $B@$OC?M(B $B:4Ln>!I'!JKLN&@hC<2J3X5;=QBg3X1!Bg3X!K(B E-mail : mlg.logic.japan(a)gmail.com / katsuhiko.sano(a)gmail.com

1 0

再送：数学基礎論若手の会2014
by YOSHIDA Satoru 04 Nov '14

04 Nov '14

皆様重複して受け取られた場合はご容赦ください。数学基礎論若手の会2014について、参加申込み締切を下記の通り延長致しました：講演、参加、宿泊の申込み： 2014年11月18日15時（開催日前日）. 宿泊施設での食事の申込み：2014年11月13日15時. まだ多少時間がありますので、講演をご検討頂けたらと思います。また、講演プログラム（暫定版）および参加者リストを後述の若手の会webサイト内に掲載しました。以上、よろしくお願い致します。 2014年9月22日 19:04 YOSHIDA Satoru <satoru-y(a)kankyo-u.ac.jp>: > 皆様 > > 重複して受け取られた場合はご容赦ください。 > > 数学基礎論若手の会2014のご案内です。 > > 数学基礎論を専攻する学生および若手研究者の研究交流を目的とす > る合宿形式の研究集会です． > 講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております． > また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します． > 多くの方々のご参加およびご講演をお待ちしています． > > 日程：11月19日（水）午後－21日（金）午前 > 場所：鳥取市サイクリングターミナル砂丘の家（鳥取砂丘付近） > http://www.city.tottori.lg.jp/www/contents/1198114185831/ > 幹事：吉田聡（鳥取環境大学） satoru-y(a)kankyo-u.ac.jp > ホームページ： http://misc.kankyo-u.ac.jp/~satoru-y/wakate14/ > > 今年度若手の会申込み要領については上記ホームページをご参照ください。 > > > -- > 吉田聡<YOSHIDA, Satoru> > 鳥取環境大学 > -- 吉田聡<YOSHIDA, Satoru> 鳥取環境大学

1 0

← Newer
1
...
40
41
42
43
44
45
46
...
60
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml