首相官邸「聞いてなかったことにしよう」ホラー：阿部重夫主筆ブログ：FACTA online
阿部重夫主筆ブログ「最後から2番目の真実」 2013年3月 2日 首相官邸「聞いてなかったことにしよう」ホラー ３月６日、つまり来週の水曜日にホラーが起きる。 この日、東京高裁でいわゆる「一票の格差」訴訟の判決がある。またか、と思うなかれ。昨年暮れに安倍自民党が圧勝し、野田民主党がボロ負けした総選挙を対象に、合憲かどうかを問う裁判が全国高裁・支部で１４訴訟が提起されていて、第一弾の判決が言い渡されるのだ。審理迅速化の原則１００日ルールにより、３月２７日までに次々判決が下される。 さて、思い出してほしい。野田前首相は衆院小選挙区の「０増５減」を実行する法案を速やかに成立させることを条件に、自民・公明党と「３党合意」して解散に応じたのだ。つまり、最高裁大法廷で昨年、前総選挙を「違憲状態」とする判決が出たにもかかわらず、「０増５減」を“予約”する形で、旧区割りのまま総選挙を実施した。 ところが、
動的型付き言語と静的型付き言語 - Cube Lilac
ここ数日、変数に型がないということの利点について考える - PerlならサンプルコードPerl入門 を発端として静的型付き言語と動的型付き言語の話題が盛んになっています。個人的にも、このトピックについていろいろググってみたので、考えの整理的な意味も含めて何か書いてみます*1。尚、この記事は元記事に対してどうこうと言った事は特に意図していません。 前提として、私がある程度「使える」と言うプログラミング言語は C++、C#、Ruby となります（C++ は この辺、C# は この辺）。Ruby に関しては趣味で触っているだけなので（プロジェクトっぽいものとしては、SoGap のバックエンドを書いたくらい）、知識・立ち位置としては静的型付き言語寄りと言う事になります。関数型言語は Web 上で盛り上がっているトピックを追う位なので、ほとんど分かりません。 動的型付き言語のメリットとデメリット こ
僕がRubyをやめたわけ - ひがやすを blog
私は気が付いてしまいました。Ruby の動的型付けは多くのエラーを引きおこすことに。そして、安心してデプロイするためには 95% ものテストカバレッジを達成しなければいけないことに。95% のテストカバレッジを得ることの代償として、私の書いたコードは(テストコードも含めて) Java で書いたものと同等のサイズにまでふくれあがってしまいました。その上、Rails では動的なコードの変更が可能なため、開発・テスト・デプロイ中にトラブルが続出するようになりました。高いテストカバレッジを確保しているにも関わらずです。これらの問題にくわえて、MRI(Matz Ruby Implementation: まつもとゆきひろ氏による Rubyの実装)は速度が遅く、言語仕様も安定していません。それなのに開発コミュニティはそのことに見向きもしません。 liftを開発した人へのインタビューなんだけど、ちょっとひ
言語機能としての型、概念としての型 - プログラマーの脳みそ
某エントリが型について再考するきっかけになったのは事実だが、個々人の思想の成否を問う気がないのでとくにリンクはしない。ここでは型とは何かという点について僕なりの思想を記しておきたい。 データ型を区別しない世界 ごくシンプルなチューリングマシンを考えよう。 チューリングの仮想機械は、 無限に長いテープ その中に格納された情報を読み書きするヘッド 機械の内部状態を記憶するメモリ で構成され、内部状態とヘッドから読み出した情報の組み合わせに応じて、次の動作を実行する。 ヘッド位置のテープに情報を書き込む 機械の内部状態を変える ヘッドを右か左に一つ移動する 上の動作を、機械は内部状態が停止状態になるまで反復して実行し続ける。 チューリングマシン この原始的な世界において「型」はない。メモリは抽象的で全てのメモリは同等に扱われ区別する必要はない。 また、チューリングマシンに程近い原始的なプログラム
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
