退官行事
以下の二つのスライドを使って講演しました スライド pdf file スライド pdf file 音声 wma file プログラム セッション1 (10:00-11:00) 萩谷昌己 (東京大学)、 「RNAiの抽象化」 森下真一 (東京大学)、 「DNA高次構造の推定とパーソナルゲノム周辺の未解決問題」 セッション2 (11:15-12:15) 龍田真 (国立情報学研究所)、 「TLCA未解決問題20番: 遺伝的置換子の型」 亀山幸義 (筑波大学)、 「リフレクションからステージ化計算へ」 セッション3 (13:45-15:15) 高田広章 (名古屋大学)、「ソフトウェアの安全性について〜組込みシステムと機能安全〜」 竹内泉 (産業技術総合研究所)、 「数学と変数」 櫻田英樹 (NTTコミュニケーション科学基礎研究所)、「数理的技法による情報セキュリティ」 特別セッション (1
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
合流性 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2023年8月） 合流性（ごうりゅうせい、英: confluence）は項書き換えシステムなどの特性で、項を複数の方法で書き換え可能な場合に、その複数の方法で書き換えた結果は適切に書き換えてやれば合流するという性質のことである。合流性はチャーチ・ロッサー性と呼ばれる特性と等価である。合流性を持つシステムは書き換え規則の適用順序によらない一貫性を持ち、遅延評価、並行評価、部分評価などの柔軟な評価方法が可能になる。 合流性の例[編集] 一般的な算術の規則は項書き換え系と見なすことができる。次のような式があるとする。 (11 + 9) × (2 + 4). この式を書き換える方法は2種類ある。最初の括弧の中を単純化するか、2番目の括弧の中
再帰理論 - Wikipedia
この記事は、全部または一部が他の記事や節と重複しています。 具体的には計算可能性理論との重複です。記事のノートページで議論し、 重複箇所を重複先記事へのリンクと要約文にする（ウィキペディアの要約スタイル参照）か 重複記事同士を統合する（ページの分割と統合参照）か 重複部分を削除して残りを新たな記事としてください。 （2023年12月） 再帰理論（さいきりろん、英：Recursion theory）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。 発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。これらの領域においては、再帰理論は証明論や エフェクティブ記述集合論(en)とも密接に関係する。 再帰理論の根本的疑問は「自然数から自然数への関数が計算可能であるとはどういう意味か?」と、「計算不能関数は、その計算不能性のレベル
フローチャートをめぐる迷信と妄言と愚昧 - 檜山正幸のキマイラ飼育記 (はてなBlog)
2011年12月20日の記事で： [フローチャートについて書くのは] 僕にとっては定期ポストみたいなものです。年に一,二度はこのことを言っておきたい、みたいな。 と書きました。それから半年たってないのですが、なんかまたフローチャート・ネタをやりたくなりましたね。 そう思い立ったのは； 「フローチャートを復権させよう -- 2020年代のプログラミングへ」のブックマークに、羽生章洋(id:habuakihiro)さんが次のコメントを残しておりまして、 昔フローチャートについて講演したりポジティブなことを書いたりしたら偉い叩かれたなあ。似たケースにJavaScriptの記事書いたときも叩かれてその後gmail+ajaxブームが来たら一転したり。みんな原理原則より流行が好き。 いまさらながら当時の情報を探して読んでみたのですよ。2006年夏、羽生さんの講演について大森敏行記者が書いた記事が残って
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
LEGOで作成されたチューリング・マシン（動画）
Amazon.co.jp: チューリングを読む コンピュータサイエンスの金字塔を楽しもう: チャールズ・ペゾルド (著), 井田哲雄 (翻訳), 鈴木大郎 (翻訳), 奥居哲 (翻訳), 浜名誠 (翻訳), 山田俊行 (翻訳): 本
CSreading - Front Page
Amazon.co.jp： 本: コンピュータ科学者がめったに語らないこと
コンピュータ・サイエンスの天才