‎


	English \| Japanese	CSPSAT (until FY2011)	CSPSAT2 (until FY2014)	Cloud (until FY2015)	CSPASP (since FY2015)

ニュース

2019年8月1日	第12回CSPSAT講が2019年8月28,29日に開催されます (URL).

2019年2月15日	第7回CSPSAT3研究会が2019年3月15日(金)に開催されます (URL).

2018年9月18日	第6回CSPSAT3研究会が2018年10月18日(木), 19日(金)に開催されます (URL).

2018年3月5日	第5回CSPSAT3研究会が2018年3月29日(木), 30日(金)に開催されます (URL).

2017年10月5日	第11回 CSPSAT & ASP 講演会の日程が2017年11月14日(火), 15日(水)に決定しました (URL)．ASP 研究の世界的第一人者である Torsten Schaub 先生にご講演頂く予定です．

2017年7月21日	第4回CSPSAT3研究会が2017年8月7日(月), 8日(火)に開催されます (URL).

2017年1月19日	第3回CSPSAT3研究会が2017年3月15日(水), 16日(木)に開催されます (URL).

2016年6月2日	第10回CSPSAT講演会の日程が2016年11月14日(月), 15日(火)に決定しました (URL)．Eclipseに採用されたSat4jの開発者である Daniel Le Berre 先生にご講演頂く予定です.

2016年4月7日	CSPSAT3のページを公開しました!
	過去の関連プロジェクトについては CSPSAT, CSPSAT2, Cloud を御覧ください．
	制約解集合プログラミングに関する CSPASP も現在進行中です!

バックナンバー

<hr> <!– <img width=“20%” src=“banbara.png”><br> –> <font size=“-1”> <table> <tr> <td><img width=“150px” src=“soh.png”></td> <td class=“button2”><a href=“http://www.edu.kobe-u.ac.jp/istc-tamlab/”>Tamura Lab.</a><a href=“http://kix.istc.kobe-u.ac.jp/~soh/jp/”>T. Soh</a></td> </tr> </table> </font> <img src=“http://cgi.center.kobe-u.ac.jp:8000/cgi-bin/Count.cgi?df=svc00652-cspsat.dat%7Cdd=C” align=absmiddle> <font size=“-1”>since 24th March 2009</font>

</div> <script type=“text/javascript”>

var _gaq = _gaq || []; _gaq.push([’_setAccount’, ’UA-6313627-3’]); _gaq.push([’_trackPageview’]);

(function() { var ga = document.createElement(’script’); ga.type = ’text/javascript’; ga.async = true; ga.src = (’https:’ == document.location.protocol ? ’https://ssl’ : ’http://www’) + ’.google-analytics.com/ga.js’; var s = document.getElementsByTagName(’script’)[0]; s.parentNode.insertBefore(ga, s); })();

</script>