Abstract interpretation 抽象解釈と訳されているようである。抽象実行とも訳されることがある。 定義としては、プログラムを全部計算することなく、そのプログラムの意味又は特性を画定することを目的とした部分実行ということになると思う。部分実行であるので、プログラムを全部実行してしまうわけではない。 これは、通常のプログラムの実行と比べると分かりやすい。通常のプログラム実行(通常のインタプリタ等の実行のこと)は、標準解釈(standard interpretation)と呼ばれるが、これとの対比で考えると、抽象解釈とは、コンパイル時に行われ、停止性を持つ、性質の調査には近似的であり、部分的なプログラムの実行であるということができる。それに対して、標準解釈は、実行時に行われ、必ずしも停止するわけではなく、しかし、特性の画定は決定的であり、全部を行うプログラムの実行ということ
リーダー像を探している人必見! 「こんな「リーダー」がいたらいいなぁ~」 「よし、理想のリーダーになるぞ」 皆さんも一度は「リーダー像」について考えたことがあるのではないでしょうか。 私も少しでも「上司を理解」し、「部下に信頼」されるためにと、「リーダー像」を探しています。 以下の書籍を読み、「リーダー」について考えてみました。
(CNN) 「世界最古の現役艦」として英ポーツマス軍港に保存されている英海軍の戦艦「ビクトリー」に、予算1600万ポンド(約19億円)の大規模改修が施されることになった。 英国防関連大手BAEシステムズが国防省の発注を受け、5年間の契約で工事を請け負う。さらに5年間延長する可能性もあるという。 ビクトリーは1765年進水。1778年に就役し、その後30年間のうちに米独立戦争とフランス革命、ナポレオン戦争の海戦で活躍した。1805年のトラファルガー海戦では、ネルソン提督の旗艦として英艦隊を圧倒的勝利に導いた。提督はビクトリーの艦上で戦死した。 今回の大改修は、同海戦後に行われた改修以来の規模。しかし200年余りの間に補修が繰り返された結果、船体のうち当初から残っている部分はわずか2割とされる。プロジェクト責任者のジョン・オサリバン氏はビクトリーについて、「現代の専門技術を駆使しても複製が困難
長らく更新の止まっている「いいから俺文字コード」シリーズですが、 このたび、Java Advent Calendarの一環として復活させました! Java Advent Calendarって? 本エントリーはJava Advent Calendarの5日目です。 Java Advent Calendarについては、以下のサイトをご覧ください。 http://atnd.org/events/22434 前の4日目は @akirakoyasu さんの「SDKで身近になるAmazon Web Service」 http://www.akirakoyasu.net/2011/12/04/easily-use-aws-through-sdk/ S3、SimpleDB、SESの使い方をサンプルコードつきで紹介しています。 次の6日目は @shuji_w6e さんの「JUnit のセカイ」 http:/
JavaFX 2.0ではWebEngineといういわゆる組み込みブラウザが登場した。コンポーネントとしてはWebViewという入れ物があって、この2つを組み合わせて扱う。実際のコードの大半はWebEngineを使うことになるだろう。 組み込みブラウザ利用の基礎 WebViewとWebEngineの使い方はコードを見てもらえばわかりやすいか。 WebEngine we = new WebEngine(); WebView wv = new WebView(we); container.getChildren().add(wv); we.load("http://www.yahoo.co.jp"); WebEngineに対して設定しているのがわかるはず。 Javascriptの実行 we.executeScript("hoge();"); これでhogeという関数が呼ばれる。簡単。 このメソッ
まとめ 江口寿史氏敢えて名指しで花沢健吾氏と浅野いにお氏の背景を批判した理由を語る・その後のまとめ 江口寿史(@Eguchinn)が「アイアムアヒーロー」と「おやすみプンプン」の背景を漫画ではないと批判。http://togetter.com/li/220910 それについてJ-CASTニュースという○○○メディアが面白おかしく取り上げたためhttp://www.j-cast.com/2011/12/01115011.html 各ポータルサイトがトピックスでこれまた面白おかしく拡散した件について本人が真意を語ります。 その後の中心人物のやり取りを追加。 37204 pv 53 8 users 12
人が作ったHaskellのコードを読んでいると、記号の意味がわからなくて困ることが多々あったので纏めてみた。hrefでもGoogleでも検索できないしさ… Haskellの演算子で使える記号 !#$%&*+./<=>?@\^|-~ 及びUnicodeに含まれる記号(一覧が欲しい…けど√とか→とかもきっとそうだよね。) ただし「(),;[]`{}_:"'」は除く さらに、「:」で始まるのはデータコンストラクタで予約されているので演算子では使えない。 また、以下の記号列は予約されている 演算子 意味 .. リストの範囲指定。 : リストのcons。 :: 型指定 = 関数束縛。 \ ラムダ(無名関数)。 | パターンマッチのガード条件。data型enum定義。リスト内包表現。 <- リスト内包表現のジェネレータ。do記法での値束縛。 -> 関数の型定義。ラムダ(無名関数)定義。case式。 @
The Polaris Dawn crew is back on Earth after a historic mission
0001Softbankというオレオレ基地局に、SBアンドロイドが無差別に接続する話を試してみたら、意外とあっさりつながったのでエントリに。 コネクトフリーの件で、Wifi認証を調べてた。ちょっと昔聞いた話を思い出したので、 昔の話。 FONとか、公衆Wifi業者と同じssidにして、wifiあげとくと楽しいですよ。 やってみた。 最近は、Wifiスポット自動接続になってきたので、さらに香ばしいことになってるはず。 0001SoftbankのSSIDでWifiたててみた。 0001SoftBankで、SSIDを出してみる。 ソフトバンクのWifiSpotアプリをオンにした。 接続された。 ローカルIPで。認証済みねぇ。まぁそういものなんだろうけど。 いいのかね。 tcmpdump してみた。 アンドロイドのブラウザを開いた。そこそこパケット見えるなぁ。HTTPSは無理でもHTTP Cook
無宗教国家トップ50ランキングで、日本は第5位を獲得した模様です。宗教研究者のPitzerによって調査されたこの結果には、無宗教の中でも、「無宗教派と無神論派」によって構成されており、我が日本の場合には、「神様なんて信じない、ていうか神様って俺様?」的な無神論者の比率でいうとベトナムについで第二位なのだそうです。 これって日本の宗教が結構ごちゃごちゃだったりする政治的、歴史的背景にも起因してたりなんかして、552年(538年説あり)に仏教が公伝されてから、かねてからいた日本の神様と神仏習合されたり、かと思えば神仏分離令が出されてみたりと、何がなんだかわからなくなってもしょうがないんじゃないかと思いますが、ジンクスだけは頑なに守ってみたり、困ったときだけはちょっとした神にすがってみたり、みんなが信じるならじゃあ信じてみようかなと思ってみたりと、臨機応変に対応できる日本人の生き方っていうのは神
こんなページが公開されています。 このページでは、NEXUSのデバイスの工場出荷時のオリジナルのファームウェアをリストアに使用するために提供されているバイナリイメージのファイルが含まれています。 ダウンロードして中身を見てみると、こんなかんじに。 yakju-itl41d ├── bootloader-maguro-primekj10.img ├── flash-all.sh ├── image-yakju-itl41d.zip └── radio-maguro-i9250xxkk1.img 工場出荷時のイメージとインストーラなスクリプトが 含まれています。 fastboot flash bootloader bootloader-maguro-primekj10.img fastboot reboot-bootloader sleep 5 fastboot flash radio rad
本を適当に開いて読んでみるということをたまにする。 Real World Haskell(RWH)のデータ構造の章。 ghci> 3 * 2 + 4 10 ghci> prettyShow $ 3 * 2 + 4 "3 * 2 + 4" こんな感じのものが書いてあった訳だ。 僕には何が起こっているか全然分からなくて、一体どんな言語拡張使ってるんだこの野郎と思いつつその章をざっと見たけど何も説明見つからなかったりして混乱。 結論を言えば2,3,4はよく知っている数値リテラルで、(+)も(*)もよく知ったNumのメソッドだった。僕が思っていたより色々出来たというだけで。 僕が数値リテラル見たときだけ何故かCやPHPといったあちらの言語を想定してしまっていたことが原因だった。 加えてHaskellでデータ構造を作るには、値コンストラクタ(もしくはそれ相当の関数)が必要だと思っていたためだった。
これは Haskell Advent Calendar 2011 3日目の記事です。 Data.Enumerator はいろいろすごいらしいです。 どれぐらいすごいのかは 2010-08-24 Enumerator Package – Yet Another Iteratee Tutorial | Preferred Research 使ってみよう Enumerator - あどけない話 Enumeratorは終了条件の検査からの解放だ - あどけない話 iterateeとは何か、何が良いのか - www.kotha.netの裏 あたりが分かりやすい気もします。まあ全く理解できませんでしたが。 で、自分はこのライブラリで IO を使うときに例外処理をどう扱えばいいのかよくわからなくなったので、ここにその戦いの記録を残す次第であります。 「誰かこの辺分かりやすくまとめてくれたりとかしませんか
マンガ「よつばと!」の作者でマンガ家のあずまきよひこさんが、12月4日(日)のブログで、11月26日発売の11巻に登場した“ジュラルミンの手術”について説明しています。 ※以下の文中には、「よつばと!」11巻の作品内容に触れる情報が含まれています※ ▽ Azuma Kiyohiko ▽ よつばスタジオホームページ 「よつばと!」は、『月刊コミック電撃大王』(アスキー・メディアワークス刊)で連載されているマンガです。5歳の女の子「よつば」と周りの人たちとの日常を、1日1話のペースで描いています。 あずまさんはブログで、11巻に収録されている「よつばが大事にしているテディベアの“ジュラルミン”が犬にかまれて鳴かなくなる」というエピソードについて解説しています。実際にあずまさんのテディベアで試してみたところ、中の「グロウラー」が壊れたことから、マンガでもジュラルミンの声が出ない展開になったそうで
このエントリは Android Advent Calender2011 という企画の裏エントリの一つです。 (Advent Calenderってなんぞ?という方は こちら をどうぞ。) もうすぐクリスマスだね! 裏エントリだからみんなゆるくネタっぽいこと書くん...
19: 消防官(鹿児島県):2010/07/17(土) 19:09:53.06ID:hdyjeb5Q 模写ならそこそこ描けるのに 一から自分で描こうとすると途端にへたれ絵しか描けない・・ 何故だ! 29: 俳優(京都府):2010/07/17(土) 19:18:05.12ID:xyN7rqQ2 >>19 模写ばっかりして目の前のものを書き写す事しかしてないから 自分で描こうとすると途端にへたれ絵しか描けないようになるんだよ 17: 鉈(catv?):2010/07/17(土) 19:08:25.46ID:XvBsx4nh どこまで上手くなりたいかにによるな。 同じ向きの顔だけで十分ならそれでもいいんだろう。 21: 発明家(dion軍):2010/07/17(土) 19:10:55.84ID:zShpgBJF モチーフを線で捉えてたらいつまでも上手くならない 面と影とで構成しないと 63:
思い浮かんだGitのTipsを列挙してみました。 gitのコマンドをで補完する git-completion.bash を入れると、でコマンドの補完が効くようになります。 また、PS1の設定を行うと現在のブランチ名が常にbash上に表示されるようになります。 (Windowsの場合、msysgit は標準で入ってます) contrib/completion/git-completion.bash - GitHub インストール方法(引用) # To use these routines: # # 1) Copy this file to somewhere (e.g. ~/.git-completion.sh). # 2) Add the following line to your .bashrc/.zshrc: # source ~/.git-completion.sh # # 3)
2011/12/05 「量子もつれ」を目に見える大きさの物体で成功 Popular Scienceによれば、オックスフォード大学の研究チームが、「量子もつれ」という現象を目に見える大きさの物体で起こすことに初めて成功したとの事だ[nature]。室温の下、3ミリ角で1ミリの厚さのダイアモンド片を15センチ離して置いて、それぞれに100フェムト秒のレーザ光を当てて振動させた。すると両ダイヤ片は振動の変化がほぼそろって量子もつれが起きていることを確認した。Slashdot | Quantum Entanglement of Macroscopic Diamonds メールで送信BlogThis!Twitter で共有するFacebook で共有する 投稿者 zubora 投稿時間 07:12 ラベル: Physics, Science 0 コメント: コメントを投稿
■ちびまる子のたまちゃんのエロサイト見つけたwwwwww 1 以下、VIPがお送りします 投稿日:2011/12/05(月) 17:37:58.11 ID:V6N2HJBG0 世界は広いなあ・・・ ttp://www.yamabuki.sakura.ne.jp/~azumi/yakata/momo/momo_main.htm 10 以下、VIPがお送りします 投稿日:2011/12/05(月) 17:40:08.16 ID:sgyoAVCf0 思ったよりしっかりと狂ってた 12 以下、VIPがお送りします 投稿日:2011/12/05(月) 17:41:10.91 ID:NOeVXvat0 音楽流れるサイトとか未だにあったんだ・・・ 3 以下、VIPがお送りします 投稿日:2011/12/05(月) 17:39:00.21 ID:x3WoYYlX0 すげえな 11 以下、VIPがお
ということで、実は予想以上に気に入っているXperia Activeを紹介。 購入してから1ヶ月以上経ってしまっての今さらエントリーではあるが。 もともとは防水機能を生かした「お風呂専用端末」という位置づけで買った端末。 住んでいるところが東北の極寒地であるにも関わらず、週末に風呂が沸かない寮という鬼のような環境であるため、冬の間は毎週のように銭湯や温泉に出かけているのだが、いかんせん長風呂が苦手なので、わざわざ出かけても5分と湯船に入っていられない。 それだとあまりにも勿体ないので、長風呂できるように風呂専用端末が欲しかった。 (まったく端末を買う理由になってない気もするがw) で、防水ってだけなら他にもいくつか選択肢はあったのだけど、やっぱりXperiaシリーズならではのデザインの良さと、価格の安さが決め手になってコレを選択。 2011年仕様のXperiaには安心感もあったし。 (ちな
http://android.xamarin.com/Releases/Mono_for_Android_4/Release_4.0.0 いきなり4.0と銘打っていますが、当初Mono for Android 2.0と言われていたやつのマーケティング的な番号の変更にすぎないので、実態はこれまで1.9.xとして出していたものとそれほど変わりません。 …と言いたいところですが、実際には1.9.2から内部的には小さくない変更が加えられています。ここには1.9.0のリリース以来何も書いていなかったので、1.9.1-4.0.0の間に行われた変更について、一度まとめておこうと思います。 Android 4.0 (IceCreamSandwich) support MfA 1.9.2で、ICSに対応しました。Honeycombの時はタブレットを用意してHoneycombGalleryというサンプルを移植
# 1993/??/?? バーチャファイター / SEGA / Model1/SS/32X 当時の最先端技術を結集して生まれたSEGA Model1システムに搭載されたのは、固定機能のフラットシェーダのみであり、テクスチャマッピングは使用できなかった。 - 1994/11/?? バーチャファイター2 / SEGA / Model2/SS Model1の後継基板であるModel2ではバーチャファイター2が開発され、そのビジュアル的インパクトから、普段およそビデオゲームなどやらない人間まで巻き込み、スト2を越える格闘ゲーム史上最大規模のヒットを記録した。Model2には依然として固定機能のフラットシェーダしか搭載されていなかったが、「デカールではなく階調のみ」という特殊な仕様ながらテクスチャマッピングが使用可能となっており、品質の向上に大きく貢献した。 - 1994/12/?? 鉄拳 / ナム
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く