<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br></div><div><div>$B!!!!!!!!(BJAIST $BBh(B43$B2s(B $BB?<!85%;%_%J!<$N3+:E$K$D$$$F(B</div><div><div><br>$B2<5-$N$H$*$jKLN&@hC<2J3X5;=QBg3X1!Bg3X@hC<M;9gNN0h8&5f1!<g:E$K$h$k(B</div><div>$BB?<!85%;%_%J!<$r3+:E$7$^$9!#(B</div></div></div><div><br></div><div><br></div><div>$B!!!!(B1. $BF|!!!!;~!!J?@.(B24$BG/(B11$B7n(B1$BF|(B($BLZ(B) 15:00$B!A(B16:30<br><br>$B!!!!(B2. $B>l!!!!=j!!(BJAIST $BCN<12J3X8&5f2J9V5AEo(B2$B3,!!Cf9V5A<<(B</div><div><br></div><div> <a href="http://www.jaist.ac.jp/general_info/access/index.html">http://www.jaist.ac.jp/general_info/access/index.html</a></div><div><br></div><div>$B!!!!(B3. $B9V(B $B1i(B $B<T!!(BProf. Melvin Fitting<br>$B!!!!!!(B Department of Mathematics and Computer Science<br> Lehman College, City University of New York</div><div><br>$B!!!!(B4. $B9V1iBjL\(B $B!V(BTableau/Sequent Duality$B!W(B</div><div><br></div><div> $B9V1i$N%"%V%9%H%i%/%H$O0J2<$r$4Mw2<$5$$(B</div><div>$B!!!!(B <a href="http://www.jaist.ac.jp/rcis/seminar/multi-dimension/43">http://www.jaist.ac.jp/rcis/seminar/multi-dimension/43</a><br><br><div><br></div><div>$BKLN&@hC<2J3X5;=QBg3X1!Bg3X@hC<M;9gNN0h8&5f1!(B</div><div>$B!!!!(B $B>.Ln!!42Zr(B</div><div>$B!!!!(B <a href="http://www.jaist.ac.jp/rcis/en">http://www.jaist.ac.jp/rcis/en</a></div></div></body></html>