<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Dear sir or madam<div> This is ma lei from the university of tokyo.</div><div> Recently, I am studying the Numerical abstract domain, and </div><div> I would like to try PPL and study on it. I encounter 2 problems. </div><div> </div><div> The first one is that I encounter a bug problem during "make check".</div><div> I am using mac os.</div><div> I will paste the bug report at the end of the email. </div><div> </div><div> The second problem is that I can not find the Generated java and ocaml</div><div> interface as you have described in the manual. Could you please </div><div> help me what's going on ?</div><div> I first install GMP, with <!--?xml version="1.0" encoding="UTF-8" standalone="no"?-->
<span class="Apple-style-span" style="font-family: Arial; "> </span><span class="Apple-style-span" style="font-family: Arial; ">--enable-cxx</span> option as you required.</div><div> </div><div> <span class="Apple-style-span" style="font-family: monospace; white-space: pre; ">../configure --with-cxx='/usr/bin/g++' --with-cc='/usr/bin/gcc' --prefix='/Users/malei/PPL_Install/ppl-1.0/build/install_target' --with-gmp='/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64' --enable-interfaces=cxx,java,ocaml --with-java='/usr/bin'</span></div><!--?xml version="1.0" encoding="UTF-8" standalone="no"?-->
<div> Or could you please briefly show me how to generate the Java or Ocaml interfaces? </div><div> </div><div> Thank you very much.</div><div> </div><div><br></div><div>The make check I have encountered are shown as follows:</div><div><br></div><div><!--?xml version="1.0" encoding="UTF-8" standalone="no"?-->
<div style="font-family: Arial; ">*************************** long_double/IEEE754_QUAD ****************************</div><div style="font-family: Arial; ">make C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2 octagonalshape1 octagonalshape2 polyhedron1 polyhedron2 \</div><div style="font-family: Arial; "> run_tests</div><div style="font-family: Arial; ">g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o <a href="http://C_Expr.cc/">C_Expr.cc</a></div><div style="font-family: Arial; ">In file included from ../../tests/ppl_test.hh:27,</div><div style="font-family: Arial; "> from <a href="http://C_Expr.cc:25/">C_Expr.cc:25</a>:</div><div style="font-family: Arial; ">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"</div><div style="font-family: Arial; ">mv -f .deps/C_Expr.Tpo .deps/C_Expr.Po</div><div style="font-family: Arial; ">/bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o C_Expr C_Expr.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp</div><div style="font-family: Arial; ">libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/C_Expr C_Expr.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib</div><div style="font-family: Arial; ">g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearform1.o -MD -MP -MF .deps/linearform1.Tpo -c -o linearform1.o <a href="http://linearform1.cc/">linearform1.cc</a></div><div style="font-family: Arial; ">In file included from ../../tests/ppl_test.hh:27,</div><div style="font-family: Arial; "> from <a href="http://linearform1.cc:24/">linearform1.cc:24</a>:</div><div style="font-family: Arial; ">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"</div><div style="font-family: Arial; ">mv -f .deps/linearform1.Tpo .deps/linearform1.Po</div><div style="font-family: Arial; ">/bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearform1 linearform1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp</div><div style="font-family: Arial; ">libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearform1 linearform1.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib</div><div style="font-family: Arial; ">g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT linearize.o -MD -MP -MF .deps/linearize.Tpo -c -o linearize.o <a href="http://linearize.cc/">linearize.cc</a></div><div style="font-family: Arial; ">In file included from ../../tests/ppl_test.hh:27,</div><div style="font-family: Arial; "> from <a href="http://linearize.cc:24/">linearize.cc:24</a>:</div><div style="font-family: Arial; ">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"</div><div style="font-family: Arial; ">mv -f .deps/linearize.Tpo .deps/linearize.Po</div><div style="font-family: Arial; ">/bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o linearize linearize.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp</div><div style="font-family: Arial; ">libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/linearize linearize.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib</div><div style="font-family: Arial; ">g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT digitalfilters1.o -MD -MP -MF .deps/digitalfilters1.Tpo -c -o digitalfilters1.o <a href="http://digitalfilters1.cc/">digitalfilters1.cc</a></div><div style="font-family: Arial; ">In file included from ../../tests/ppl_test.hh:27,</div><div style="font-family: Arial; "> from <a href="http://digitalfilters1.cc:24/">digitalfilters1.cc:24</a>:</div><div style="font-family: Arial; ">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"</div><div style="font-family: Arial; ">mv -f .deps/digitalfilters1.Tpo .deps/digitalfilters1.Po</div><div style="font-family: Arial; ">/bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o digitalfilters1 digitalfilters1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp</div><div style="font-family: Arial; ">libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/digitalfilters1 digitalfilters1.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib</div><div style="font-family: Arial; ">g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape1.o -MD -MP -MF .deps/bdshape1.Tpo -c -o bdshape1.o <a href="http://bdshape1.cc/">bdshape1.cc</a></div><div style="font-family: Arial; ">In file included from ../../tests/ppl_test.hh:27,</div><div style="font-family: Arial; "> from <a href="http://bdshape1.cc:24/">bdshape1.cc:24</a>:</div><div style="font-family: Arial; ">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"</div><div style="font-family: Arial; ">mv -f .deps/bdshape1.Tpo .deps/bdshape1.Po</div><div style="font-family: Arial; ">/bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape1 bdshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp</div><div style="font-family: Arial; ">libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape1 bdshape1.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib</div><div style="font-family: Arial; ">g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT bdshape2.o -MD -MP -MF .deps/bdshape2.Tpo -c -o bdshape2.o <a href="http://bdshape2.cc/">bdshape2.cc</a></div><div style="font-family: Arial; ">In file included from ../../tests/ppl_test.hh:27,</div><div style="font-family: Arial; "> from <a href="http://bdshape2.cc:24/">bdshape2.cc:24</a>:</div><div style="font-family: Arial; ">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"</div><div style="font-family: Arial; ">mv -f .deps/bdshape2.Tpo .deps/bdshape2.Po</div><div style="font-family: Arial; ">/bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o bdshape2 bdshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp</div><div style="font-family: Arial; ">libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/bdshape2 bdshape2.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib</div><div style="font-family: Arial; ">g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape1.o -MD -MP -MF .deps/octagonalshape1.Tpo -c -o octagonalshape1.o <a href="http://octagonalshape1.cc/">octagonalshape1.cc</a></div><div style="font-family: Arial; ">In file included from ../../tests/ppl_test.hh:27,</div><div style="font-family: Arial; "> from <a href="http://octagonalshape1.cc:24/">octagonalshape1.cc:24</a>:</div><div style="font-family: Arial; ">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"</div><div style="font-family: Arial; ">mv -f .deps/octagonalshape1.Tpo .deps/octagonalshape1.Po</div><div style="font-family: Arial; ">/bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape1 octagonalshape1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp</div><div style="font-family: Arial; ">libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape1 octagonalshape1.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib</div><div style="font-family: Arial; ">g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT octagonalshape2.o -MD -MP -MF .deps/octagonalshape2.Tpo -c -o octagonalshape2.o <a href="http://octagonalshape2.cc/">octagonalshape2.cc</a></div><div style="font-family: Arial; ">In file included from ../../tests/ppl_test.hh:27,</div><div style="font-family: Arial; "> from <a href="http://octagonalshape2.cc:25/">octagonalshape2.cc:25</a>:</div><div style="font-family: Arial; ">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"</div><div style="font-family: Arial; ">mv -f .deps/octagonalshape2.Tpo .deps/octagonalshape2.Po</div><div style="font-family: Arial; ">/bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o octagonalshape2 octagonalshape2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp</div><div style="font-family: Arial; ">libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/octagonalshape2 octagonalshape2.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib</div><div style="font-family: Arial; ">g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron1.o -MD -MP -MF .deps/polyhedron1.Tpo -c -o polyhedron1.o <a href="http://polyhedron1.cc/">polyhedron1.cc</a></div><div style="font-family: Arial; ">In file included from ../../tests/ppl_test.hh:27,</div><div style="font-family: Arial; "> from <a href="http://polyhedron1.cc:24/">polyhedron1.cc:24</a>:</div><div style="font-family: Arial; ">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"</div><div style="font-family: Arial; ">mv -f .deps/polyhedron1.Tpo .deps/polyhedron1.Po</div><div style="font-family: Arial; ">/bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron1 polyhedron1.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp</div><div style="font-family: Arial; ">libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron1 polyhedron1.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib</div><div style="font-family: Arial; ">g++ -DHAVE_CONFIG_H -I. -I../.. -DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD -I../../src -I../../src -I../../tests -I../../utils -I/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/include -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o polyhedron2.o <a href="http://polyhedron2.cc/">polyhedron2.cc</a></div><div style="font-family: Arial; ">In file included from ../../tests/ppl_test.hh:27,</div><div style="font-family: Arial; "> from <a href="http://polyhedron2.cc:26/">polyhedron2.cc:26</a>:</div><div style="font-family: Arial; ">../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"</div><div style="font-family: Arial; ">mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po</div><div style="font-family: Arial; ">/bin/sh ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o polyhedron2 polyhedron2.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib -lgmpxx -lgmp</div><div style="font-family: Arial; ">libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/polyhedron2 polyhedron2.o -Wl,-bind_at_load ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.dylib -L/Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmpxx.dylib /Users/malei/PPL_Install/gmp-5.0.5/build-x86_64/lib/libgmp.dylib</div><div style="font-family: Arial; ">make[5]: Nothing to be done for `run_tests'.</div><div style="font-family: Arial; ">make check-TESTS</div><div style="font-family: Arial; ">PASS: C_Expr</div><div style="font-family: Arial; ">PASS: linearform1</div><div style="font-family: Arial; ">PASS: linearize</div><div style="font-family: Arial; ">PASS: digitalfilters1</div><div style="font-family: Arial; ">PASS: bdshape1</div><div style="font-family: Arial; ">PASS: bdshape2</div><div style="font-family: Arial; ">PASS: octagonalshape1</div><div style="font-family: Arial; ">PASS: octagonalshape2</div><div style="font-family: Arial; ">tests failed: test04 test05</div><div style="font-family: Arial; ">FAIL: polyhedron1</div><div style="font-family: Arial; ">tests failed: test04 test05</div><div style="font-family: Arial; ">FAIL: polyhedron2</div><div style="font-family: Arial; ">======================================</div><div style="font-family: Arial; ">2 of 10 tests failed</div><div style="font-family: Arial; ">Please report to <a href="mailto:ppl-devel@cs.unipr.it">ppl-devel@cs.unipr.it</a></div><div style="font-family: Arial; ">======================================</div><div style="font-family: Arial; ">make[5]: *** [check-TESTS] Error 1</div><div style="font-family: Arial; ">make[4]: *** [check-am] Error 2</div><div style="font-family: Arial; ">make[3]: *** [run_tests.stamp] Error 1</div><div style="font-family: Arial; ">make[2]: *** [check-am] Error 2</div><div style="font-family: Arial; ">make[1]: *** [check-recursive] Error</div></div><div><br></div><div><br></div><div> <br><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; ">-- <br>Sincerely Yours <br> Ma Lei<br>************************************<br>************************************<br>東京大学大学院 工学系研究科 電気系工学専攻<br>Dept. of Electrical Engineering and Information Systems,<br>Graduate school of Engineering, The University of Tokyo<br>佐藤周行研究室 博士課程1年<br>Sato laboratory, PHD 1st year<br>馬 雷(Ma Lei)<br>Tel: 080-4207-2391<br>E-Mail:malei@satolab.itc.u-tokyo.ac.jp</span>
</div>
<br></div></body></html>