『ストライクウィッチーズ 劇場版』予告編 - YouTube
大ヒットＴＶアニメシリーズ、待望の劇場版！ 魔法少女（ウィッチ）たちの新たなる戦いが始まる―― 1945年、扶桑皇国。 魔法の箒＝「ストライカーユニット」を身にまとい、異形の敵「ネウロイ」と世界各地で戦い続ける１０代の少女（ウィッチ）たち。 その"ウィッチ"の一人である宮藤芳佳は先の戦いで全ての魔法力を失ってしまったが、医者をめざし、勉強に励んでいた。 そんな芳佳のもとに、扶桑海軍士官候補生・服部静夏が訪れる。 彼女が伝えにきたのは、芳佳への欧州留学の辞令であった！ 人々を救うため、欧州で医学を学ぶことを決意した芳佳。 その頃、欧州では敵の不穏な動きに再び緊張が高まっていたのだった...。 芳佳と静夏、欧州への旅路につく2人を待ち受けるものとは――？ http://s-witch.cute.or.jp/
Catyの型システムの特異性 :: return0 note
Catyの型システムは主流のプログラミング言語にはあまり見られない特徴があり、それのせいで処理系の開発が極端に容易になったり面倒になったりするので、ちょっとそれらの一部をまとめてみる。 未知(undefined)、無効(null)、空(never)が型として存在する † この三者はそれぞれまったく異なる。 nullはJSONに含まれるシングルトンである。 undefinedはJSONに含まれないが、Caty内のインスタンス領域には存在する。 neverは空集合であり、Caty内のインスタンス領域に存在しない。 空オブジェクト({})、空の配列([])はいずれもれっきとしたシングルトンであると同時にオブジェクト、配列のインスタンスであり、空集合ではない事に注意。 実際にはundefinedの扱いはいろいろややこしい。 ルーズ配列がある † 以下はCatyの配列として合法なデータである。 [1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
FS#28329 : [gcc] Cannot compile program with a line like V = sqrt(pow(cos(A+atan(-B)), 2)); in it
