型チェックと型推論 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「ソフトウェアの意味論は何のため／誰のために必要か」において、意味論（モデル）は精神衛生上の理由で必要だ、みたいなことを書きました。そればっかり強調すると、また変に誤解されかねないので、技術的／実用的な観点からの意味論の必要性についても敷衍＜ふえん＞しておきます。 意味論と対＜つい＞になる言葉は構文論です。構文の議論をちゃんとやろうとすると、意味論が必要です。以下、Catyについて話しますが、Catyでは型システムの役割が大きいので、型システムの構文論／意味論を話題とします。 内容： 型チェックがなぜ必要か 型推論と静的な型チェック 型宣言を書く動機付け 型推論演繹系と意味論 実行時チェックを併用するわけ 型チェックがなぜ必要か Catyでは、到るところで型チェックを行います。「どうして型チェックをするのか」というと、まず第一の理由は、人間の間違い（ミス）とそれに起因するトラブルを少なくす
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
foldr と foldl の違い - 言語ゲーム
こないだの属性文法の記事では沢山 foldr が出てきます。foldr や foldl は関数型言語におけるループ構文です。私のようなにわか関数信者は嬉しがってつい再帰を使ってしまいますが、再帰のようなパターンを良しとしない本物の Haskell プログラマは fold を使います(多分)。ただ、foldr や foldl というネーミングは、文章が左から右へ流れると信じて疑わない欧米帝国主義の醜悪な悪習と言わないまでも、再帰についての重要な違いを軽視しているような印象を受けます。これらの関数は、本当は全然対称じゃないのです。というわけで調べてみます。 さて、足し算はどっちに結合しても良いので、1 + 2 + 3 + 4は次のように書けます。 foldr (+) 4 [1, 2, 3] -- 1 + (2 + (3 + 4)) == 10 foldl (+) 1 [2, 3, 4] --
「入門 GIT」が神本である件。 git 利用者だけでなくすべての開発者が読むべき本 - KAYAC engineers' blog
ども。自分のサイトを復旧させるのが面倒なため会社のブログに本のレビューまで乗せようという魂胆の村瀬です。 週末に「入門GIT」を読んだのですがこの本は git ユーザーはもちろんのことその他すべての開発者が必読の本だなぁと感じたので紹介しておきます。 この本です。 この本は現在の git の開発者でありメンテナーである濱野氏によって書かれた git の入門本です。 ただの入門本にあらず しかし入門本だから最初はよくあるようなチュートリアルのような記事からはじまるのだろうと思っていると最初から面食らいます。 最初に書かれているのは git がどのようにデータを記録し、どのように履歴をたどれるようになっているかというまさに git 自体の基本が書かれているのです。 僕個人は二年近く git を使用してきているため自分の知識の確認のような感じで読み進められましたが、初めての方はすこしむずかしいか
Amazonのぼったくり業者にはご注意！のgreasemonkey - Koonies/こりゃいいな！
Amazonの商品販売には２パターンあります。それは（１）Amazonが販売している場合と（２）違う業者が販売している場合。 Amazon販売は何の問題もないのですが、違う業者が売っている場合は定価より高い値段で売っていたり、送料が発生したりすることがあります。そんなときのためのグリースモンキースクリプトです。（FirefoxとGoogle Chromeで確認済み） インストールはこちらから。（ジャンプ後緑色の「Install」ボタンをクリック） http://userscripts.org/scripts/show/60630 なおgreasemonkeyをご存じない方は以下のサイトが参考になると思います。 ■Firefox Greasemonkey入門 〜よくわかるグリースモンキーの使い方 〜 | Google Mania - グーグルの便利な使い方 ■Google Chrome Gr
潰す暇がなくなったケータイ奴隷制度 - metafeed
新米と秋刀魚のわた焼き お刺身用の秋刀魚を買いました。1尾250円です 3枚におろして、秋刀魚のわたに酒、味醂、醤油で調味して1時間ほど漬け込み、グリルで焼きました 秋刀魚のわた焼き わたの、苦味が程よくマイルドに調味され、クセになる味わいです 艶やかな新米と一緒に 自家製お漬物 土…
中途半端な画力の絵師にありがちなこと ぶる速-VIP
中途半端な画力の絵師にありがちなこと 中途半端な画力の絵師にありがちなこと 1 名前：以下、名無しにかわりましてVIPがお送りします[]投稿日：2009/08/17(月) 21:31:36.09 ID:rZ1BDrDG0 空や海などの背景はやたらと上手い 2 名前：以下、名無しにかわりましてVIPがお送りします[]投稿日：2009/08/17(月) 21:33:40.29 ID:fvvS9fJV0 バストアップしか描かない 正面か左向きのアングルばっか描く 体がなんか変 手が変 3 名前：以下、名無しにかわりましてVIPがお送りします[]投稿日：2009/08/17(月) 21:34:52.76 ID:i4vFcK2g0 具体的に指摘は出来ないんだけど微妙な不自然さを感じる 5 名前：以下、名無しにかわりましてVIPがお送りします[]投稿日：2009/08/17(月) 21:
ソインスウブンカイカメラを作ってみた - まちみのな＠はてな
目の前に書かれた数字を素因数分解したいあなたに朗報です。 このアプリを実行すると、目の前の数字が素因数分解されるようになります。 ダウンロードはこちらから(ソースコードつき) v1.2 MTM04版 http://tinyurl.com/y9fzox9 v1.1 初回リリース版 http://tinyurl.com/ykmj7cj なお、実行するためには、 Windows XP 以降 (Windows 7 (x86,x64) で動作を確認) Microsoft Office 2003 または 2007 (Office 2007 で確認) Office 2010 の場合には、「方法 1: SharePoint Designer 2007 をインストールすることによって MODI をインストールする」 http://support.microsoft.com/kb/982760 の手順に従って
CellFinder : 今あなたの携帯は、どこの基地局経由でつながってますか？Androidアプリ185 | オクトバ
おはようございます。zourusです。 本日、日曜日の早朝にフジテレビでやっている「はやく起きた朝は・・・」は、週末の番組の中で屈指の面白さだと思います。 さて、今朝ご紹介するのは「外出が好き＋携帯が人２倍好き」な少々コアな皆様にお送りする、基地局探索アプリです！ 「今、自分の携帯がどこの基地局を経由して通信しているか？」が分かるという、好きな方にはたまらない！？はずのアプリです！ 2011年3月4日現在、このアプリはマーケットから削除されています 起動するとすぐにサーチ開始です！ そして、マップ上の星のポイントが現在、通信を行っている基地局です！ アプリとしての機能は以上ですが、意外な場所に基地局があることが分かって、何だかちょっと・・・楽しいかも。 メニューボタンから設定を変更できます！ 電車等に乗りながら使ってみると、面白いかもしれません！ 是非お試しください！
2009-10-26
東京新聞 10/25（日）24面「こちら特報部」 http://www.tokyo-np.co.jp/article/tokuho/list/CK2009102502000057.html 【特報】 『児童ポルノ所持罪』考 少女性虐待なくせぬ 2009年10月25日 先の通常国会で廃案になった「児童買春・ポルノ禁止法」改正案。子どもの裸や性的虐待画像がインターネットや専門店で流通するのに歯止めをかけようと、当時の与野党が改正案を提出したが、いずれも新たに所持や取得行為の禁止を盛り込んでいた。来年の通常国会に再提出されるとみられるが、同法に「単純所持罪」を加えることは、果たして妥当なのか。あらためて考えた。 （岩岡千景） 東京新聞をコンビニで購入して記事を読んだ。以下内容一部抜粋。 〔略〕国会審議でこの問題を指摘した民主党の枝野幸男元政調会長は、同党案を「自民・公明両党にズルズル規制強化され
Javaでデバッガがブレークポイントで止まらない - Yamashiro0217の日記
「Javaでデバッガがブレークポイントで止まらない」現象に僕の周りでハマってる人が割といました。まぁ、Eclipse以外でもそうだと思うのですが、とりあえずEclipse環境で。 で、twitterなどで教えてもらったのですが、 sun の jdk の 1.6.0_14 〜 15 で デバッグの問題 Java ™ Virtual Machine Tool Interface (JVM TI) のブレークポイントは、並列スカベンジガベージコレクタ (-XX:+UseParallelGC) または並列圧縮ガベージコレクタ (-XX:+UseParallelOldGC) が使用されている場合のみ信頼できます。 というリリースノートが。 http://java.sun.com/javase/ja/6/webnotes/6u15.html というわけで、デバッガ起動時にこのオプションを付けてあげれば
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Engadget | Technology News & Reviews