パスワードを忘れた? アカウント作成

過去1週間(やそれより前)のストーリは、ストーリアーカイブで確認できますよ。

11773655 submission
数学

型理論 "Applied Type System" の禅問答的な解説

タレコミ by Anonymous Coward
あるAnonymous Coward 曰く、
「禅問答的に #ATS2 の型理論を説明してみたよ http://togetter.com/li/752948 」というtogetterのまとめが話題のようだ。

通常の型理論では、まず型を定義して、その型のコンストラクタによって値を生成する。ところがこの型理論 "Applied Type System" では既に存在する値に型を割り当てている。 (Applied Type)

この型理論のエポックメイキングなところはコンストラクタを型理論の中で不要にすることによって、ヒープを使わなくても型の実装ができるところだろう。

情報元へのリンク
10704926 comment

krのコメント: Re:unreachable codeの警告は無視されたのか (スコア 3, 参考になる) 172

#define ErrorCheck(f) if ((err = f) != 0) goto fail
でおk

それは潜在的に危険なコードです。

ErrorCheck()を使う側で、以下ようなコードを書くと、

if (.../*条件A*/)
        ErrorCheck(...);
else
        .../*処理B*/;

この見た目と違って、実際のマクロ展開は(改行と字下げを付けると)、

if (.../*条件A*/)
        if ((err = ...) != 0)
                goto fail;
        else
                .../*処理B*/;

となり、「処理B」が「条件A」のelse部でなく、「(err = ...) != 0」のelse部にくっついてしまいます。

else節は最も近いif文にくっつくという構文規則になっているので、 マクロにelse節無しの剥き出しのif文を埋め込むのは危険なのです。

do〜while(0)で囲めば、このような副作用が無くなるので、より安全なマクロ定義となります。

7293791 comment

juanのコメント: 縦書きバグ (スコア 2) 173

普及しないこととは直接関係しないと思うんだけど、Widows 8で日本語の縦書きがバグってるの一向に修正されないよなあ。

GDIを使った縦書き処理がおかしい(Windows 8)

Windows 8 で、一部の文字の縦書きが正しく処理されない

三点リーダとか、マンガのネームでは結構多用するので、これがまともに表示されないのは大変困る。

3813827 comment

juanのコメント: Re:進化論を理解してる人はどれくらいいる? (スコア 1) 275

「○○が進化論により、うまく説明された例を知らない」というのは大概の場合創造論者がそう言ってるだけだったりします。すでに目について説明されているよというコメントがいくつもついていますが、また、脊椎動物の目には進化によって獲得された形質らしい出来の悪さもあったりします。

網膜で受けた光を脳に伝えるための神経がなぜか眼球の内側にむけて生えているため、眼球から出すために網膜の一部に穴が開いており、その部分は盲点になっていますね。脊椎動物と独立によくにた目を獲得したタコなどの軟体動物は神経が外に向かって生えているため、盲点が存在しません。

ある段階の生物の機能はその環境で適応している事、進化は基本的にすでにあるものの累積的改良過程であることから、ある程度進んだところでさくっと設計変更してやり直しとはいかないのです。

3812968 comment

juanのコメント: Re:進化論を理解してる人はどれくらいいる? (スコア 2) 275

創世記第一章によると、神が天と地を分けたとき、最初地は形が定まっておらず、大いなる水の上に闇があったとなっていますが。地球が生まれた時に水の惑星だったという話はあんまし聞いたことが無いです。

また、太陽と月や星ができて夜と昼を分けるようになったのが地球の後になってます。

生物創造の順序は魚と鳥→陸上生物となっているので、鳥が爬虫類などより先に登場してますね。なお第二章では人間が一番最初に作られたことになってます。

創造論者は聖書から都合の良い箇所を拾ってきてつなぎ合わせ、都合の悪い記述は無視しています。

3113798 comment

juanのコメント: Re:週アスの報道…いや報道じゃないかも (スコア 2) 54

いや、僕もこのニュース聞いて「あ、コミケでカード決済できるかも」って思った口です。つり銭が足りないとかそういうときに「カードあったらそれでもいいですよ」って言えたら選択肢が増えるし。

まあ、コミケ会場だと電波状況が最悪なので3G、Wi-Fiともに繋がらないようなときに、とりあえずアプリ内で受け付けてあとからまとめて決済できるかどうかが重要じゃないかと思いますが。

3038164 comment

juanのコメント: Re:日本でのDRMフリー電子書籍の現状 (スコア 1) 30

僕としては買った人がPC買い換えたり、スマホやタブレット端末でも読みたいという場合にできるだけ変な制限のない、私的複製の範囲のコピーは自由にできて、なんだったら家族とか少数の友達にコピーしてあげられる、かつ不特定多数が使える用にインターネット上のサーバににアップロードした場合読めなくなるような、または半分までしか読めないようなDRMがあったら、即採用したいと思ってます。そんな都合の良いものは存在しないので基本DRMなしでやってますが。
1895048 comment

juanのコメント: Re:もともとPayPalはアダルト関連を排除していますよ (スコア 1) 58

もちろんサイトのアカウントも凍結されますよ。昔まだアダルト禁止の規定がなかった頃に自作エロ絵サイトで使ってて規約変更されたあと英語の文面ちゃんと読まずに放置してて凍結されたことがあります。なんとか口座にあったお金はデポジットできましたが、そのとき使っていた銀行口座は二度とPaypalでは使えなくなりました。(別メアドで取ったPaypalアカウントで銀行口座登録しようとすると拒否される)
1282827 comment

krのコメント: Re:LISTコンテキストだから (スコア 1) 5

by kr (#2078533) ネタ元: perl の配列

面白そうなので、自分も(好みにより言語はHaskellで)書いてみようと思ったら、
すでに沢山あってちょっとクラクラしました……。

No guessingってのがokkyさんと似た動機で書かれた版かな。
リスト中のアルゴリズムを順に試して、
うまく行ったらまたリストの最初から繰り返す、
という造りも同じようです。

Sudoku Solver等、
似たようなプログラムが見付かるところを見ると、
やはり誰しも書きたくなる題材なのですかね。

時間ができたら自分でも遊んでみたいと思います。
面白いネタに気付かせて戴いて有難うございました。

typodupeerror

あつくて寝られない時はhackしろ! 386BSD(98)はそうやってつくられましたよ? -- あるハッカー

読み込み中...