第27回 Perlにおける静的解析（3） | gihyo.jp
（1）はこちら、（2）はこちらから。 静的解析を行うプログラムを書いてみる 静的解析を行うプログラムやツールは世の中にたくさんありますが、特定の機能を満足させるために自分で書きたくなることもあるでしょう。本節では、ソースコード内の変数名（簡単化のため、ローカル変数かつスカラ変数に限定します）がミススペリングしていた場合に警告を出す静的解析プログラムをCompiler::Lexerを使って書いていくことで、静的解析をするプログラムの書き方を俯瞰（ふかん）します。 本節で解析の対象とするソースコードは次に示すspell.plです。 nameは英語辞書に載っている正しい英単語なので警告を出さず、namaeは「なまえ」を単純にローマ字にしただけの言葉で英単語ではないので警告を出す、という挙動を実装するのがゴールです。 Compiler::Lexerでトークン列に分割する まず、ソースコードを解析
ソースコードを読むための技術
$Id: readingcode.html,v 1.13 2003/12/06 00:01:08 aamine Exp $ 2006-05-02 gonzui 追加。thanks: 冨山さん 2003-12-03 ltrace と sotrace を追加 2003-12-03 ツールのところに DDD を追加。thanks: 和田さん 2003-05-27 VCG, SXT などについて追加。thanks: 梅沢さん 2003-05-27 これもすっかり忘れていた strace, ktrace, truss, etags などについて追加 2002-08-30 すっかり忘れていた ctags を追加 2002-07-07 匿名希望さんからメールでいただいた情報を追加 (動的コールグラフ) 2002-06-13 日記経由でいただいた意見をもとに文章を追加。thanks: 柳川さん、まつもとさ
知らぬはエンジニアの恥。今さら聞けない【コンテナ/仮想化技術】11選 - paiza times
Photo by Sam MacCutchan どうも後藤です！ もう10年以上になるでしょうか･･･ とにかくなんでもかんでも仮想化すればよいというこの風潮。paizaでも仮想化技術は大活躍中。インフラは仮想化技術の上に構築されているし、もちろんコードの評価環境だってばりばりの仮想環境上です。仮想環境ばっちこーい！ いったいいつからこんな流れになったんでしょう？どこに基準を求めるかでだいぶかわりますけれども、執筆現在から考えると、こうした流れには35年くらいの歴史があります。使われる仮想化技術は時代とともにかわってきました。だいたいどの時代にも流行ってものがありました。 最近（2014年ごろ）の流行とえば、インフラの一番下にハイパーバイザを入れて、その上でDockerを動かして、管理にはChefやPuppetを使うといったものです。数年経てば状況は変わるでしょうけれども、とにかく楽をした
新鋭の言語: この5年を振り返る
最近の記事でEmerging Languages CampのオーガナイザであるAlex Payne氏がこの5年でプログラミング言語の世界がどのように変わったか、これからどのように変わっていくのかについて考えを披瀝している。InfoQは氏に話を聞いた。 氏は最近の言語の進化の物語とその未来を語る上で手助けになる3つの条件を挙げる。 ツールの重要性 "実装戦略"として仮想マシンを使う 他言語化 氏が言うように、Goの作者であるRob Pike氏が2010年に言語について振り返ったとき、氏はなぜ"30年以上の蓄積があるプログラミング言語理論の研究を無視しているように思われる"言語を開発したのか、質問された。もちろん、Goの保守的な特性は普及を妨げるものではないと氏は言う。一方で、Scalaは"当初からツーリングに苦労してきた"。その結果、多くのScala開発者は"なじみのJavaの世界"へ戻って
民主主義は本当は独裁よりもましなのか？ - 続・はてなポイント３万を使い切るまで死なない日記
あんまりはっきりとした結論が出ないエントリであることをあらかじめお断りしておく。 ↓のような記事を読んだ。 まあ、とくに内容についてはコメントすることはないのだが、民主主義について思っていることを書く。 この記事の中では民主主義は「ひとつの価値観が暴走することを防ぐための画期的な発明である」というようなことが書いてある。そしてそれは国家統治のためには優れていてもビジネスにおいては非効率であるということが書いてある。 民主主義について、こういう類の否定と肯定が入り混じった言説はよく見る。なかでも有名なものはチャーチルの演説の中での「実際のところ、民主主義は最悪の政治形態と言うことが出来る。これまでに試みられてきた民主主義以外のあらゆる政治形態を除けば」という一節だろう。 ぼくはこういうテーマを見ると、本当のところはどうなんだろうと、すぐに頭の中で民主主義を表す力学的な数理モデルを考えたくなる
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
