[logic-ml] CREST 特任教員の募集(計算言語学、形式意味論、計算論理学)(〆切

BEKKI Daisuke bekki.daisuke at 00.alumni.u-tokyo.ac.jp
Thu Oct 31 19:22:01 JST 2013


$B!J=EJ#$7$F<u$1<h$i$l$?>l9g$O$4MF<O$/$@$5$$!K(J

JST$B!&(JCREST$B8&5fNN0h!V%S%C%0%G!<%?4pHW!W(J
http://www.jst.go.jp/kisoken/crest/research_area/ongoing/bunyah25-6.html
$B$K$*$$$F!"$3$N$?$S:NBr$5$l$^$7$?8&5f2]Bj!'(J

$B!VCN<1$K4p$E$/9=B$E*8 at 8l=hM}$N3NN)$HCN<1%$%s%U%i$N9=C[!W(J
$B!J8&5fBeI=<T!'9u66DwIW!"8&5fJ,C4<T!'4%7rB at O:!"8M<!Bg2p!"5\HxM42p!K(J

$B$r?d?J$9$k$?$a$K!"2<5-$N$H$*$j!"FCG$650w$N8xJg$r9T$$$^$9!#$J$*!"K\(J
$B8xJg$K4X$7$F$O!"(JJREC-IN$B$N0J2<$N9`L\$b$4;2>H2<$5$$!#(J
http://jrecin.jst.go.jp/seek/SeekJorDetail?fn=4&id=D113101576&ln_jor=0

                                 $B5-(J

 1. $B?&L>5Z$S?M0w(J  $BFCG$=Z65<x$^$?$OFCG$=u65(J  $B7W#2L>!JG$4|IU$-!K(J
 2. $B=jB0(J          $B$*Cc$N?e=w;RBg3X%7%_%e%l!<%7%g%s2J3X650i8&5f%;%s%?!<(J
 3. $B6PL3>l=j(J      $B$*Cc$N?e=w;RBg3X(J
                  $BEl5~ETJ85~6hBgDM#2CzL\#1HV#19f(J
                  $B:G4s$j1X!'El5~%a%H%m4]%NFb@~h,2YC+1XKt$OM-3ZD.@~(J
                  $B8n9q;{1X$+$iELJb#7J,(J
 4. $B at lLgJ,Ln(J      $B7W;;8 at 8l3X!"7A<00UL#O@!"7W;;O at M}3X(J
 5. $B?&L3FbMF(J      $B!V0UL#$NI=8=!&7W;;%b%G%k$N9=C[!W$N8&5f!"(J
                  $BFC$K0J2<$N%F!<%^(J(1)$B$^$?$O(J(2)$B$K4X$9$k8&5f$r9T$&!#(J

  (1) $BHOaFJ8K!Ey$N7A<0J8K!M}O@$K4p$E$/9b@:EY$J9=J82r at O(J
     $B!J9qN)>pJs3X8&5f=j(J $B5\Hx8&5f<<$H$N6&F18&5f!K(J

  (2) $B%b%@%j%F%#!&A0Ds$J$I$N8 at 8l8=>]$rBP>]$H$7$?!"9b3,7?M}O@$K4p$E$/(J
      $B0UL#7W;;$N<BAuEy$K4X$9$k8&5f(J
     $B!J$*Cc$N?e=w;RBg3X(J $B8M<!8&5f<<$H$N6&F18&5f!K(J

 6. $B1~Jg;q3J(J  (1) $BGn;N$N3X0L$^$?$O$3$l$HF1Ey$N8&5fG=NO$rM-$9$kJ}!#(J
                  $BJ?@.(J25$BG/EYCf$KGn;N<hF at 8+9~$_$NJ}$b4^$`!#(J
              (2) $B?&L3$N?k9T$KI,MW$H$5$l$kCN<1$d5;=Q$rM-$9$k$3$H!#(J
 7. $B8[MQ4|4V(J      $BJ?@.(J26$BG/(J4$B7n(J1$BF|0J9_$J$k$Y$/Aa$$;~4|!AJ?@.(J27$BG/(J3$B7n(J31$BF|(J
                  $BG/EYKh$KO+;HAPJ}$N9g0U$K$h$j99?7$9$k$3$H$,$"$jF@$k!#(J
                  $B$J$*!"99?7$O:GD9$GJ?@.(J31$BG/(J3$B7n(J31$BF|!J%W%m%0%i%`$N(J
                  $B=*N;!K$^$G$H$9$k!#(J
 8. $B="6H;~4V(J      8$B!'(J30$B!A(J17$B!'(J15$B!J7nMKF|!A6bMKF|!K$r4pK\$H$9$k:[NL(J
                  $BO+F/@)$H$9$k!#(J
                  $B!J>e5-;~4V$O5Y7F;~4V(J60$BJ,$r4^$`!K(J
 9. $B5YF|!&5Y2K(J    $B5YF|!'EZMKF|!&F|MKF|!"9qL1$N=KF|5Z$SG/KvG/;O(J
                  $B!J(J12$B7n(J29$BF|!A(J1$B7n(J3$BF|!K(J
                  $B5Y2K!'G/<!M-5k5Y2K!"IB5$5Y2K!"FCJL5Y2K(J
10. $B5kM?(J          $BK\3X5kM?5,Dx$K4p$E$-;Y5k$9$k!#(J
                  $B4pK\G/Jp!J4pK\G/Jp$r(J12$B7n$G3d$C$?3[$rKh7n;Y5k!K(J
                  $BFCG$=Z65<x(J600$BK|1_!"FCG$=u65(J360$BK|1_(J
                  $B at G6b5Z$SJ!Mx8|@8Hq!J8[MQJ]81NA!"6&:QAH9g3]6b!K$N(J
                  $B<+8JIiC4J,$r95=|$9$k!#(J
11. $B<jEv(J          $BK\3X5kM?5,Dx$K4p$E$-DL6P<jEv$r;Y5k$9$k!#(J
                  $B$J$*!"4|Kv!&6PJY<jEv$N;Y5k$O$J$7!#(J
                  $B!J$?$@$7!"DL6P5wN%$,#2-RL$K~$N>l9g$O!"DL6P<jEv$r(J
                  $B;Y5k$7$J$$!#$^$?!":NMQF|$,7n$NCfES$N>l9g!"DL6P<j(J
                  $BEv$OMb7n$+$i;Y5k$9$k!#!K(J
12. $BB`?&<jEv(J      $B;Y5k$J$7!#(J
13. $B2CF~J]81(J      $BO+:R!"8[MQJ]81!"J8It2J3X>J6&:QAH9g$K2CF~$9$k!#(J
14. $BDs=P=qN`(J  (1) $BMzNr=q!J<L??E=IU!"Fh0u!"3XNr!&?&Nr!&<u>^Nr!&=jB0(J
                  $B3X2q!&=;=j!&(JE-mail$B%"%I%l%9Ey$rL at 5-$N$3$H!K(J
              (2) $B8&5f6H at S0lMw!JCx=q!"O at J8!J?3::$NM-L5JL!K!">7BT9V(J
                  $B1i!"3X2qH/I=!"$=$NB>$KJ,N`$9$k$3$H!K(J
              (3) $B<gMW$JCx=q!"O at J8Ey$NJL:~$jKt$O<L$7!J(J3$BE at 0JFb(J $B6H at S(J
                  $B0lMwCf$K!{0u$rIU$9$3$H!K(J
              (4) $B=w;RBg3X$K650w$H$7$F="?&$9$k$3$H$X$NJzIi(J
                  $B!J(J1,000$B;zDxEY!K(J
              (5) $BK\3X$G9T$*$&$H$9$k8&5f$K4X$9$kJzIi(J
                  $B!J$3$l$^$G$N8&5f6H at S$rF'$^$($F5-:\$9$k$3$H!K(J
                  $B!J(J2,000$B;zDxEY!K(J
              (6) $B=$N;!J8+9~$_!K>ZL@=q<c$7$/$O3X0L<xM?>ZL@=q(J
              (7) $B#2L>$NJ}$+$i$N?dA&>uKt$O1~Jg<T$K$D$$$F=j8+$r5a$a(J
                  $BF@$kJ}#2L>$N;aL>5Z$SO"Mm at h(J
              (8) $B1~Jg=qN`JVAwMQIuE{!J!ZHw9M![;2>H!K(J
              $B$J$*!"(J(3)(8)$B0J30$O!"=q<0$r86B'#A#4H=$KE}0l$9$k$3$H!#(J
15. $BA*9MJ}K!(J  (1) $BBh#1<!A*9M(J  $B=qN`?3::(J  $BA*9M7k2L$O!"K\?M08$KM9Aw$K(J
                  $B$FDLCN$7$^$9!#(J
              (2) $BBh#2<!A*9M(J  $BBh#1<!A*9M9g3J<T$KBP$7$F$N$_LL@\?3::(J
                  $BLL@\?3::$G$O!"%W%l%<%s%F!<%7%g%s$r<B;\$N>e!"<A5?(J
                  $B1~Ez$r9T$$$^$9!#(J
                  $B%W%l%<%s%F!<%7%g%s2]Bj!&<B;\F|;~Ey>\:Y$O!"Bh#1<!(J
                  $BA*9M9g3J<T$K!"Bh#1<!A*9M7k2L$HJ;$;$FDLCN$7$^$9!#(J
                  $B$J$*!"LL@\Ey$K78$kN9Hq!"=IGqHqEy$O1~Jg<T$NIiC4$H(J
                  $B$7$^$9!#:G=*E*$JA*9M7k2L$O!"K\?M08$KM9Aw$K$FDLCN(J
                  $B$$$?$7$^$9!#(J
16. $BDs=P4|8B(J        $BJ?@.(J25$BG/(J12$B7n(J10$BF|!J2P!K at 58aI,Ce(J
17. $BDs=P at h(J          $B")(J112-8610  $BEl5~ETJ85~6hBgDM#2CzL\#1HV#19f(J
                     $B9qN)Bg3XK!?M$*Cc$N?e=w;RBg3XD9(J  $B1)F~:4OB;R(J $B08(J
18. $BLd9g$;@h(J      $B$*Cc$N?e=w;RBg3XBg3X1!(J
                  $B?M4VJ82=AO at .2J3X8&5f2J<+A3!&1~MQ2J3X7O(J
                  $B=Z65<x(J  $B8M<!Bg2p(J
                  E-mail$B!'(J  bekki.daisuke at ocha.ac.jp
                  $B$*Ld$$9g$o$;$O!"86B'EE;R%a!<%k$G$*4j$$$$$?$7$^$9!#(J

$B!ZHw9M![(J
  $B1~Jg=qN`$O!"IuE{I=LL$K!VFCG$650w!J8M<!8&5f<<!K1~Jg=qN`:_Cf!W$H<k(J
$B5-$7!"=qN1Kt$O4J0W=qN1$GM9Aw!JBpG[JX$b2D!K$N$3$H!#$J$*!"1~Jg=qN`$O(J
$BJV5Q$9$k$N$G!"I,$:JVAwMQIuE{!J at Z<jEyE=IU!"JVAw08 at hL@5-!K$rF1Iu$9$k(J
$B$3$H!#(J

  $B$J$*!"K\8&5f%W%m%8%'%/%H$K4XO"$7$F!"5~ETBg3X!&ElKLBg3X$K$*$$$F$b(J
$B!VCN<1$K4p$E$/9=B$E*8 at 8l=hM}!W!V%F%-%9%H2#CGE*$J>pJs!&CN<1$N4X78IU(J
$B$1!W$K4X$7$F(J5$BL>$NFCDj650w!&8&5f0w$rJg=8$7$F$$$^$9!#(J
http://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D113100925&ln_jor=0




More information about the Logic-ml mailing list