悟りやヒラメキがほんとに大キライだ - 檜山正幸のキマイラ飼育記 (はてなBlog)
ソフトウェアの設計は僕の仕事の一部なんだけど、モデリングとか高水準の設計手法とかに興味がない。いや、正確に言うと、そのテの手法とか流儀とかには、僕を苛立たせるものがあって、精神衛生のために避けている傾向があるってことです。 参照の必要があって、モデリングや設計手法の情報をWebや書籍で調べると、たいていはイライラしてきて最後まで読みきれず、腹を立てて放り投げてしまいますね。 なんでか？と言うと、僕が嫌いな「悟り」や「ヒラメキ」の要素が含まれることがあるからです。「最初は意味不明でも、我慢しているとある日わかってしまう」ような体験 -- それを想定しているような説明がほんとに嫌いなんです。「ある日わかってしまう」経験は僕にもあります。でも、それは僕の能力が足りないからです。つまり、本来なら分かるはずのものが「理解力の不足ゆえに分かってなかった」という事実があるだけ、「遅れて理解した」という事
Wiki処理系を作る前に知るべきこと／考えるべきこと - 檜山正幸のキマイラ飼育記 (はてなBlog)
Wiki構文（Wiki記法のルール）は山にようにイッパイあります。 「新たにもう1つ構文を付け加えても別にいいだろう」と考えるか、「これ以上新しい構文を増やしてはいけない」と考えるかは人によるでしょう。僕は、「集約・統合してWiki構文を減らすべきだ」と考えています。それで、標準的なWiki構文としてWikiCreole 1.0を採用し、KuwataさんがCreoleパーザーを実装しています。 ところが、WikiCreoleの構文記述が曖昧過ぎてサッパリわからんのです。Kuwataさんもイライラしている様子。このような状況はWikiCreoleに限りません。たいていのWiki構文の記述はイイカゲンです -- いやっ、仕様書があるだけでマシなのです。イイカゲンな仕様に適合した（conformantな）処理系を作れと言われてもそりゃ困りますわな。 WikiCreole仕様の曖昧さは以前にも話題
BNF、EBNF、ABNF、まー正規表現だな - 檜山正幸のキマイラ飼育記
BNFとか正規表現の話を。 ミニマムなBNFと正規表現 BNF（バッカス／ナウア記法）は、プログラミング言語の構文記述によく使われるメタ構文です。もともとは、「?」（省略可能）や「*」（任意回の繰り返し）のような記号は使わなかったようです。現在の正規表現で標準的に使われる「?」「*」「+」は、なくても次のように定義可能なのです。（以下で、EMPTYはそこに何もないことです。ほんとに何も無いと分かりにくいので目印にEMPTYを使います。） // X は A? X ::= EMPTY | A // Y は A* Y ::= EMPTY | A Y // Z は A+ Z ::= A | A Z 「|」があれば「?」「*」「+」を定義できますが、その代わりに再帰的な定義になります。 「::=」の左に同じ記号が複数回登場するのを許すと、「|」さえも不要になります。 // X は A? X ::=
科学ライターのお金の話２ - 松永和紀blog
北村雄一さんの話だけ書いて自分のことを書かないのは、なんだか卑怯な気がする。それに、「国家官僚がサイエンスライターになればいい」で思い出したことがあったので、ちょっと書いてみる。 私の収入が新聞記者時代の年収を初めて超えたのは、フリーライターになって９年目の昨年だ。ということは、同期で新聞記者になっている人たち（多くがデスクになっている）と現時点で比較すると、やっぱり収入は大幅に少ない。 念のため言っておきますが、私は安給料で有名な毎日新聞の出身。朝日新聞の記者と比べたら、うーん、惨めすぎる。 でも、北村さんよりは楽だ。得意分野が「食」なので、原稿や講演依頼が多い。世の中は「食の安全」バブルだったので、ライターも少し恩恵にあずかれた。ちなみに、今年の年収はおそらく昨年よりも下がる。食の安全バブルもはじけたようだ。 で、私も「国家官僚がサイエンスライターになって科学コミュニケーションもやれば
自然科学と呪術のイチバン大切な違い - 地下生活者の手遊び
Ａ）僕たちはありもしないものを見る 【呪術は全面的な因果性をその公準とする】ネタの続きというか補足というか。 僕たちはランダムなパターンの中に何らかの意味を見出すような心性を生まれつき持っているようですにゃ。インチキやプリントミスでない心霊写真というのは、だいたいランダムなパターンに顔を発見してしまうものですよにゃ。【後から】意味を見出すということにゃんね。 心霊写真のほかに、典型的なのが例えばこれ 第2次世界大戦で空襲を受けたときのロンドン市民の反応など歴史事例にも、この傾向は見られる。戦後の統計解析では空襲は都市全体にランダムに行われたことが明確に示されているが、人々は都市の特定の場所が狙われ、別の場所は狙われていないと確信していた。狙われていない場所に住む人々は、ナチのシンパだと疑われ、生活や安全を脅かされた。そして、狙われていると思われる地区から人々は、実際に系統的空襲ではないのに
「計算科学／ソフトウェア工学」 インデックス
更新状況などは、こちら （Hatena::Diary 「檜山正幸のキマイラ飼育記」）でご確認ください。 「キマイラ飼育記」のRSSは http://d.hatena.ne.jp/m-hiyama/rss から取得 できます。 このインデックスの並び順は、アップロードされた時間の順です。新しい記 事は最後に追加されます。 ソフトウェア工学について思うこと （他サイト） ETBダイアグラム Janus（ヤヌス）の紹介 -- stdin/stdoutからの入門 双面神Janus 高次元のパイピング パイプ＆フィルターの思い出 メソッド呼び出し一元論 Janus（ヤヌス）の紹介 2 -- フィルターからコンポネントへ Janusについて雑多なこと Janusのなかの計算系 動的発展 Janusパイプラインの例 刺激反応系 遷移系と遷移翻訳系 アクセッサについて その2 （他サイト） 「形式的」とは
公文書を読む - 松浦晋也のL/D
宇宙開発とビジネスと民主主義(moderntimes) 宇宙開発と社会との関係を分析。 松浦晋也と鹿野 司の“読書ノート”(裳華房) 裳華房メールマガジンでの書評連載。 日経クロステック著者検索 松浦晋也 日経BPの媒体に書いた2003年以降に書いた技術的記事が読めます。全部ではありません。一部は同社のウェブ媒体リニューアルで消えたままになっています。 日経ビジネス電子版・著者ページ 2015年以降に日経ビジネス電子版に書いた記事は、ここから読むことができます。 介護生活敗戦記 2017年に連載した、認知症を発症した母80歳を自宅介護した記録です。現在連載は、NPO法人「となりのかいご」代表の川内潤さんが受け継いでいます。ここから著書「母さん、ごめん。」が生まれました。 松浦晋也の「モビリティビジョン」 2008年から2011年にかけて「Wireless Wire」で行った乗り物に関する連
「形式言語理論」 インデックス
更新状況などは、こちら （Hatena::Diary 「檜山正幸のキマイラ飼育記」）でご確認ください。 「キマイラ飼育記」のRSSは http://d.hatena.ne.jp/m-hiyama/rss から取得 できます。 このインデックスの並び順は、アップロードされた時間の順です。新しい記 事は最後に追加されます。 形式言語理論への疑問など 再帰代入系 1 再帰代入系 2 「形式的」とは何だろう 順序言語 属性のための正規表現 「正規（regular）」とは何なんだ 「正規（regular）」とは何なんだ 2 正規構造 「正規（regular）」とは何なんだ 3 補足、実例など Kleene代数とその周辺 各種正規表現の（仮）記法
公理主義，形式主義，証明論，構造主義
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。
さらに分かっておきたいトランジスタの種類 − ＠IT MONOist
組み込みソフトウェア／ハードウェア開発における技術力の向上、改善・最適化などを幅広く支援する“組み込み開発エキスパート”のための情報フォーラム
デュアルプログラミングとエクソシストゲーム - 檜山正幸のキマイラ飼育記 (はてなBlog)
ここ何年か考えているテーマのひとつが「カジュアルなフォーマルメソッド（語義矛盾は承知）」なんですよ。一連の{テスト(Test), 仕様(Specification), 振る舞い(Behaviour/Behavior)}駆動開発なんて動きは、カジュアルなフォーマルメソッドなんだと僕は捉えているわけですが、もう一歩踏み込んで欲しい感じ、隔靴掻痒の不満もあります。 そこでメイヤーに戻って「契約駆動」とか、あるいは「検証駆動」なんて言葉も使ってみたけど、ナントカ駆動には食傷気味。"Offencive Programming"は、「攻撃的プログラミング」と訳されると真意がまったく伝わらないし、、、 紆余曲折の末、「デュアルプログラミング」って言葉を使うことに（暫定的だけど）決めました。そしてエクソシストゲームは、デュアルプログラミングを説明するために案出した“極端化した比喩”です。 内容： 設計（仕
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Lambda Calculator
正規表現に見切りをつけるとき
Logical foundations and formal verification
プログラム仕様記述論