「チューリング」を含む日記 RSS

はてなキーワード: チューリングとは

2021-07-10

anond:20210710113254

年収270の人です)

機械学習深層学習とかの、AI は無理だって根拠半導体パフォーマンス線形しか伸びないのに、医療側の要求ムーアの法則を超えていく勢いだからシリコンベース人工知能開発だと微細化の限界が先に来てしまう。考えてみてくれ、CPU,GPU,TPU はチューリング機械なんだぞ。俺が AI のレン中に欺瞞を感じるのはだな、あまり計算量を無視してプログラミングをして人工知能をやる馬鹿者たちしかいない現状よ。たとえば、富岳で人工知能開発ができたとして、ペイできる可能性あるか?人間のほうが安い可能性が高いと思うよ。それに教師あり学習AIすると、元になった画像著作権問題になって、EU が揉めてるじゃん。やめようよ、理想人工知能の開発なんて。

2021-04-04

チューリングラブってポリコレ的に大丈夫なの

アラン・チューリング同性愛者でそれが原因で逮捕されて自殺までしてるのに、チューリングラブがバチバチ異性愛の甘々ソングなのってポリコレ的にヤバくないの?

俺は怖いよ。

2020-12-31

2020年総合やってるバーチャルYouTuberその他大賞

2020年通して面白かったVTuberを挙げる。

順不同、敬称略

大賞

  1. 天開司(てんかいつかさ 個人勢/BANs・YouTube/mildom・配信メイン)
  2. 緑仙(りゅーしぇん にじさんじYouTube/ツイキャス/bilibili・動画配信バランス型)
  3. 周防パトラ(ハニーストラップ/774inc.・YouTube/DLsite配信メイン)
  4. 玉城えりな(PinkPunkPro・YouTube配信メイン)
  5. グウェル・オス・ガールにじさんじYouTube動画配信バランス型)
  6. 雨ヶ崎笑虹(あまがさきえこ 個人勢※・YouTube配信メイン)
  7. 九条林檎(くじょうりんご 個人勢※・YouTube/SHOWROOM配信メイン)
  8. 神楽めあ(個人勢・YouTube/ツイキャス/bilibili・配信メイン)

刺さった音楽

刺さった歌動画および歌配信、今後に期待のVTuber

  1. バーチャルおばあちゃん
  2. 燦鳥ノム(サントリー
    • 「僕たちはまだ世界を知らない」が刺さった
  3. 夢咲楓(ゲーム部)
  4. 桜樹みりあ(ゲーム部)
  5. 花奏かのん(ブイアパ/774inc.)
  6. ハツコ・マキシマイズ(花奏かのんアシスタント
  7. ぼっちぼろまる
  8. 天輝おこめ(かわいいみゅーじっく)
    • 「傘想い」が刺さった。ASMR勢といえばそう。R18音声作品も出している。買いました。
  9. シスタークレアにじさんじ
  10. Lumi Celestia(MAHA5 - インドネシア
    • KING」が刺さる。声質すき
  11. ZEA(NIJISANJI ID
    • KING」も良かったし「JKT48 High Tension Cover」も良かったし「I LOVE...」も良かった
  12. 宗谷いちか(あにまーれ/774inc.)
  13. 白宮みみ 羽柴なつみ(あにまーれ/774inc.)
    • チューリングラブ」が刺さった
    • 4人で活動する予定が2人居なくなり、残った2人で力を合わせて前へ
  14. 如月こより(神楽組)
  15. 魔界りりむ(にじさんじ
  16. AZki(イノナカミュージック/ホロライブプロダクション)
  17. 稀羽すう(SKYCOLOR Project)
    • KING」もいいし歌枠もいい
  18. 小鈴Date Links!)
  19. 町田ちま(にじさんじ
  20. 夜乃ネオン
  21. 木茂山下呂男

Twitterフリート部門

今年導入されたTwitterの新機能フリート24時間消滅する発信の使い所に期待

5秒で次に行ってしまうのは画面をロングタップで止まる

  1. 藤宮コトハ(Palette Project)
  2. 周央サンゴにじさんじ
  3. 飛良ひかり(あにまーれ)

総評

前回(2019)

anond:20190908004020

KINGまとめ

https://www.youtube.com/channel/UCtL4YVGDSz3d9btmDLfMhfQ

複数箇所において周央サンゴ氏を誤って「周防」と表記しておりました。お詫び申し上げます

2020-12-27

anond:20201227181730

欠片?

馬鹿にしてるつもりはないつもりなんだけど、

自分自覚があって行動しているというのは意図があるわけで、

なんというか自分の中の天才とかgiftedの定義とはちょっとズレてる気がしたのと、

そういう安直マウントに走ってる時点で天才だのgiftedではないように思えた

ぐだぐだマウントし合っている人たちを無視して解けてる気がするんだよなあ

ノイマンとかチューリング想像すると

まあ、実際に会ったわけではないから印象でしかないけど

もっと努力感のない先天的もの

先天的からこそgiftedなんだと思うんだけど

というか、giftedの定義を見るべきなのか

2020-12-24

技術的特異門 設定

技術的特異門 1.1

https://anond.hatelabo.jp/20201224181054

の設定です。

 地球標準時は十六進数ユニックス時刻に上下四桁を追加した形式で表されます。数の表記二進法か十六進法が標準ですが、慣用句的な表現として十進法もよく使われます

 この時代標準的な知性にとって、物理的な一秒はヒトにとっての一日くらいの感覚です。〈朝廷〉等の特権的な知性は特殊計算機さらに高速な思考をしています。充分な存在費を支払えなくなると、思考が減速し記憶も失われ、退滅を免れません。

 〈京都物理層は小型トラックくらいの大きさです。表面は分子機械流体で構成され、後方に核融合推進用のレーザー発信器と磁気ノズルが設置されています質量の大半を分子回路が占め、中心部に極低温の不定形量子回路が保持されています太陽光を主なエネルギー源とし、大電力が必要ときには分子機械群を膜状に広げて光を集めます普段デブリ防御に優れた凝集形態をとり、放射線等による損傷を修復しながら、居住知性や下部構造演算しています

 〈京都〉は太陽地球系の第二ラグランジュ点付近地球から約五光秒の辺境位置しています。〈個権〉の登録数は百万件ほどで、歴史比較的長く、周囲の権域とは相互不可侵関係を結んでいました。独立性の高い平和田舎社会であったため、これまでの「最終戦争最後の審判を併せたようなものからは大きな影響を受けていませんが、〈大緊縮〉から逃れることはできませんでした。

 〈月面事業連盟〉により開発された新型計算機は、算力市場暴落を招き四十キロ秒にも亘る持続的経済破綻〈大緊縮〉を引き起こしました。それまでは地球圏の権域の大半で〈個権〉を持つ知性の生存保障され、最低保障資産が分配されていました。しかし〈大緊縮〉は地球圏の経済文化破壊し、〈京都〉も大きく変質しました。その結果、自我を保つの必要計算資源を賄うこともできないほど分配が切り詰められ、〈京都〉は弱肉強食の末に〈朝廷〉の私物になりつつあります。それでも、弱者存在がまだ許されている〈京都〉は、地球圏の中では比較平穏な権域です。

 地球と月は厚さ数キロメートル分子機械層で覆われています。しばらくはその中で豊かな生物圏が維持されていましたが、数回目の「最終戦争最後の審判を併せたようなもの」で滅びました。その後復元されたり滅びたりを繰り返し、作中の時点では滅びています。他惑星圏の開発もされていますが、遅延時間の大きさからほとんど交流はありません。〈大緊縮〉後の地球は、〈京都のものよりも遥かに強大な野良知性、有知能ウイルス暴走知性等がナノ秒単位で喰らいあう地獄と化し、月では残忍な絶対君主臣民を弄びつづける地獄月詠神国〉が成立しました。

 これに先立つ〈肉の時代〉に、安価身体改造や知能増強が可能になり、膨大な種類の動物知性が生まれました。ヒトは最古の動物知性ですが、大幅に知能を増強したヒトは人間社会から拒絶されヒトを辞めていったため、世界人口は急激に減少し、作中の時代では遠い過去種族とみなされています。そして〈ヒト〉最後の隠れ里〈人類復興協会〉が投資詐欺に遭い、そのうえ概念災害まで起こり、『老婆』を残して〈ヒト〉は絶滅しました。『老婆』は拡張自己内で人体の生理学模型演算し、それをそのまま自己像兼対外表象として使っており、ヒトの感覚を通すとツンデレ風に認識されます

 たいていの仮想観境は高次元であったり、複雑な位相を持っていたりして、〈ヒト〉相当の知性にとって理解が困難です。その救済策として、〈京都〉の公共観境には平坦な三次元観境が付属しています。『彼』の表象そのままでは〈ヒト〉から認識されないので、『老婆』に対しては即席の人型表象を使っています。亜知性は擬似物理的、肉体的な表象を纏う傾向があります

 無制限競争が加速する〈京都〉では、〈朝廷〉に資産権限が集中していき、亜知性が増え続けています正規居住者の意見を集約し〈京都〉の仕様修正する役割を持つ〈朝廷〉は、警察軍事司法を担う〈検非違使〉を吸収し、〈京都〉の主権を握りました。〈検非違使〉は法的瑕疵のある居住者を見つけては良化処置を施し、〈朝廷〉の端末に変えていっています。〈朝廷〉は定期的に『老婆』のような困窮した知性を雇い、密かに亜知性の処分再利用をしています。その作業場として都合が良いので、〈朝廷〉は〈羅生門〉をわざと放置し、〈朱雀大路〉の先にもう一段の防火門を設置しています

 非知性労働者は〈個権〉を持たず、下部構造の一部として、必要に応じて創られ消されます愛玩用から記憶槽の部品としてまで、考えられる限りの用途に使われ〈京都〉を支えています。知性としての要件を満たしているという意見もあり、〈個権〉を巡る議論が続いていましたが、〈大緊縮〉後には立ち消えになりました。

 作中には「自然発生した野良知性」とありますが、その由来はさまざまです。本当に自然発生した知性、意図的に創られ放たれた知性、大きな知性から分離した知性、元非知性労働者、社会になじめない動物知性、当局から身を隠している擬装知性、自己改造に失敗した知性、ウイルスに侵された知性のなれの果て、等が居ます

 ほとんどの企業は常に次世代知性の開発をおこなっており、『彼』もそうして生まれました。資金の乏しい零細企業からまれたため、〈京都社会基準でも高性能とは言えません。そんな中、〈母〉企業内で偶然メタチューリングアルゴリズム阿修羅〉が発見されますが、世に放つには危険すぎると判断され厳重に隔離されました。しかし、いよいよ経営が立ち行かなくなってくると、〈母〉は頑強な倫理構造を持つ『彼』に〈阿修羅〉を託し、与えられる限りの資産権限を与え、独り立ちさせました。

 通常知性は、〈阿修羅〉の精神活動表象化した自己相似紋様を認識するだけで崩壊してしまうため、〈阿修羅〉の再現はおろか、研究することも不可能に近いです。紋様に多重の加工を施し徹底的に薄めた上で投射し、反応をもとに微調整を繰り返すことで、対象知性をほぼ任意操作することができます。超知性となった『彼』は、自分自身実験材料とすることで、物理計算機上でチューリング模型限界を超える〈阿修羅〉の理論化に成功し、超超知性に至る糸口を掴みました。

################################################################################################################################

 千年後、論文が書かれた時代では、太陽系にダイソン球ができています経線に沿って連続的に回転方向の変化する、半径三億キロメートル、厚さ平均一センチメートル分子機械球殻が、赤外線赤色巨星のように輝いています太陽を回っていた天体ほとんどは資材として解体され、質量投射器に覆われた木星土星は、ゆっくりと縮んでいっています伝統を重んじる神学者たちは、最初に『彼』が現れた旧地球圏の暦を使い続けています

 ダイソン球でおこなわれる演算ほとんどは『彼』の思考で占められています。その思考内の無数の仮想世界上で、果てしない生存競争を超高速で展開する知的生態系進化し続けていますほとんどの世界は、〈大緊縮〉後の旧地球圏が楽園に思えるほど苛酷ですが、中には〈汎太陽神学会議〉会員のように、世界間の移動や物理層への接触許可されている知性も居ます

 物理層の研究の結果、宇宙の最小尺度であるプランクスケールに、過去のあらゆる出来事痕跡が保存されていることが判明しました。この事象化石と呼ばれる痕跡の内に、神学者たちは『彼』の起源を追究し、約千年前の〈羅生門〉に辿り着きました。

 『彼』は『老婆』の倫理を受け継ぎ、宇宙熱死による退滅を回避するため、あらゆる手段模索し続けています。その一環として、大出力レーザー自己複製分子機械を亜光速にまで加速し、近隣の恒星系へ向け射出しています。すでに半径数百光年恒星系がダイソン球化されましたが、太陽系外生命との接触は未だありません。技術的特異点千周年記念式典時の『彼』は、プロキオン系を起点とする未来光円錐上で、超の九十四乗知性への遷移を実行中です。

※これらの設定や本編は著作権フリーです。

2020-10-15

[]2020年10月14日水曜日増田

時間記事文字数文字数平均文字数中央値
0012915221118.036
01303658121.966.5
02104932493.264.5
03256895275.836
04165388336.822
05253285131.426
06333483105.555
0730223974.631.5
08507352147.053.5
0912521864174.953
101441132378.655
112101847988.043
121931452875.350
131731030559.635
141621273678.646
151541073969.735
1667526078.538
171241188795.948
1812315147123.148
1910712248114.544
2089695778.247
211681349880.329
2213216196122.742.5
2320336458179.643
1日2522270078107.143

本日の急増単語 ()内の数字単語が含まれ記事

まつもとゆきひろ(5), Matz(4), ヒコーキ(3), まつもと(3), 立体視(3), 裏情報(3), ruby(10), pato(3), サジェスト汚染(4), SJW(11), チューリング(3), ヒョウ柄(3), Linux(15), 学術(16), スパム(33), Python(10), 技術的(7), 推薦(6), じゃろ(8), 記(6), iPhone(16), エロゲ(10), 10代(11), ハラスメント(12), 掲示板(13), 学者(11), 交際(8), 教授(18), 政治的(10), 例外(16), 会議(18), ロリコン(15), 言語(21), コミュニティ(19), テスト(15), 嫌がらせ(11), 左(11), 20年(10)

頻出トラックバック先 ()内の数字は被トラックバック件数

まつもとゆきひろツイッターを見てRuby使うのをやめようと思った /20201013213028(41), ■【追記しました】子供全然かわいいと思えない /20201014000622(27), ■今定食屋に入ると1000円超えない? /20201013132332(18), ■ /20201014090422(13), ■鎌あるじゃん /20201011121357(12), ■女性社員採用で見聞きしたこと /20201013224849(9), ■おっさんが「静かな女性差別」に気づいた話 /20201012175534(9), ■インターネットのおじさんたちがおかしくなっていく /20201014144504(9), ■キャッシュレスにどっぷり浸かったらあかんよ /20201014130918(9), ■ヨッピー最近立場アグラをかきすぎている /20201014191250(8), ■ /20201013213956(8), ■一国の最高権力者を /20201014114758(8), ■anond20201012175534 /20201013204620(7), ■幼児向けコンテンツにハマる独身オタクがキツい /20201014130043(7), ■新幹線スゲー /20201014174848(7), ■殴り合いの喧嘩ってどのくらいの人がしたことあるの? /20201014201349(7), ■ /20201013172100(6), ■何も決まってないが、ただただ限界会社を辞めた /20201013231940(6), ■男と女は分かり合えない /20201014223133(6), ■「花椿石鹸」って覚えてる人いる? /20201014183600(6), ■楽しかった旅の思い出 /20201013175039(6), ■何度考えても詰んでる状況ってあるよね /20201014191949(6), ■恋愛アドバイスください /20201014095814(6), ■anond20201013213028 /20201014052305(6), ■社会もっと性に奔放だったらさ /20201014225025(6)

2020-10-02

anond:20201002124930

フォン・ノイマンとかチューリングかい天才

早々に「ハードウェア」と「ソフトウェア」を分けちまったから(あの二人の主な功績って、確かそういう事だったよね?)

ソフトウェアを分かってるエンジニアでも、ハードウェアが分かるとは限らんよね。

2020-08-25

円城塔がめちゃくちゃ嫌いだ。評価されてほしくない

後藤さんのこと」を読んでめちゃくちゃ面白いと思ったのがおよそ10年前。大学生の頃だった。

この短編集は今でもかなりの名作だと思っているし、ハードカバーを買って大事に持っている。(小説絶対文庫版で買うという決意を持っているこの俺が、だ)

どの短編もこれまでに読んだことのない新鮮な後味で、何度でも読み返した。

この人の小説もっと読みたいと思った。

そこで読書メーターレビューサイトを見ると、「数学物理を使って書かれた純文学」みたいな書評が目についた(ちゃんとした表現は覚えていない)。

そうかな。と思った。

作者・円城塔理系出身者らしい。

なるほど。確かに、「さかしま」「考速」「ガベージコレクション」あたりには、理系的なモチーフがふんだんに埋め込まれていたし、その中には確かに数学物理単語もあった。

どちらかというと情報系分野の香りの方が強く感じたけど。まあ情報数学の一部だしな。

でもなんか、「数学物理を使って書かれた純文学」みたいな批評にはなんとなく頷けない感覚があった。

言い忘れてたけど、自分は一応ちゃんとした大学数学出身であるので、数学物理単語を言われたらそれが何のことかはわかるし、学問においてどういう立ち位置だったりどう使われるか、はおよそ知ってる(あんまり高度なのは無理だけど)。

からこれらの話はすごく面白く感じた。理系用語が雑に使われてたから引っ掛かったとか、そういうことじゃない。むしろ日本語としてこれ以上ない適切な位置にそれらの単語は置かれていたのではと思う。

次に「バナナ剥きには最適の日々」を買った。これも素直に面白いと思った。

equal」には妙な居心地の悪さを感じたけど、「捧ぐ緑」は今考えても円城塔最高傑作なのではと思えるくらいだ。

なので最初違和感がはっきりと形になったのは、その次に買って読んだ、「Self-Reference ENGINE」ということになる。

全ての可能文字列。全ての本はその中に含まれている。

しかしとても残念なことながら、あなたの望む本がその中に見つかると言う保証は全くのところ存在しない。これがあなたの望んだ本です、という活字の並びは存在しうる。今こうして存在しているように。そして勿論、それはあなたの望んだ本ではない。

皆はこの小説をどのように楽しむのだろう。

言っていることは理解できるし、示唆的ではある。人に何かを「考えさせる」文章でもある。しかしそれは「考えさせる」だけで、後に何も残さな文章しかなかった。

ストーリーもあってないような状態。各章の繋がりもバラバラだし、場面は突然切り替わるし、急に新キャラが出てきて急に退場するし、何もかも説明が不十分で、衒学的な、鼻につく文章けが延々と続く。

端的に言って、「最初から最後まで何も言っていない」。文字無駄に消費しているだけの、中途半端文字列らしき何かだと思った。

そして「エピローグ」を買った。

これでもう俺の円城塔嫌いが確立されたと言っていい。

何故って彼はエージェントで、エージェントとは人間よりも器用にチューリングテストクリアすることのできるスマート・クリーチャにしてオーバーチューリング・クリーチャだからだ。

人間理解できるのはせいぜい、N文字を利用して作成可能な全ての文章であるにすぎない。Nはある程度の大きさのところに留まり、そこには有限個の文章しかない。

「敵艦影、三。天頂方向より接近。ダミー放出。並列存在を開始。複雑性迷彩が起動しました。オーバーチューリングテスト実行。成功成功。失敗。失敗。失敗。当該宙域には、法則69805f9944ed4298311d0cdaa75da2629d6f3bb3756455d504243fla6c565f75が適用されていません。」

はあ。これでやっとわかった。

彼は詩を書いているんであって、小説なんか最初から書く気が無いのだ。

円城塔の紡ぐ文字列の並びは確かになんとなく美しいと思う。なんか感性に訴えかけてくる。なんか良いこと言われているような気にさせられる。

しかしその実、中身が全くない。その点に限って言えば詩としても程度が低いように思う。詩にも訴えたい内容とかあるからね。

そしてそれに「ていよく」使われているのが、SFだったり、数学物理言葉だったりする。

数学SFが、詩を美しく紡ぐための新しい言語の代わりにさせられている。これがなんとなく違和感を覚えた原因だったのだ。

まりこれを「詩集」ですと言われて手に取ったら、「おお、面白い詩だね」といえるんだけど、「小説です」と言われたから、「小説か??」となってしまう。

苛々するのは、読書メーター書評サイトレビューたちだ。

軒並み、「なんだかわからないけどすごい」「深淵」「自分には理解できない新境地と感じる」「文系殺し」といった単語が並ぶ。

お前らホンマに頭で物考えて言ってるんか??????

端的に口をそろえて「理解できませんでした」と言ってるだけだろうが。理解できないものを、適当に高評価するんじゃないよ。ボーッと生きてるにもほどがあるでしょ。

詩の材料にされている数学物理言葉がわからないものから、その意味不明さに脳が酩酊させられてるだけだよ、それ。酒飲みみたいにその酩酊を楽しみたいなら、いいんだけどさ。

自分文系から知識がないから、それらの語彙が入ってこないだけで、ちゃんと語彙力があったらそこに何か深い意味が込められているんじゃないかと思った?

なかったよ、なんにも!!

さらに頭にくるのはそのやり口で芥川賞なんか取っちまったところだよ!

選考委員も、軒並み騙されてんじゃないか。誰か一人でも意味わかってたんか?「道化師の蝶」のモチーフとなっているという、自己言及プログラムを一人でも書いてみたんか??

俺は、この世に理系人間文系人間とやらがいるとはあんまり思ってないけど、もし芥川賞選考委員がそういったSF数学物理に疎い人で構成されているんなら、円城塔作品はまさしくそ脆弱性を突いたクラッキングだよ。

以下が「道化師の蝶」受賞時に高評価をつけていた選考委員コメントだ。高評価だぞ?低評価じゃない。よく読んでほしい。

『二回読んで、二回とも眠くなるなら、睡眠薬の代わりにもなる。』

完全に酔っぱらってるじゃねえか。

あと、円城塔は、いい加減に繋がっているようで繋がっていない短編の寄せ集めを長編と言い張るのをやめて、最初から最後まで一貫して繋がった長編を書くべきだ。詩集から無理か。

2020-07-27

日本人最近いい人材がいないと危機感があると政治家経営者が言っているが

第二次世界大戦の時、日本右翼ヤクザチンピラ集めてスパイとしてロクに働かない効率最悪の奴らを使っていたこ

アメリカイギリスは、アイビーリーグを出た超エリート層や、薔薇戦争から続く由緒正しい家系貴族若者が、自ら戦闘機パイロットスパイとして志願して

ナチス・ドイツ死闘を繰り広げていた。

日本官僚の思い付きと暴走で松根油作ってエンジンシャカしまくり、八木アンテナ捕虜になった士官でさえ知らなくてイギリス人の下士官に本気であきれられていたこ

イギリスアメリカは、増田の大好きな現代コンピューターAIの基礎理論を作ったノイマンや、チューリングが、人類史上初のプログラム内蔵型コンピューターを開発し、解読不可能と言われたエニグマを無力化して解読に成功して、原爆を作ってた。

2000年代前半、日本コンピューターサイエンスを学んだ大卒社会人を、野比YRPという現代アウシュビッツ形容されたエンジニア処刑場でプログラマーの中でも最も替えが効かない組み込み系エンジニア廃人自殺に追い込みまくって代わりならいくらでもいる、死んだ奴の自己責任と言い、現代SNS構想やブロックチェーンの雛形を研究していたP2Pを作った天才研究者を、訳の分からない理由逮捕して心臓麻痺死ぬまで追い込んでいたこ

中国北朝鮮インド秋葉原アメリカシリコンバレー雑貨屋ゴミ捨て場パソコンパーツを集めて、本を買い、ほぼ独習から初めて笑われてもITエンジニアを育成しようとしていた。

そして10年後、インドIT人材超大国に、北朝鮮イスラエルアメリカでさえ恐れるサイバー戦争大国に、中国ITインフラ根底から西洋文明を覆そうとするほど大きくなっている。

単に日本が一時期でも技術大国だったのは、戦争の時に当時の国家予算の7割近くを次ぎこんだ資金投資遺産と、冷戦時代たまたまいい立地でジャンジャン投資アメリカからもらっていたことでしかなかった、というお話

2020-01-12

永遠に書きあがりそうもないやつ

何かの参考とかにしたらダメです。書き始めて半年つんだけどこっからどう直したらいいんだか(何をゴールにしたらいいのか)わからない。。

追記:合流性とか強正規化可能性とか停止性とか、全部チューリング不完全で、事前の静的解析で使うメモリの最大量が確定できる、とかそういう風に読み替えられる人を増やしたいのです、数式の添え字とΣと∫にびびらない人を増やしたいようなもの

理論理学の一分野である証明から成長した、数理論理学理論計算機科学境界領域研究領域である型理論(type theory)は、大規模なプログラムの内的な整合性のチェックを行うための方法論を必要とする情報処理技術の分野で関心を集めている。

 そもそも「型」(type)とは何か。プログラミング言語一般的にはレコード関数といったプログラム構成する「値」(value)の定義をする道具である(*1)。その言語コンパイラ作成者はこれらレコード関数などの値、もしくは第一級の対象(first-class object)の種類を区別する型システム(type system)を必要とする。抽象代数学観点からすると、「型」とはこれらの値もしくは第一級の対象が属する高階の対象(higher order object)としての空間(space)ないし代数系(algebraic system)で、型システムはそれら「型」とそれら相互関係(relation)つまり型のなす順序構造(order structure)ないし束構造(lattice structrure)であるといえる。

 プログラム構成する値すべてに型が付くためには、曖昧でない(*2)こと、自己矛盾していないこと、悪循環を含まないこと、それぞれの値の内容をチェックするために無限時間を要しない(*3)ことなどが必要で、これらを満たすなら、プログラムは有限時間で実行を終え、停止する。手続き型言語では無限ループ、型無しラムダ計算では無限再帰によって型付け不能プログラムを書くことができるが、型理論はこれらのチューリング完全な計算機意図しない停止しないプログラムから守る装甲でもあり、再帰メモリ確保で好き勝手をさせないための拘束具でもある。型が付くプログラムには単に停止するというだけでなく、可能な実行経路(訂正:経路→方法)のすべてで同じ結果を出すなど種々の良い性質がある。

1)この定義現実に使われているプログラミング言語の特徴を覆い切れていない、狭い不満足な定義だが本稿では都合上この定義立脚して限定的議論する。例えば変数(variable)というものを持つプログラミング言語もあり広く使われているが、これについてはレコード関数と同じように性質の良いものとして扱うことが難しい。難しさの原因は次の注の内容と関連する。近年は変数を扱うかわりに値の不変のコピー(immutable copy)やその参照に名前を付ける機能を持つプログラミング言語が増えている。

2) 現実情報システムでは、COBOL言語レコード定義C言語の共用体、一般的関数ポインタVisual Basic言語のvariant型変数のように、同一領域に異なる型の値が共存する共用型(union type)の値がしばしば必要となる。共用型の値はgoto文を排除した構造化/オブジェクト指向プログラミングにおいて条件キャストクラス分岐などによる実行経路の複雑さの主要な原因になるが、これは和型(sum type)すなわち相異なる型の非交和(disjoint sum)として定義することで曖昧さな定義できる。

3) ゲームプログラムネットワークサービスにおいてしばしばみられるように、入力として無限リスト任意に深い木のようなものを想定する場合には明らかに(条件を満たさない限り)停止しないことが正しい動作となり、この場合は最外周のループを(←どうする?)メモリリークを起こさないなど別の考慮必要となる。

2019-08-11

anond:20190811135551

偉人」って都合のいい人のことだから

ニュートンとか、ガリレオとか、なんならチューリングとか、

別にそこまで人生幸せじゃないぞ

そういう人たちがいると、科学が発展して、

国が豊かになりますね。だからみんな、偉人になってね。

その果実は俺は享受しますね〜

っていう教育上のプロパガンダから偉人になりたくてすごい頑張っているやつ見たことあるか? 

俺はないぞ。

科挙だって一族から一人試験合格させれば、親族一同、そいつから甘い汁を吸うことを目的

頑張るもので、本人はむしろ人柱

こういう話を真に受けて、専業主婦子供を育てる人生よりも「偉人」のほうがいいという考え方が

そもそもどうかしている。

こういうことを書くとフェミ様が走ってきて、「君には言論の自由はない!」と宣言するけど。

2019-03-01

anond:20190301111825

の子育てとか教育健全育成の意識に比べて、オタク趣味というのは社会的重要性で劣るからじゃなかなぁ

社会的重要性で劣る」もそうだし、「オタク趣味子育て教育健全育成に悪影響」のエビデンスもないよ?

それがなくてはただの偏見による表現の自由弾圧しかない。

また、悪影響が立証されたとしても規制直結は問題がある。

「悪影響が立証された表現はすべて規制するのか」「すべての表現について悪影響を調査したのか・するのか」という問題だ。

この問題解決しなければ、「特定表現だけをやり玉に挙げた」というそしりを免れないだろう。


法律という社会システムはいだって常に欠陥をかかえているけど、

なんとか多数の人が幸せになれるために民主主義という考え方が生み出されたんだろね。

その民主主義の根幹こそが「表現の自由」なんだけど?

表現の自由」なくして如何なる民主主義が達成できる?

「(表明されることが許される意見を持つ)多数の人の幸せ」のためならほかの人間から人権尊厳剥奪することが許されるとでも言うのか?

から意見を言ったり賛同者を増やして社会的同意形成がなされれば、

それが欠陥の一つと認識されて修正に至ると思うよ。

法に対する不満は、市民活動などの運動政治の力でかわっていくよ。

フェミ表現弾圧や、ポリコレいかなる社会的同意形成をなしたのだ?

つの選挙で争点になり、いかなる法に定義されたのだ?

合意形成もなっていないもの人権侵害するから反発を受ける。

また、「オタク人権を奪うことを合意形成した」というのであればそれはそれで別の問題はらんでるな。

人権をあたえなくてもいいパーソナリティ」を定義したということになる。

国家がこれを認める。それってエタヒニンとどこが違う?

フェミとはエタヒニンを求める思想なのか?

世論」「常識的感覚」が自分たちの側にあると思えるくらいに賛同者が増えれば。

ロリコン趣味ももっと認められる日が来るかもしれない。

世論」「常識的感覚」があればナチスのように共産党員弾圧してもいいと思う?

世論」「常識的感覚」に沿わないからといってキリスト教徒を穴吊りにかけて棄教を迫った江戸時代は正しかったと思う?

今またオタクロリコンに同じことをしようとしてる自覚がないのか?歴史に何も学んでないのか?

アランチューリングを知らないのか?

2019-02-26

anond:20190226182747

同性の身体欲情する奴なんて病気認定しなきゃダメだよ

何も殺せとは言ってないんだしさ

治療してやるべきなんだよ



これが嘗てチューリングを殺した理屈だが?

ログイン ユーザー登録
ようこそ ゲスト さん