恋の呪文はスキトキメキトキスがさすがの猿飛のOPだと知って衝撃 魔女っ子めぐちゃんとかそういう系統のアニメのOPだと思ってたのに 追記 さすがの猿飛＝プロゴルファー猿と勘違いしてたわ・・・ ワイは猿や！に恋の呪文～はさすがに当時のセンスでもありえねーよな ぐぐってみたけどさすがの猿飛のOPなら別にショックではなかった
恋の呪文はスキトキメキトキスがさすがの猿飛のOPだと知って衝撃 魔女っ子..
恋の呪文はスキトキメキトキスがさすがの猿飛のOPだと知って衝撃 魔女っ子めぐちゃんとかそういう系統のアニメのOPだと思ってたのに 追記 さすがの猿飛＝プロゴルファー猿と勘違いしてたわ・・・ ワイは猿や！に恋の呪文～はさすがに当時のセンスでもありえねーよな ぐぐってみたけどさすがの猿飛のOPなら別にショックではなかった
米Microsoft、JavaScriptエンジン「ChakraCore」をオープンソース化すると発表 | OSDN Magazine
米Microsoftは12月5日、モダンなJavaScriptエンジン「Chakra」のコアコンポーネントを「ChakraCore」としてオープンソースにする計画を発表した。2016年1月にもGitHubのレポジトリに公開する予定という。 米国で開催されたイベント「JSConf US」で計画を発表した。ChakraはECMAScript2015（ES2015）の仕様を多数含み、信頼性、性能、拡張性を持つJavaScriptエンジン。2008年に開発を開始し、モダンなWebブラウザに必要な性能と柔軟性に主眼を置いたという。インタープリタをサポートする複数層のパイプライン、バックグラウンドで動作するJITコンパイラ、コンカレントとパーシャルに対応するマークアンドスイープのガベージコレクタなどで構成され、高速な起動と動作、優れたユーザー体験などを備えるという。 その後、Webブラウザからサーバー
プログラム利用時のすべてのユース・ケース を 完璧に網羅 する 検証テスト なんてありえない！ なら、「論理的」に「プログラムの正しさ・完璧さ」 を 証明する「定理証明支援系言語」か？ ～ その関数型言語 との関係 - Qiita
プログラム利用時のすべてのユース・ケース を 完璧に網羅 する 検証テスト なんてありえない！ なら、「論理的」に「プログラムの正しさ・完璧さ」 を 証明する「定理証明支援系言語」か？ ～ その関数型言語 との関係形式証明定理証明CoqAgda関数型言語 この記事は、「形式証明」や「定理証明」を行うプログラミング言語とその使い方について調査を始めた作業メモです 400年の難問、「ケプラー予想の証明」やっと100％終わる コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証
ソフトウェアの基礎
Symbols_J:概要 Preface_J:前書き 前書き 概要 実際の学習について 章間の依存関係 学習者に要求される知識的前提 Coqについて 学習に必要なもの 教材となるCoqファイルの入手方法 練習問題について 推奨書籍 教育関係者へ Basics_J: 関数プログラミングとプログラムの証明 列挙型 曜日の表し方 ブール型 関数の型 数値 簡約を用いた証明 introsタクティック 書き換え（Rewriting）による証明 Case分析 Caseへのネーミング 帰納法 形式的証明と非形式的証明 証明の中で行う証明 さらなる練習問題 Lists_J: 直積、リスト、オプション 数のペア 数のリスト リストを使ったバッグ リストに関する推論 お小言 リスト上の帰納法 SearchAbout リストについての練習問題 (1) リストについての練習問題 (2) オプション apply タ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
