http://hdl.handle.net/2065/854 Thu, 23 May 2013 08:43:37 GMT 2013-05-23T08:43:37Z http://hdl.handle.net/2065/38834 Title: HyperLMNtalによるBigraphのエンコードおよびモデル検査の実現 Authors: 目黒 学 Sat, 26 Jan 2013 00:00:00 GMT http://hdl.handle.net/2065/38834 2013-01-26T00:00:00Z http://hdl.handle.net/2065/38835 Title: ハイブリッド制約言語HydLaの記号実行シミュレータHyroseの実装と最適化 Authors: 松本 翔太 Sat, 26 Jan 2013 00:00:00 GMT http://hdl.handle.net/2065/38835 2013-01-26T00:00:00Z http://hdl.handle.net/2065/38836 Title: Literal Block Distanceに基づく学習節の共有を行う並列SATソルバGlucans Authors: 徐 暁雋 Sat, 26 Jan 2013 00:00:00 GMT http://hdl.handle.net/2065/38836 2013-01-26T00:00:00Z http://hdl.handle.net/2065/38837 Title: テレビ番組に対する意見をもつTwitterユーザのリアルタイム検出 Authors: 山本 祐輔 Fri, 01 Feb 2013 00:00:00 GMT http://hdl.handle.net/2065/38837 2013-02-01T00:00:00Z