納涼！ほんとにあった怖いコードの話 - shobuno's blog
納涼！ほんとにあった怖いコード（by CodeIQ×はてな） システム開発の仕事を始めて、はや二十年。。。 ごく普通の退屈なおじさんエンジニアですが、 長年やっていると自然とこの手のお話はたまっていくものの様で。。。 今宵はいくつかご紹介しましょう。。。 ■念のためロジック 今からおよそ20年程前。私が駆け出しだった頃のお話です。 当時のシステム開発といえば、大型のコンピュータで、COBOL(コボル)という 言語を使うものが主流でした。（多分 (^_^;） COBOLのプログラムの特徴は、上から下へ長々と処理手続きを順番に書く。。。 サブルーチンという機能は有り、一部は使っていましたが、 基本的には上から下へ、長々と処理を書くというやりかたでした。 ある意味読みやすい、ある意味非効率な書き方でした。 １つのプログラムで、1000行2000行は当たり前、酷いものになると1万行以上 という、他
Web コンテンツ内にネイティブ iOS アプリを埋め込めるサービス『app.io』の使い方 - その後のその後
app.io は、『ブラウザ内でネイティブ iOS アプリを動かせるようにする』サービスです。 イメージとしてはiOSシミュレータをそのままWebコンテンツに埋め込める と考えるとわかりやすいかもしれません。タップ等のインタラクションが効いて、もちろん通信もします。アプリのランディングページや、ブログの紹介記事に埋め込んだりすると良さそうです。 で、「導入にはさぞ複雑な手順が。。」と思いきや、実際にアプリを動作させるまでの手順はめちゃくちゃ簡単です。 ファイルを1つアップするだけ。 以下で具体的に説明します。 導入手順 1. アプリをビルド いつもの普通のビルドです。Xcode でターゲットとして 「シミュレータ」を選択 し、ビルドします。 2. .appファイルをアップロード "Upload Your App" から、 下記パスにある .app ファイルを zip で固めて アップロード
青空文庫の富田倫生さん 逝去: ポシブル堂書店からのお知らせ
インターネット図書館「青空文庫」の創設者であり、呼びかけ人である富田倫生（とみたみちお）さんが、本日（１６日）の午後１２時８分に亡くなられました。 富田さんは、パソコン関係の書籍や宇宙開発の書籍などの著述業のほか、電子書籍の可能性にいち早く気づかれ、インターネット図書館「青空文庫」を他の呼びかけ人の方々と共に創設運営してきました。著作権延長問題でも反対の立場を明確にして闘ってきた闘士でもあります。そして長年に亘って病とも闘ってこられました。 富田さんは、昨年の電子書籍エキスポの会場で何時にも増して青空文庫の歴史と存在意義、そして著作権問題について熱く訴えて居られました。とても闘病中とは思えない何時もの熱気を感じて、何だか安堵したものです。 それが突然の訃報。始まりは何時も突然……と申しますが、本当に突然過ぎです。 「エキスパンドブックの二十歳のお祝いをやろう」と電子書籍エキスポの会場で話し
地震大国・日本では過去に何度の大地震が起きたか？地震の歴史まとめ
日本は地震大国です。 2011年3月11日の東日本大震災から、今日でまだ13年。 『地震大国だってことぐらい知ってるわ』と、思われるかもしれませんが、では具体的にＭ6.1以上の大地震が、有史以来どんな頻度で起きてきたか？と問われたら、即答できる方は少ないでしょう。 もちろん私も知りませんでした。 なので、今回、ちょいと調べてみたら、驚愕の結果に……。 本稿では日本の地震の歴史をご報告したいと思います。 最初の記録は『日本書紀』の416年日本で最初の地震が記録されたのは『日本書紀』であります。 今回参考にさせていただいた『理科年表』（国立天文台編）では、その地震を「416年」としておりますが、この時代の記述は大変曖昧で、どのような規模でどんな被害だったのかという内容を含めて、真実のところは不明です。 ただ、わざわざ書かれるということは、なかなか大きな揺れだったのでしょう。 では、M6.1以上
マイブラのケヴィン・シールズ、もっと作品を作っておくべきだったと後悔してると語る－rockinon.com｜https://rockinon.com/news/detail/87036
FUJI ROCK FESTIVAL '13などのフェスティヴァル出演を経て、8月16日からアメリカ・ツアーを敢行するマイ・ブラッディ・ヴァレンタインだが、ケヴィン・シールズはもっと音楽作品を作っておくべきだったと後悔していると語っている。 マイ・ブラッディ・ヴァレンタインは今年に入ってから『ラヴレス』以来22年ぶりとなる新作『mbv』をリリースしたが、ケヴィンは新作を仕上げるまでこれだけ時間がかかってしまったこと自体は気にしていないが、これまでにもっと多くの作品を作っていないことを残念に思うとピッチフォークに対して次のように語っている。 「（時間がかかったことについては）特に後悔していないけど、後悔しているのはこの時点までにもっとレコードを制作していないことなんだ。年を取ってくるといろいろやれたことがたくさんあったことに気がつくものなんだよ。当時はなんだかあんまり乗り気になれなかったこと
DMM inside
日本アニメ初の快挙！海外アニメ賞を受賞した『スキップとローファー』海外ライセンス部長&プロデューサーが語る、奮闘の舞台裏
Certified Programming with Dependent Types
This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. I'm following an unusual philosophy in this book, so it may be of interest even to long-time Coq users. At the same time, I hope that it provides an easier introduction for newcomers, since s
【レポート】キャット・パワーのインタビューが苗場で実現！！ 気になるインスタグラムについてのエピソードも。 | Qetic - 時代に口髭を生やすウェブマガジン “けてぃっく”
【レポート】キャット・パワーのインタビューが苗場で実現！！ 気になるインスタグラムについてのエピソードも。 CAT POWER（キャット・パワー） DAY3： 7.28日（日）＠ホワイト・ステージ 20:35～ レポート目次： 1. Interview 2. Live Report 3. Photo Gallery Interview with CAT POWER （キャット・パワー） キヨシロー（忌野清志郎）が生きてれば良かったな ――＜フジロックフェスティバル（以下、フジロック）＞であなたのライヴを観ることはひとつの夢でもあったので、今回は本当に本当に嬉しいです。日本でのフェス出演は初めてになりますが、実際に訪れてみて＜フジロック＞はいかがですか？ キヨシロー（忌野清志郎）が生きてれば良かったなと思っているの…。でも、ここでプレイができることがすごく嬉しいわ。世界でも有数のフェ
TABLOG:全国の一生賃貸派を置き去りにして華麗なドリブルから中古マンション購入 - livedoor Blog（ブログ）
2013年08月17日 全国の一生賃貸派を置き去りにして華麗なドリブルから中古マンション購入 ご報告が遅れました。ずっと「持ち家は不要の一生ストロング賃貸派」だった私ですが、実は先月末に、湾岸某タワマンを中古で買いました。 君子豹変す、という奴です。モテないブサイク同士の彼氏作らない同盟ではございませんので、全国の賃貸派かつ本ブログの読者の皆様に置かれましては、私の日和見を破顔一笑許してくださるものと信じております。 全国の賃貸派を置き去りにしてマンション購入した理由は 買った理由 （1） 私の場合、いつも物件をほぼピンポイントに絞っての家探しなので、賃貸だけでなく中古分譲も視野に入れたほうが、選択肢が広がるから。今回、ちょうど対象物件内から手頃な間取り、方角のものが出た。 （2） アベノミクスの効果が出たら出たでデフレからインフレへ。出ないと出ないで、国家債務の問題が噴出して、いずれは、
2010年度後期・数理解析・計算機数学 III
[ ホーム | 講義 ] 2010年度後期・数理解析・計算機数学 III (同 概論III) レポート課題 プログラミング課題 提出期限 2010年12月 27日(月) レポート課題 提出期限 2010年2月7日(月) (M2は1月28日(金)) 講義予定 シラバス 第1回 10月6日 (10人) Objective Camlプログラミングの基礎: 定義と型 講義メモ 資料 EmacsでOCamlを使う (修正版) 第2回 10月13日 (7人) 多相型と汎関数 第3回 10月20日 (6人) 関数の証明と再帰関数 第4回 10月27日 (3人) 関数グラフの描画 関数描画ライブラリー plot.ml plot.mli リストと構造的帰納法 第5回 11月10日 (3人) 再帰的アルゴリズム1：リストと整列 講義メモ 第6回 11月17日 (3人) 再帰的アルゴリズム2：木構造と数式処理
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Coq'Art読書会 #0 #readcoqart まとめ
Ios用Traktor : Traktor DJ Cable | Traktor
GitHub - sfja/sfja: SoftwareFoundations(Ja)
ゲストハウス英語CouchSurfing
airbnb
The Flying Lizards - What's New Pussycat (1984)