5月29日追記: サークル配置リスト発表になりました。 お手数ですが登録情報の更新をお願いします。 http://www.puniket.com/nanoha/nanoha9_list02.htm ************************* 魔法少女リリカルなのはシリーズオンリーイベント 魔法少女リリカルなのはシリーズをこよなく愛されている方なら、どなたでも参加可能です。 同人誌即売会&併設イベント - AM11:00~PM3:00(予定) 大抽選会&じゃんけん大会(都合により変更あり) - PM3:30~(予定) 主催:リリカルマジカル時空管理局 共催:ぷにケット準備会 ※当イベントページの管理人は主催、運営などとは関係ありません。
[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。 「た14」:おらあみ☆はるしね~しょん 配布物 「Muchos Amigos!!」 本文36p 400円 脇田ピヨスケの残念な感じの同人誌ダヨ。 (無事搬入されるといいな!まだ実物は見てません!爆!) 表紙・裏表紙 サンプル 「Hallucination」-藤猫さん- <完全新作小説コピー本!> 「もう一度…」(仮) 約4万字! 多分200円 予告!!!ハイパーーーーーーーーーージャンプ! (超面白そうですね!自分もまだ読んでません!楽しみー!はやても大活躍らしいよ!) 当日購入者おまけ。(予定:現在製作中) ・はやてさんのコメディネタミニ本(間に合わなさそーデスww) 間に合いませんでしたww ・冷蔵庫にくっつくなのはシール(マグネットシート仕様):ランダムで2キャラ付いてく
λ. Whyでバブルソートの正当性を示す 計算機言語で定理証明 (Proof Party.JP)のときには、Jahobというツールを使って色々やってみたが、最近Whyという似たツールを知ったので、こっちでも同じようなことをやってみる。 まずは、Jahobでも試したバブルソートの例*1。 BubbleSort.java これを gwhy BubbleSort.java としてgwhyを起動すると、Proof Obligation が抽出されて一覧されるので、あとはメニューから「Proof」「Prove all obligations」とかを選べば定理証明器などが走って証明をしてくれる。 定理照明器としては、Alt-Ergoしかインストールしていなかったけれど、この例ではあっさり全 Proof Obligation が証明された。 以下が結果の画面。 gwhyのこのインターフェースはテストツー
Whyツールの習得について( http://groups.google.co.jp/group/fm-forum/browse_thread/thread/6fbd1bc05aa8f999) ということで、 私もやってみた。 Whyというのはプログラムの検証用ツールなのだが、 プログラムコードにアサーションのように挿入したWhyのコードを もとに、プログラムを自動的に検証してくれるという、 なんだか素晴らしい仕組みを持っているのだ。 私の環境はUbuntu。 1.インストール Coq(apt-getでインストールできる)以外に必要なものは、 why-2.24.tar.gz(http://why.lri.fr/) いくつか追加でパッケージが必要。 全部sudo apt-get installでインストールしておく。 libocamlgraph-ocaml-dev(これがないとconfigur
we want to make sure that you all have calm waters to test your new codebases where you're not dealing with whales, robots, and whatnot. with the world cup ending on july 11th, you will all have over a month's time of calm waters and site stability to finish the switch over. also, with the vast majority of media providers already switched over to OAuth Echo, you now also have an additional month
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く