You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
ref: http://shinh.hatenablog.com/entry/2014/12/25/013926 おー。 Z3 で再現してみた。 $ time python crc32.py 86319a79 58a8a1b9 real 151m1.375s user 151m7.607s sys 0m0.179s1 つめは 3 分くらいで見つかるけど、2 つめは 2 時間くらい、チェック完了までは 3 時間弱かかった。 単純に 2^32 個を全チェックする方法なら、秒間 100 万個調べられるとして 1 時間ちょっとという計算。まあ、こんなもんなのかな。追記:shinh さんによると 1 分でできるらしい。残念。 ソースはこんな感じ。もっと綺麗に書けそう。 # coding: utf-8 from z3 import * # CRC-32 の生成多項式(の反転) POLY = 0xedb
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language: -- This top-level code is plain Lua code. function printhello() -- This is a plain Lua function print("Hello, Lua!") end printhello() -- Terra is backwards compatible with C, we'll use C's io library in our example. C = terralib.includec("stdio.h") -- The keyword 'terra' introd
Yale Computer Science has moved Please bookmark our new URL http://cpsc.yale.edu If you are not automatically redirected to the new site in a few seconds, please click on the link above.
Welcome to the best online PHP shell3v4l.org (leetspeak for eval) is an online shell that allows you to run your code on my server. I compiled more than 250 different PHP versions (every version released since 4.3.0) for you to run online. For every script you submit, this site tells you: Output from all released, plus upcoming alpha/beta/RC PHP versionsPerformance (time and memory) of every versi
今日のエントリーでは、蓬莱学園においてかつて使用されていた「ソーニャ・チップ」と呼ばれる私造通貨について、議論したいと思います。 蓬莱学園について 蓬莱学園というのは一般にはあまり知られていない存在なのですが、東京から南に二千キロ、太平洋に浮かぶ宇津帆島という孤島にある高等学校です。しかし非常に能力の高い生徒が多数在籍し、学校の運営が生徒自身の手で行われていることで、その筋の専門家の間では有名です。 この学園は元々「ほうらい会」と呼ばれる世界的な軍産複合体(「影の政府」と呼ぶ人もいます)が裏から操っていたのですが、1990年に学園で内戦を含む大きな動乱が発生した結果、「ほうらい会」の勢力は学園から追放され、事実上日本から独立した存在となりました。学園の生徒会や各委員会が行政を司り、営利活動を行うクラブが経済を握り、軍事活動すらクラブ活動(後に学防軍として再編されましたが)として行われている
Luerl is an implementation of standard Lua 5.3 written in Erlang/OTP. Lua is a powerful, efficient, lightweight, embeddable scripting language common in games, IoT devices, AI bots, machine learning and scientific computing research. It supports procedural, object-oriented, functional, data-driven, reactive, organizational programming and data description. Being an extension language, Lua has no n
※キャンペーンは終了しました。たくさんのご応募、ありがとうございました。 本日、はてなブログのAndroidアプリをリリースしました。お持ちのAndroid端末から、はてなブログの記事作成や、購読中のブログを手軽にチェックできます。 今回のリリースに合わせて、Google Play™ ギフトカードが当たるWキャンペーンを実施します。応募方法はこのエントリーの最後をご覧ください。なお、当エントリーをAndroidのブラウザから開くと、簡単に応募できます。 「はてなブログ」Androidアプリでは、お手持ちのAndroid端末で手軽に記事が書けるだけでなく、撮った写真を簡単に記事に使える仕組みや、「購読中のブログ」が読みやすい新デザインの導入などの配慮をしています。 下記のリンクからダウンロードできます。どうぞご利用ください。 ※対応OS:Android 4.0.3以降 Androidアプリ「
Open world futuristic freerun / parkour game inspired by great games like Jet Set Radio and Mirror's Edge
浮動小数点数について等しいかどうかを調べる場合、普通に等値比較をおこなうのではなく、計算機イプシロンepsを使って「|x - y| / |x| < eps」とか「|x - y| / max(|x|, |y|) < eps」としなさい、という話を聞いたり読んだりしたことがある。でも何かおかしい気がする。それ以前に計算機イプシロンが何なのかもよくわからない。なので、そのことについてメモにまとめる。 浮動小数点数の等値判定の仕方 計算機イプシロンの定義 計算機イプシロンの定義:その1 計算機イプシロンの定義:その2 定義1と定義2の混同 (定義2の計算機イプシロンの意味) 浮動小数点数の等値判定に計算機イプシロンを(どう)使うべきか 浮動小数点数の等値判定はどのようにすべきか 浮動小数点数の等値判定の仕方 文章が長いので、浮動小数点数の等値判定の仕方を先に書いておく。 適当な定数Cを取って で等
『カンビュセスの籤』(カンビュセスのくじ)は、藤子不二雄の藤本弘(のちの藤子・F・不二雄)による日本の読切漫画。『別冊問題小説』(徳間書店)1977年冬期特別号に掲載された。本作品を表題とする中央公論社の愛蔵版『SF全短篇』第1巻、または『藤子・F・不二雄 SF短編PERFECT版』第4巻などのSF短編集に収録。 1991年にOVA化された。終末戦争後の世界に身を置かれた男女の姿を通して、人間が生きることの意味を問う作品。 甲冑の男・サルクは砂漠を放浪した末に建物を見つけ、不思議な身なりの少女・エステルに介抱される。エステルは自分の年齢は23万歳以上だが、生活年齢はまだ17歳だと話すが、サルクには通じない。言葉が通じないながら、2人は食料「ミートキューブ」を分け合って数日を過ごす。食料を勝手に持ち出そうとしたサルクにエステルは激怒し、足枷を嵌める。 やがてキューブが尽き、同時にエステルが翻
Zin ARAI . . . . 2 2007 6 20 Zin ARAI . . 1 . . 2 . . 3 amscd xy-pic 4 5 Zin ARAI . . 1 . . 2 . . 3 amscd xy-pic 4 5 Zin ARAI . . 1 . . 2 . . 3 amscd xy-pic 4 5 Zin ARAI . . 1 . . 2 . . 3 amscd xy-pic 4 5 Zin ARAI . . 1 . . 2 . . 3 amscd xy-pic 4 5 Zin ARAI Outline . . 1 . . 2 . . 3 amscd xy-pic 4 5 Zin ARAI amsart,... L A TEX \documentclass{} . article jarticle article jsarticle article book jboo
『ちっちゃな雪使いシュガー』(ちっちゃなゆきつかいシュガー)は、2001年10月3日から2002年3月27日までTBSの深夜枠にてサイドカットを行い放送されたテレビアニメ作品である。後の2001年12月1日から2002年5月11日までBS-iにてフルサイズ(16:9)の放送も行われている[注 1]。なお、BS-iでは2003年8月22日と同年8月29日に特別編も放送された。 本作品は、TBS製作深夜アニメとしては非常に珍しいアニメオリジナルで製作されたファンタジー作品であり、その内容は人間の少女と妖精の間に生まれた友情と彼女らの心の成長をパステル調のメルヘンチックな世界において描かれている。 2001年12月には全国のTBS系列のテレビ局(一部地域除く)でも第1回分のみの特別版が放送され、冒頭に原作者・蒼はるかからのメッセージが添えられていた(最後は手書きのメッセージだった)。なお、中国放
画像フォーマットのひとつである JPEG について最も基本的な事項を解説しています。 1. JPEG とは JPEG はフルカラー(RGB 24bit)の画像フォーマットであり、非常に高い圧縮率を持つが圧縮時に細部情報が破壊される(不可逆圧縮)性質があり、圧縮率を上げすぎると目に見えて画質が劣化する、写真のような自然画に向くがベタ塗りのイラストなどにはあまり向かない(再生時に色ムラが出やすい)…と言われています。この解説は基本的には正しいのですが、いくつかの誤解を含んでいます。 まず厳密に言うと、JPEG とは画像フォーマット標準化団体である Joint Photographic Experts Group の名称です。JPEG によって定義された「JPEG フォーマット」は画像フォーマットの外枠を規定しているだけであり、何種類もの派生が存在し得ます。インターネットでよく使われ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く