Haskell/カリー=ハワード同型 - Wikibooks
カリー=ハワード同型(Curry-Howard isomorphism)は数学の一見無関係に思えるふたつの領域、型理論と構造論理を結びつける実に驚くべき関係である。 導入[編集] これよりカリー=ハワード同型は単に C-H と表記する。C-H が示しているのは、定理の本質を反映するような型を構築し、それからその型を持つ値を見つけさえすれば、どんな数学的定理をも証明することができる、ということだ。これは最初は極めて不思議に思える。型と定理にどんな関係があるというのだろうか？しかしながら、以下に述べるように、このふたつは非常に近しい関係にあるのである。はじめる前に簡単に注意しておくが、導入の章では error や undefinedのような 表示的意味論 が ⊥ である式の存在は無視する。これらはとても重要な役割を果たすのだが、これらについては後ほど別に考えることにする。また、unsafeCo
FrontPage - DarwinPortsWiki-JP
メインページ 提供: MacPorts-JP 移動: 案内, 検索 「http://macports-jp.sourceforge.jp/wiki/index.php?title=%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%9A%E3%83%BC%E3%82%B8&oldid=447」から取得 個人用ツール ログインまたはアカウント作成 名前空間 ページ 議論 変種 表示 閲覧 編集 履歴表示 操作 検索 案内 プロジェクトページ 談話室 最近の更新 ヘルプ 関連リンク 文書 HowTo Man Pages ファイル Private Ports SVN ツールボックス リンク元 関連ページの更新状況 特別ページ 印刷用バージョン この版への固定リンク このページの最終更新日時は 2010年4月2日 (金) 05:34 です。 プライバシー・ポリシー MacPorts
マリオカートWii攻略Wiki
本サイトはマリオカートWiiの攻略Wikiサイトです *1。攻略データ等を編集して情報を共有することができます（ただし、他サイトの情報などをそのまま転載しないようご注意ください）。PCやスマホからのアクセスに対応し、全ページリンクフリーとなっています。 ページを編集する際は、以下のユーザー名とパスワードを入力してください。会員登録なしに、誰でも編集できます。 ユーザー名：wiki パスワード：wiki 情報がどこに載っているかわからないときは、下記検索フォームから当サイト内の情報を検索してみてください。 お知らせ † お知らせ：2020年5月21日にWikiを全面リニューアルしました！ デザインを修正し、スマホからアクセスしても見やすいようになりました！ また、URLはhttpからhttpsに変更しています。httpでアクセスした場合は、自動的にhttpsに転送されます（ブックマークしてい
有限要素法 - ソフト開発WiKi
個人勉強用に作成した資料 有限要素法ソルバの使い方 有限要素法-自重によるたわみ 簡易メッシュ作成方法 メッシュ生成例-サーフェイス 論文の置き場- -有限要素法の資料の置き場(英語)- 参考にした有限要素法のページ 科学技術計算Ⅰ「有限要素法」(2010)- 力学の基礎- 有限要素法の全体概要- ABAQUSの使用方法など- CAE基礎講座- 力学の基本- 構造力学ソフトウエア- 有限要素法の前の基礎知識(ひずみエネルギーが少しわかる)- 有限要素法の全体的な基礎知識- 第1回 平面応力と平面ひずみ問題を解こう！ 第2回 平面応力と平面ひずみ問題を解こう！ 電卓でわかる有限要素法！ ガウス積分 - 相当応力の計算も乗っているぞ - 有限要素法 基礎 見やすいppt！ 有限要素法 キーワード 有限要素法 プログラミング演習 有限要素法 1次元の有限要素法 有限要素法 固有値/時刻暦応答解析
toppage - Bluetooth Maniax Wiki Database
Bluetooth Maniax！ BluetoothマニアックスはBluetooth関連情報のまとめサイトです。 「Bluetoothの情報がまとめて見られる場所がない！」と思った管理人が、ないものは作ってしまえばいいという古き良きthe Internetの香りを思い出して作ってみました。 Bluetooth Maniaxの使い方 左柱のメニューからご覧になりたい製品の種類を選択してください。もしくは、左端中頃にある検索窓から製品名での検索もOK。 おすすめページ A2DP対応ヘッドセット - 片耳でA2DPに対応しており、音楽・ワンセグ音声が聴けるものを集めてみました。 apt-X対応製品 - 高音質/低レイテンシのapt-Xコーデックに対応した製品の一覧です。 用語集/マルチポイント - マルチポイントに対応している機器を一覧にしてあります。 Bluetooth用語集/FAQ - B
Runtime error - PukiWiki
Error message : Directory is not found or not writable (DATA_DIR) Directory is not found or not writable (DIFF_DIR) Directory is not found or not writable (BACKUP_DIR) Directory is not found or not writable (CACHE_DIR) Site admin: ohneta PukiWiki 1.5.1 © 2001-2016 PukiWiki Development Team. Powered by PHP 7.3.0. HTML convert time: 0.001 sec.
Front Page
目次は、左のサイドバーを参照してください。 目標この wiki の目的は、連鎖性言語に属するさまざまな言語についての情報収集です。関心の対象は、理論的帰結、およびプログラミング上の実践的なアドバイスの両方です。この wiki では、あらゆる連鎖性言語に関する情報を歓迎します。目指しているのは、バラバラになっているさまざまな言語のコミュニティのまとめ役となり、連鎖性言語について学ぶときに役立つ共有知識源となることです。 非連鎖性言語やコンピュータサイエンス全般に関するコンテンツも追加できます。たとえば、コンパイラの設計、開発ツール、メタプログラミングといったトピックは、連鎖性言語のユーザーにとって有益ですし、連鎖性言語に関するその他のトピックも役立ちます。一般論として、既存のコンテンツと重複するものは避けたいと考えています。また、連鎖性プログラミング以外に関する記事は、そのほとんどをリンクで
FrontPage - MacEmacs
MacEmacs JP Projectについて † 当プロジェクトはMac上でのEmacs(主にCarbon Emacs)利用情報を収集し、公開する事を活動の中心としています。 サイトの情報はGPLもしくはGFDLにもとづいて公開されています。(一部例外がありますのでご注意ください。) 当Wikiにはファイルを添付することができません スパム攻撃対処中のためアルファベットのみコメント不可です。トップのみ凍結処理しています ↑ 情報交換 † Users メーリングリスト(日本語)：Mac用Emacs利用者(日本語)のメーリングリストです。メールアドレスさえあればどなたでも参加できます。現在の参加人数は約400人です。 Users メーリングリスト(英語)：Mac用Emacs利用者(英語)のメーリングリストです。メールアドレスさえあればどなたでも参加できます。現在の参加人数は約100人で
How2iPhoneProgramming - PukiWiki
Xcodeを起動してInterface Builderを使ってGUI部品を並べる † これがXcode, これをダブルクリックする。 まずは、Create a new Xcode project (新規Xcodeプロジェクトを作成) をえらぶ。 ここでOS XかiOSかどちらのアプリケーションを作成するかを決める。 ここでは、iOS Application, Single View Application を選んでみる。 プロジェクト名、f2cとしてみる。 ここでSwiftとObjective-Cのどちらかから開発言語を選ぶ。 Swiftがデフォルトになっているし、新しい言語なのでこちらを選んでみよう。 IDEのウィンドウが開いた。 左のリストから MainStoryboardを選ぶとインタフェースを設計できるようになる。 右のUtilitiesペーンで画面サイズや向きを選べる。ここではi
Beginning OS X 10.6 - Beginning OS X
Beginning OS X 10.6 UNIX 使いのための OS X 設定指南書。 [編集] 基本方針 Mac OS X 10.6 Snow Leopard を対象とする UNIX Workstation としての利用を想定 (Server としてではない) Firewall により守られたセグメント内での利用を想定 MacPorts を柱に UNIX 環境を整える 端末には OS 標準の Terminal.app を用いる方向で設定 locale は ja_JP.UTF-8 一通りの pLaTeX 環境を導入する [編集] 目次 インフラ整備編 アプリ導入編 (拾遺) 運用編 関連リンク
MacPorts-JP
メインページ 提供: MacPorts-JP 移動: 案内, 検索 「http://macports-jp.sourceforge.jp/wiki/index.php?title=%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%9A%E3%83%BC%E3%82%B8&oldid=447」から取得 個人用ツール ログインまたはアカウント作成 名前空間 ページ 議論 変種 表示 閲覧 編集 履歴表示 操作 検索 案内 プロジェクトページ 談話室 最近の更新 ヘルプ 関連リンク 文書 HowTo Man Pages ファイル Private Ports SVN ツールボックス リンク元 関連ページの更新状況 特別ページ 印刷用バージョン この版への固定リンク このページの最終更新日時は 2010年4月2日 (金) 05:34 です。 プライバシー・ポリシー MacPorts
Omicron WelcomeVisitors
混沌の世界 OmicronTiki へようこそ！ 新しそうな技術から，懐古趣味なものまで，ざっくばらんに書き散らしております． 最近の話題は，こちら，または右上の「最近」からたどれます． 主な話題 OS ネタ OS/omicron 大学の研究室で開発していた OS です． Linux 最近，メインで使っている OS です． FreeBSD たま〜に，Linux との比較評価用に使います． OS研究リスト OS研究プロジェクトの中でも，独自OSを中心にまとめています． 開発ネタ プログラミング Agenda LinuxPDA を使い倒す． 猫日記 りぬくす工房の CAT68701 で遊ぶ． L-Card+ L-Card+ のカーネルを新しくしたり，Kaffe と格闘したり． ContOS ToyOS を作ってみよう． xyzzy C# JavaScript TextProce
Linux Kernel Document Wiki @ SF.jp
トップページへ Linuxカーネルに関する技術情報を集めていくプロジェクトです。現在、Linuxカーネル2.6解読室の第2章までを公開中。 目次まえがき第0章 Linuxカーネルの構成要素 0.1 Linuxカーネルとは 0.2 Linuxカーネルのソースコード 0.3 Linuxカーネル機能の概要 0.4 カーネルプリミティブ 0.5 プロセス管理 0.6 メモリ管理 0.7 ファイルシステム 0.8 ネットワーク 0.9 プロセス間通信 0.10 Linuxカーネルの起動 0.11 Linuxカーネルの動作例 Part 1 カーネルプリミティブ第1章 プロセススケジューリング 1.1 マルチタスク 1.2 プロセスとは？ 1.3 プロセス切り替え 1.4 プロセスディスパッチャの実装 1.5 プロセススケジューラ 1.6 プロセススケジューラの実装 1.7 事象の待ち合わせ 1.8 最
コンピュータWiki - 30日でできる！ OS自作入門
オペレーティング・システムをスクラッチで作ろうという本。著者はOSASKの作者。 著川合秀実? C言語やアセンブラ?を勉強しながら、30日後にはすてきなOSができあがるように指導するテキスト。「簡単なプログラムなら書いたことがあるよ」くらいのセンスがあれば、それで十分！
ORWiki
OR学会50年の歴史の中で，OR事典の編纂・改訂は通算３度目となる．いろいろな理由からOR事典編集委員会は，「OR事典」をWebに公開するという手段をとることになった．前回はCDによる出版であった． 資料編だけは「OR事典」から切り離して，OR学会の通常のホームページの中に移すことになった．これは逆瀬川浩孝委員長のアイディアである。内容の性格上，資料追加も間違いの訂正も広報委員会の責任で簡単に出来るようになる． 前回までの学会の歴史資料はそのまま残してある．今回はデータ追加作業を基本に多少の資料追加を行った．前事務局長の藤木秀夫さんには，その後の学会活動全般にわたる記録をまとめて原稿を作成してもらった．学術会議関係も藤木さんが前回の形式に習って資料原稿を作成し，FMES会長の高橋幸雄さんに目を通していただいた． 各支部から増補追加の原稿が送られてきた．Webのサンプルを見てくださいと言って
トップページ - iPhone 3G DevWiki
Captcha security check sohaya.com is for sale Please prove you're not a robot View Price Processing
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ソフト開発WiKi
https://www.picolisp.org/5000/-2.html
マリオカートWii攻略まとめ @ ウィキ [Mario Kart Wii@wiki]
ソフトウェアテスト自動化まとめサイト なんでも自動化サイト