タグ

2011年8月18日のブックマーク (2件)

  • デカルト言語 - 並列ロジック プログラミング言語 プロジェクト日本語トップページ - OSDN

    デカルト言語は、論理的な推論を中心とした言語として設計しました。 狙っているのは、強力な論理的推論・探索機能があり、関数プログラミング機能を持つオブジェクト群が、人間に近い構文のI/Fによって、並列にマルチコアで動く知的なシステムです。 名前は有名な数学者・哲学者であるデカルトに因んで名づけています。

    デカルト言語 - 並列ロジック プログラミング言語 プロジェクト日本語トップページ - OSDN
    soltiox
    soltiox 2011/08/18
    推論
  • 携帯、スマホ経由のAC発言について | SS1の日記 | スラド

    最近のAC発言の傾向からみると、携帯やスマホからのACコメントの投稿が増えているのではないか、と思う。実際そうなのかはスラドの中の人がアクセスログみないとわからないけど。 たとえば、携帯やスマホの場合、主にIPID(ipaddrのハッシュ)で投稿に規制をかけるスラドのシステムは、接続しなおすたびにアドレスが変わる携帯に有効な規制が行えない。逆にいうと携帯からだと自由にAC発言ができる。だもんで、少なくともPCからのコメントと同程度の投稿規制がかかるような方法をかんがえてみたい。 AC発言の問題は、/.jp固有でもあるので優先順位は、こないだの話と比べても高いと思うので。てな感じで… ログインurlの復活案 携帯やスマホからAC発言するのは単にログインが手間だから、という可能性がある。実際、接続するたびログインするのは面倒だし、私の使ってるPHSだとクッキー保存してくれないし。ログインurl

    soltiox
    soltiox 2011/08/18
    [/.j] /.jでの、匿名発言に対する制限案