形式仕様記述言語の話もそうなのだが、テストを作るプログラムが java なのが、ちょっと...と思う。 運賃計算ロジックが C++ で、それをテストする場合は、できるだけ形式が離れた言語が良くて、普通の手続き型の言語、Perl とか Ruby を使ったほうがよかっ…
ってのを考えた。タイトルだけ。ちなみに「愛と誠」は読んだことがないので、ネタ的に使う訳ではない。思いついたのでタイトルだけ使う。 ミニ知識集みたいに。 仕様書と設計書の違い specification と design の違いになる。 実は、要件定義と要求定義は同…
VDM++による形式仕様記述http://research.nii.ac.jp/~f-ishikawa/vdm/index.html 直感的に、昔から「むかむか」するのは何故だろう？ No Thank You な「言語」である。
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） － Publickeyhttp://www.publickey1.jp/blog/12/_1040_2.html いや「関わってください」ってことはないだろうけど、「関わ…
Big iPhone/iPad Update Now Available — Blog — WordPress.comhttp://en.blog.wordpress.com/2012/08/09/wpios-3-1/ iOS 版 ... というか、編集して投稿する機能を iPhone/iPad で利用できますというバージョン。では、Windows や Linux 版ってのがあるかと…
OpenCV | OpenCVhttp://opencv.org/ 半年前ぐらいから開設されていた模様。 iOS 版の OpenCV もダウンロードできるし、そろそろ再起動しますか。 WinRT でコンパイルしたいところ。画面系は、DirectX に切り替えたいが、ひとまず、標準的なライブラリ群 MAT …
実は、前のバージョン 10 では、XML ファイルだったのだが、11 になってバイナリデータになってしまったのであった。外部からの解析が不可能に。 新しいバージョンではどうなんだろうか？ バイナリデータの中身を見ると、暗号化されている訳ではないので、本…
どうやら、COM を勉強し直さないと駄目っぽい。 コンポーネント開発、Windows 8 DirectX 関係 諸々と、COM に踏み込む必要があるので。 方法としては、 .NET で書いて COM 公開する。 既存の COM を .NET で使う。 既存の COM を MFC で使う。 既存の COM を…
C++11 Featureshttp://msdn.microsoft.com/en-us/library/vstudio/hh567368.aspx 最新を追う必要はないのだが、最低限を調べるために。 auto あたりとか。
QX の COM が C# から直接参照設定できないので、C++/ATL で COM を書くことに。 プロパティ自体は、IDispatch を返せば、C# 側では dynamic で参照できることが分かった。ひとまず、これで用途は足りる。 本当はメソッドやプロパティのインテリセンスを使い…
マクロ的に QX エディタから、VBScript を通して C# のライブラリを扱うテスト。 ひとまず、IApplicataion, ActiveDocument を渡すことができたので、まぁなんとかできそう。 オブジェクトは、IDispatch で送っても、VARIANT で送っても良いみたい。
C++ の auto は C# の var と同じ扱いで便利なんだけど、ちょっとだけ落とし穴があるということで。 list<int> lst ; auto bar = lst ; は、bar に lst がコピーされる（コピーコンストラクタ扱いになる）。 リファレンスにしたい場合は、 auto &bar = lst ; にし</int>…
ひとまず、C++, C#, Objective-C での null/nil の扱いを解説してみよう。あとで。
network monitor でどう見えるか？
ああ、API は公開されていないけど、IE から投稿はできているわけだけから、network を監視して「何で送っているか？」をチェックすればいいんだっけ。 そうしますか。 -- 2012/09/16 と思ったんだけど、network monitor を見たけどちょっと無理、やっぱり認…
このはてぶろは、情報垂れ流し状態にするので、Twitter のほうはちょっと「メモ」を自重しようと思う。Twitter のタイムラインとして流れてしまい、あとから参照がしにくいので。やっぱり、ブログに公開しておいて、適当なキーワードで探すほうが楽である。 …
Live Connect ドキュメント http://msdn.microsoft.com/ja-JP/library/live せめて、SkyDrive だけは見ておかないと > RRB と ひと目 Metro 用に。
HTMLエディタ、WordPress のオフライン記事書きツールとしては優秀なので、以前からしらべているのだが、COM アクセスができた模様。 c# - Windows Live Writer Automation - Stack Overflow http://stackoverflow.com/questions/8490977/windows-live-write…
UIDD の思考実験、ということにしてあるけど、実は実用段階を設計中。 プロトタイプ UI に関しては、Excel UI を基準にして作成。下手な設定画面を作るよりも、見慣れた Excel シートにぽちぽちと設定を埋め込むほうが見た目も良いし、実装も楽。 そこで作っ…
どうせならば、PP-Club のメンバ集めとして、Windows 8 metro application tips 集を作りますか。いずれ正月ぐらいには作らないといけないし。 ３つぐらい重なるといいんだが。 某、逆引き大全用は、ほぼ全面改訂でしょう。 某、技術メルマガのため。 某、コ…
WinRT/JS の場合は、HTML ファイルを埋め込むから、内部で XAML に直しているのでは？、ってことで、XAML を引っこ抜いて、そのまま保存すれば、HTML -> XAML の変換が簡単にできる ... かどうか、後で調べておこう。
Windows Live Writer で WordPress を後から編集する時は、どうするのかな？と。 最初に Live Wirter で書いたときは、ローカルファイルのフォルダに残っているのだが、いきなり WordPress からダウンロードする方法がわからない。多分、そのままではできな…
どうやら、C# で COM を作れば Excel VBA を操作しやすくなることが分かったので、jQuery on Excel 計画を再起動しよう。 Sub test2() ' 初期化 Dim sh As New ExQuery.Sheet sh.SetApplication Excel.Application Dim rg As ExQuery.ExRange With sh.Cell("…
acer の HDD は、32 GB と開発に使うにしては小さいのだが、検証用には使えるのではないかと。 Widows 8 を入れると、残りが 10 GB しかない（Windows 7 からのアップデートなので、既存の acer のソフトが入っているため、ただし、クリーンインストールはそ…
Aquarian's Memorandumhttp://aquarian.cocolog-nifty.com/masaqua/ 最新が 2011/02/06 で止まっているのが気になるけど、一応保持。 いやいや、ツイッターもあるし健在。物理学者な模様。
Yama’s Memorandum http://memorandum.yamasnet.com/ ひと通り眺めてみたり。
アメブロへのアクセスは atom api だそうだ。 【続報】アメブロのAtomAPIを倒した « PHP « web « 脱オタクはぢめましたhttp://blog.livedoor.jp/j_yuze/archives/51523327.html 徒然Blog | AtomAPI＋Amebaブログ。http://senpai4.blog29.fc2.com/blog-entry-…
MetaWeblog API リファレンスhttp://msdn.microsoft.com/ja-jp/library/bb259697.aspx RFC: MetaWeblog APIhttp://xmlrpc.scripting.com/metaWeblogApi.html MovableType で使える XML-RPC APIhttp://www.na.rim.or.jp/~tsupo/program/blogTool/mt_xmlRpc.ht…
Highcharts - Interactive JavaScript charts for your webpagehttp://www.highcharts.com/ 23 « 1月 « 2012 « テスターですが何か？https://david9142.wordpress.com/2012/01/23/ ↓で、カラフルなデモが見れます。 Highcharts Demo Galleryhttp://www.highc…
時期 SQLServer 2012 では、ローカルで動作するデータベースがある模様。 既に SQL Server Compact Edition があるけど、これは完全互換という訳ではないので、互換が取れたものなのかなぁ。 そうなると、ファイルベースで動く SQLite と比較してみたいんだ…
