サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
中東情勢
x76789.hatenadiary.org
VirtualBox において、ゲストOSの解像度の調整をしたい。 以下の方法を試すが、「VirtualBoxのメニューから「Devices」→「Install Guest Addsinions」をクリックします。」の時点で、「マウントできません(could not mount media)」とエラーが出てしまう。 http://pc-karuma.net/mac-virtualbox-fullscreen-mode/ 解決方法は以下の通り。 ゲストOSをシャットダウン。Virtual Box マネージャの「設定」→「ストレージ」を開き、右側パネルの「コントローラ:IDE」→「VBoxGuestAdditions.iso」を選択。さらに右パネルの「属性」→「CD/DVDドライブ」の右側にあるボタンを押し、ドロップダウン表示の中から「仮想ドライブからディスクを除去」をクリック。ゲストOSを再
Haskell/Polymorphism - Wikibooks, open books for an open world 型システムはその表現力に関して、rank-1, rank-2, rank-n として分類されるのだそうだ。一般に rank-n type とは、少なくともひとつのrank-(n-1の引数を持ちかつそのランクより高い引数は持たない「函数」のことである。 高階型の理論基礎ははSystem Fであり、これは二階のラムダ計算(The second-order lambda calculus)としても知られている。 Haskell98は、Hindley-Miler 型システムに基づいている。Hindley-Miler 型システムはSystem Fの制限系であり、量子記号(Forall)とrank-2 types 以上の高階型はサポートしていない。System Fのフルパワーの
このページを最初にブックマークしてみませんか?
『x76789.hatenadiary.org』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く