フローチャートをめぐる迷信と妄言と愚昧 - 檜山正幸のキマイラ飼育記 (はてなBlog)
2011年12月20日の記事で： [フローチャートについて書くのは] 僕にとっては定期ポストみたいなものです。年に一,二度はこのことを言っておきたい、みたいな。 と書きました。それから半年たってないのですが、なんかまたフローチャート・ネタをやりたくなりましたね。 そう思い立ったのは； 「フローチャートを復権させよう -- 2020年代のプログラミングへ」のブックマークに、羽生章洋(id:habuakihiro)さんが次のコメントを残しておりまして、 昔フローチャートについて講演したりポジティブなことを書いたりしたら偉い叩かれたなあ。似たケースにJavaScriptの記事書いたときも叩かれてその後gmail+ajaxブームが来たら一転したり。みんな原理原則より流行が好き。 いまさらながら当時の情報を探して読んでみたのですよ。2006年夏、羽生さんの講演について大森敏行記者が書いた記事が残って
文字列データ圧縮ことはじめ | SlideShare
2. アジェンダ l 圧縮の基礎 l なぜ圧縮できるのか l モデル化 l 符号 l 基本的なデータ圧縮 l 連⻑⾧長圧縮 l RePair l ⽂文法データ圧縮 l LZ77, LZ78 l Burrows Wheeler変換 l 最近のデータ圧縮 2 3. データ圧縮と私の関係 1992 データ圧縮 小5〜 nifty serve, DO++ 今の興味分野の 2004 起源はデータ圧縮 （統計的）⾃自然⾔言語処理理 大3〜 未踏 & 辻井研 M1〜 未踏 & OSS 圧縮全⽂文索索引 定兼先生 機械学習/データマイニング 簡潔データ構造 M1〜 OSS, T-Primal OSS バイオインフォマティクス 2011〜 Jubatus 大学4年〜 バイオベンチャー 2011〜 次世代シーケンサ
sicpstudygroup @ ウィキ - iwk
現在使っている処理系 Dr.Scheme 練習問題 １章の練習問題 ２章の練習問題（前半） ２章の練習問題（後半） ３章の練習問題（前半） ３章の練習問題（後半） ４章の練習問題 iwkの.emacs MEMO 3.2 The Environment Model of Evaluation 3.5.3 Exploiting the Stream Paradigm 第五世代コンピュータの資産を掘り起こす 第五世代コンピュータプロジェクトを読み解く Schemeについて 抽象データ型（ADT）とオブジェクト指向プログラミング（手続きによるデータ抽象（PDA）） モンタギュー意味論入門 Constructive Mechanics エーコと百科辞典 型理論 FSharp 微分幾何学再入門 本棚 フレーゲ哲学の最新像文脈原理に関する一冊 読み取れた結論としては、”Peter Aczelの形式系FS
Practical Foundations for Programming Languages
Practical Foundations for Programming Languages Robert Harper Carnegie Mellon University Spring, 2011 [Version 1.8 of 07.22.2011.] Copyright c 2010 by Robert Harper. All Rights Reserved. The electronic version of this work is licensed under the Cre- ative Commons Attribution-Noncommercial-No Derivative Works 3.0 United States License. To view a copy of this license, visit http://creativecommons.o
Tetsuya Hattori; moved
Tetsuya HATTORI 引っ越しました．クリックしてください． ブックマークとリンクの変更をお願いします．
豪研究所、カーネルの安全性を数学的に検証する手法を開発
オーストラリアの民間研究機関Information and Communications Technology Centre of Excellence（NICTA）の研究者らは現地時間8月12日、ミッションクリティカルなシステム向けの中核ソフトウェアが安全であることを検証する方法を発表した。 研究者らによると、この方法により、飛行機や自動車におけるシステムの安全性とセキュリティを管理するソフトウェアが、エラーを含む大型クラスを持たないことを数学的に検証できるという。 NICTAは、汎用OSカーネルに対する、マシンチェックによる初のフォーマル検証が完了したと発表した。このカーネルは、「Secure Embedded L4」（seL4）マイクロカーネルと呼ばれる。 ケンブリッジ大学のコンピュータ研究所で演算論理学の教授を務めるLawrence Paulson氏は、英国時間8月13日にZDNe
A Very Brief Introduction to the Pi-Calculus (in Japanese)
π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |
Visual Turing Machine
Slash the time it takes to manage and optimize your Google, Microsoft Advertising or Facebook Ads campaigns to just minutes a day. Adzooma's AI and machine learning based PPC platform offers stress free campaign management, state of the art 24/7 optimization and advanced automation, all in a simple to use interface. Scan for 50+ improvement 'opportunities', many of which can be actioned with a sin
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
自動定理証明の紹介 - ヒビルテ(2011-09-25)
John Harrison: Slides from recent talks
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
Technical Reports - LIACS - Leiden Institute of Advanced Computer Science