サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
大谷翔平
www.tukizakura.org/~fujim2
2011-04-01 日々のメモ2011 2011-03-31 RecentDeleted 2011-03-26 vtk 2011-03-24 StarLogo 2011-03-23 PAT 2011-01-10 vtk for Java 2011-01-05 FrontPage 日々のメモ 2010-12-17 日々のメモ2010 2010-12-10 ParaView 2010-12-08 Go言語 2010-12-06 vtk for Tcl 2010-11-25 AlloyAnalyzer Japanese 2010-11-23 doxygen 2010-11-22 GoQuickSort GoTurtleParallel GoTurtle 形式手法 fgram Coq 分類 † 形式手法、ってその言葉だけをとると、あまり情報がない。なぜって 通常、科学・工学の分野で研究をする、と
2010-02-14 歪 2010-02-12 日々のメモ2010 2010-01-25 trang gallbladder pain and food to avoid 2010-01-19 graphviz UnstructuredGrid形式 Legacy UPPAAL N-Tree構造 2010-01-07 日々のメモ 2009-11-28 日々のメモ2009 2009-11-27 GoQuickSort Go言語 2009-11-26 GoTurtleParallel GoTurtle 2009-11-25 プログラミング言語 2009-11-24 頭の整理 2009-11-20 FormatRule 2009-10-16 PAT 2009-10-07 seed 2009-09-30 LTSA
起動オプションを知る † ここでとりあえず、verifytaを起動してみると、 C:\uppaal-4.0.6\demo>verifyta verifyta: too few arguments Try `verifyta -h' for more information. といってくるので、この通りにして起動オプションを知る。 C:\uppaal-4.0.6\demo>verifyta -h Usage: verifyta [OPTION]... MODEL QUERY where MODEL is a model file and QUERY is a query file. Tuning options: -A Use convex-hull approximation. -C Disable most memory reduction techniques. -H n Set ha
vtkとは † Visualization Tool Kit の略 Kitwareという会社(米GE社の子会社)が提供するオープンソースソフトウエア。 OpenGLベースの可視化専用のC++クラスライブラリ Tcl, Python, Javaのラッパーが用意されている ちなみに、Kitwareという会社は、vtkのサポートで食っているようです。サポート、開発、コンサルティング、テキスト販売などで。また、有償でCOM APIの提供とVBでの開発サポートもしているらしい。 vtk以外にもいくつかのオープンソースを公開している(おもにソフトウェア開発に関するツールCMakeなど)。さらに、今ではいくつかの有償の製品ももっている。 ↑ Windows(binary) † http://public.kitware.com/VTK/get-software.phpからとってくる。 現在のリリースは5
Link: 歪(23d) MenuBar(36d) 頭の整理(78d) 技術資料(164d) メモ書き(204d) Mandelbrot集合(1318d) 教育関連(1371d) イベントメモ(1600d) 自分の事(1605d) 読み方(1606d) test(1608d) Site admin: anonymous PukiWiki 1.4.6 Copyright © 2001-2005 PukiWiki Developers Team. License is GPL. Based on "PukiWiki" 1.3 by yu-ji. Powered by PHP 5.2.6. HTML convert time: 0.080 sec.
このページを最初にブックマークしてみませんか?
『www.tukizakura.org』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く