「ノイマン」を含む日記 RSS

はてなキーワード: ノイマンとは

2018-05-18

俺の柿がフォンノイマンデートして泣きながら帰って来た

容赦なくぶん殴ったよ

2018-03-19

anond:20180319122942

天才研究もいくつもあるけど、結局のところ、結論は「天才と呼ばれる人は、そうでない人より努力している」というところに落ち着く。

フォンノイマンはまあそうかなって思うけど、ウィーナーは生得的なものという気もする。

2018-03-18

anond:20180318001033

IT系なんていつ出来たかしらんけど、精々長く見積もってノイマンコンピュータ発明してからの70年くらいしか経ってねえぽっと出の分野だろ

他の工学分野を差し置いてエンジニアって用語奪い取るんじゃねえぞ

2018-01-22

anond:20180122011259

昔の職場のXも同じようなことしてたけどフォンノイマン並みの能力なんてなかったよ

ちなみにその職場はおとり潰しになったよ

anond:20171202134440

ノイマンとかジョブズとか出てるけど、そこまで優秀なら企業歯車より起業勧めた方がいいね

2018-01-04

2078年

息子「ばーー!」

娘「わー、ちょっとやめてよ!」

妻「何やってんの、台所から生皮を勝手に持ち出して!」

やれやれ、この機会に差別問題について子供たちに教えてやるか ー

私「おーい、生皮を被るのがなんで駄目なのか知ってるか?」

妻「ちょっと、話終わったら台所に戻しておいてよ!」

息子「え?もったいないから?」

娘「しらなーい」

私「うん、それも理由の一つだ。でも一番の理由はそれが人工生物への差別になるからなんだよ」

息子「えー、ってあのペットみたいなやつ?」

私「うん、確かに大半の人工生物は知能的にも肉体的にもペットぐらいの使い道しかないけど、最近は改良によって我々の単純作業ぐらいはこなせるものも出てきたんだ。数年前のノイマン誕生ニュースはお前も覚えているだろう?」

娘「ノイマンしってるー!」

私「そこで最近は、人工生物にも人権を認めるべきという先進的な議論も活発になり、一部の国では実際に認められるケースも出てきたんだ」

息子「えー、でも大したことできないよ?すぐ死ぬし、あいつら」

私「そういう問題じゃないんだよ、見た目や能力出自によって人権を持つもの差別されるべきでは無いんだよ、だから自分より劣っているからといって見た目を馬鹿にしたりしてはいけないよ?」

息子「はーい」

娘「はーい」

ー 私は居間を後にした。60年ものヴィンテージ生皮をつまみ食いしながら ー

2017-10-26

プログラマーのススメ

日本人は全員プログラミング勉強した方が良い。

プログラミング簡単だし、IT企業なら開業資金も少額で済む。(最初パソコン回線プリンターがあれば十分)

 

自己資金で数カ月で軌道に載せれるようなネタしかできない。

 

IT起業の道のりを教えてあげるよ。

  1. 下請け他人が作って欲しいものを作って納品する=資金を増やす自転車操業の段階。
  2. 自社開発:自分で作りたいものを作って売る=自転車操業からストックビジネスに移行する。
  3. レベニューシェア下請けと自社開発の中間ビジネスモデル

 

増田投稿できるってことは、パソコンぐらい持ってるんだろ?

本屋図書館に行って、自分に合った分かりやすプログラミングの本を探してみよう。

 

仕事を取ってくる方法は、ソニックガーデンのやり方を参考にしたら良い。 https://www.sonicgarden.jp/

プログラミング入門

最初に1冊だけ推薦するなら「プログラミングの基礎」という本をお勧めする。 https://www.amazon.co.jp/dp/4781911609/

買う前に、著者のサポートページを見てみると良い。

 

プログラミングパラダイム(考え方)には4種類ある。(【】内は基礎となる計算モデル

計算可能理論で見ると、どれもノイマン型のCPU上で動作する点で同じと言えば同じと言える。(優劣はない)

ただ、筋の良いプログラミング作法を身に付けたいなら、最初関数型を理解しておくことをお勧めする。

関数型の中で一番簡潔かつ強力なのはOCaml」というプログラミング言語だ。(HaskellをやりたければOCamlの次に学ぶスムーズ理解できる。)

関数型言語を学んだ後なら、手続言語はすぐに習得できるだろう。

WEB開発

WebサービスWebアプリを作るのは簡単

  1. HTML
  2. CSS
  3. JavaScript
  4. PHP
  5. MySQL
  6. Linuxサーバー構築)
  7. TCP/IPネットワークセキュリティーの基礎知識

を学べば作れるようになる。3か月勉強すればものになるよ?

 

Webアプリの特徴は、システム構造ネットワークを介して「サーバー側とクライアント側」に分割されていること。(REST - Wikipedia

Webアプリを作るってことは、一言で言えば、データベースラッパーCRUD)を作るだけの話。

アプリ開発

スマホアプリは、GUIの仕組みが分かれば簡単に作れる。

iPhoneアプリ

iPhoneの仕組みは糞だから後回しにしてもOK

XcodeじゃなくてAppCodeで作れるような段階に成熟したら手を出しても良い。

まあ、iPhoneアプリは金のためなら避けられない道だと思うので、苦労覚悟で取り組んでほしいw

Androidアプリ

Androidの中身はLinuxJavaアプリを開発できる。今ならJetBrainsIDEKotlinで楽々開発できる。

日本じゃAndroid貧乏しか使ってないので、あまり金にならないかも。

資金集め

お前偉そうなこと言うのなら、誰か起業してやろうというやつにガッツリ寄り添って手伝ってやりな。

俺はハゲタカじゃないから、無知な奴から搾取することはしない。

というか、自分のことで精一杯だから他人のケツ拭いまでやる体力・気力・理由がないw

 

他人から金をもらうと相手支配下に置かれる。だから資金調達お勧めしない。

自己資金で行けるところまで行って、ダメならまた社畜生活に戻ればいいだけの話。(パソコンインターネットがなくならない限り、プログラマーならIT業界で食っていける)

 

俺は、NPO法人とか社会起業しようとしてる奴だけ無償で手助けすることにしている。(プロボノ

社会起業家は、社会変革の担い手として、社会課題を、事業により解決する人のことを言う。

社会問題認識し、社会変革を起こすために、ベンチャー企業創造組織化経営するために、起業という手法を採るものを指す。

プロボノ(Pro bono)は、各分野の専門家が、職業上持っている知識スキル経験を活かして社会貢献するボランティア活動全般。また、それに参加する専門家自身

 

おまえが将来、社会起業することがあったら増田で呼びかけてくれ。

増田で返答できる範囲アドバイスするよ。頑張れ!

 

(追記)プログラミングパラダイムの4分類は「日経ソフトウェア」という雑誌説明表記しました。

ちなみにSQLチューリング完全なので、問合型言語でもプログラミング可能です。 https://qiita.com/utgwkk/items/20e887645da18e460fee

かに俺は理系だが情報学出身じゃない。独学でプログラミングを学びました。技術的な誤りがあったらブコメで教えてw(夜露死苦

 

(追記2)マイクロソフト関数型言語F#」は、OCamlベースにして開発されました。

現在マイクロソフトで開発中の量子コンピューターではF#が動く予定だそうです。(将来OCaml知識が役に立つでしょう) http://ascii.jp/elem/000/001/569/1569477/

 

(追記3 10/28ブコメレス全部拝見しました。様々なご意見・ご指摘をいただきありがとうございます。大変参考になりました。

「何か既視感があるな」と思ったら、最近ホリエモンが「保育士は誰でも出来る仕事」と言って炎上してたのと似てますね?→「プログラミング簡単」(プログラマーは誰でも出来る仕事

プログラミング学習や実務で苦戦されている方が多いようですね? だとすれば、それを改善支援するサービスニーズがありそう。

具体的にはディアゴスティーニ雑誌みたいに「週刊 プログラミングゲームを作る」みたいな教材があればいい。

https://deagostini.jp/

拝承いたしました。(微力ながら、皆様のお役に立てるよう作ってみたいと思います。)

 

(追記4 10/28OCaml関数型言語メリットについて

ちょっと前に岡部健氏(通称:毛の壁、kenokabe)が、関数型言語を巡りQiita等で論争を巻き起こしていましたが、俺は是々非々岡部氏の意見に一部賛同していました。(全部じゃない)

関数型言語を難しいものとして敬遠するのではなく、まずは使ってみて便利だったら嫌う必要はないと考えています

構造プログラミング命令型、手続型)との対応で言えば、関数型プログラミングは再代入なしでも、

で同じことができます。(優劣はない)

最初関数型プログラミング習得しておけば、参照透過性に注意を払う癖が身につき、テストときに「組合せ爆発」を少なくできます

関数型言語はたくさんありますが、OCamlが良いと思ったのは(自分にとって)分かりやすい教材が揃っており、学習コストが低いと思ったからです。

プログラミングを学ぶとき、独学ではなく、周りに聞ける人がいるなら他の言語でもOKです。

 

(追記5 10/28)「iPhoneの仕組みは糞」=storyboardが使いづらいと思いました。あくま個人の感想なので、Apple関係者信者の方はスルーしていただければ幸甚です。(Swift開発者クリスラットナー氏は、Appleからテスラ転職してしまいましたが、今後もAppleObjective-CからSwiftへの移行を押すのでしょうか?)

幸いiOSアプリ開発は分かりやす教科書がたくさんあるので、初心者でも心配無用です。iOSアプリ開発は(最初簡単なので)気軽に始めてみてくださいw

2017-09-28

モンロー・ノイマン効果粉塵爆発が煽られているようだね」

熱膨張「奴は中二病大好三大雑学戦法の中でも最痛」

レンズで光を集めて熱を起こすアレ「ククク……」

2017-09-11

https://anond.hatelabo.jp/20170910205249

まじな話をすると、N予備校プログラミング入門コースやるのがオススメ

https://www.nnn.ed.nico

一日8時間勉強時間があるなら、だいたい一ヶ月で終わる内容。

月額1000円だけどしっかり勉強すれば一ヶ月の無料間中に終わると思う。

もともとN高等学校のノンプログラマーの生徒をWebエンジニアとして就職させるために作られたカリキュラム講師曰く去年はこれで二人エンジニア就職を決めたらしい。

内容も相当親切に説明していて、プログラミングで何か作るだけじゃなくて、就職必要な環境構築やセキュリティまでみっちりやる。

http://qiita.com/sifue/items/7e7c7867b64ce9742aee#%E3%82%B3%E3%83%B3%E3%82%BB%E3%83%97%E3%83%88%E3%82%92%E3%82%82%E3%81%A8%E3%81%AB%E6%A7%8B%E6%88%90%E3%81%95%E3%82%8C%E3%81%9F%E3%82%B3%E3%83%BC%E3%82%B9%E3%81%A8%E5%86%85%E5%AE%B9

講師が書いてる入門コースで習うことがまとめ。テキスト教材もあるけど授業も1項目を2時間で説明している。授業は週2の生放送とそのアーカイブがある。

↓みたいなことが学べる

----

Webプログラミング入門コース

Web ブラウザとは (Chrome, デベロッパーコンソール, alert)

はじめてのHTML (VSCode, HTML, Emmet)

さまざまなHTMLタグ (h, p, a, img, ul, tableタグ)

HTMLで作る自己紹介ページ (HTMLタグ組み合わせ, コンテンツ埋め込み)

はじめてのJavaScript (JS, ES6, エラー)

JavaScriptでの計算 (値, 算術演算子, 変数, 代入)

JavaScript論理を扱う (論理値, 論理積, 論理和, 否定, 比較演算子, if)

JavaScriptループ (ループ, for)

JavaScriptコレクション (コレクション, 配列, 添字, undefined)

JavaScript関数 (関数, 関数宣言, 引数, 戻り値, 関数呼び出し, 再帰)

JavaScriptオブジェクト (オブジェクト, モデリング, プロパティ, 要件定義)

はじめてのCSS (CSS, セレクタ, background-color, border)

CSSを使ったプログラミング (transform, id, class)

Webページの企画とデザイン (企画, 要件定義, モックアップ, 16進数カラーコード)

診断機能の開発 (const, let, JSDoc, インタフェース, 正規表現, テストコード)

診断機能組込み (div, 無名関数, アロー関数, ガード句, truthy, falsy)

ツイート機能の開発 (リバースエンジニアリング, URI, URL, URIエンコード)

Linux開発環境構築コース

LinuxというOS (VirtualBox, Vagrant, Ubuntuインストール, OS, CUIの大切さ)

コンピューター構成要素 (ノイマンコンピューター, プロセス, lshw, man, ps, dfの使い方)

ファイル操作 (pwd, ls, cd, mkdir, rm, cp, mv, find, ホストマシンとの共有ディレクトリ)

標準出力 (標準入力標準出力標準エラー出力パイプgrep)

vi (vimtutor)

シェルプログラミング (シバン, echo, read, 変数, if)

通信ネットワーク (パケット, tcpdump, IPアドレス, TCP, ルーター, ping)

サーバークライアント (tmux, nc, telnet)

HTTP通信 (http, https, DNS, hostsファイル, ポートフォワーディング)

通信をするボットの開発 (cron, ログ収集)

GitHubウェブサイトの公開 (GitHub, リポジトリ, fork, commit, 情報モラル)

イシュー管理とWikiによるドキュメント作成 (Issues, Wiki)

GitとGitHub連携 (git, ssh, clone, pull)

GitHubへのpush (init, add, status, インデックス, commit, push, tag)

Gitのブランチ (branch, checkout, merge, gh-pages)

ソーシャルコーディング (コンフリクト、プルリクエスト)

Webアプリ基礎コース

Node.js (Node.js, nodebrew, Linux, REPL, コマンドライン引数, プルリク課題)

集計処理を行うプログラム (集計, 人口動態CSV, Stream, for-of, 連想配列Map, map関数)

アルゴリズムの改善 (アルゴリズム, フィボナッチ数列, 再帰, time, プロファイル, nodegrind, O記法, メモ化)

ライブラリ (ライブラリ, パッケージマネージャー, npm)

Slackボット開発 (slack, mention, bot)

HubotとSlackアダプタ (hubot, yo)

モジュール化された処理 CRUD, オブジェクトライフサイクル, filter)

ボットインタフェースとの連携 (モジュールのつなぎ込み, trim, join)

同期I/Oと非同期I/O (同期I/O, 非同期I/O, ブロッキング)

例外処理 (try, catch, finally, throw)

HTTPサーバー (Web, TCPとUDP, Webサーバーの仕組み, Node.jsイベントループ, リスナー)

ログ (ログ, ログレベル)

HTTPのメソッド (メソッド, GET, POST, PUT, DELETE, CRUDとの対応)

HTMLフォーム (フォームの仕組み, form, input)

テンプレートエンジン (テンプレートエンジン, jade)

HerokuWebサービスを公開 (Webサービスの公開, heroku, dyno, toolbelt, login, create, logs)

認証利用者を制限する (認証, Basic認証, Authorizationヘッダ, ステータスコード)

Cookie を使った秘密匿名掲示板 (Cookie, Set-Cookie, expire)

UI、URI、モジュール設計 (モジュール設計, フォームメソッド制限, リダイレクト, 302)

フォームによる投稿機能の実装 (モジュール性, textarea, 303)

認証された投稿の一覧表示機能 (パスワードの平文管理の問題, 404, テンプレートのeach-in)

データベースへの保存機能の実装 (データベース, PostgreSQL, 主キー)

トラッキングCookieの実装 (トラッキング Cookie, IDの偽装, Cookie の削除)

削除機能の実装 (データベースを利用した削除処理, 認可, サーバーサイドでの認可)

管理者機能の実装 (Web サービス管理責任, 管理者機能の重要性)

デザインの改善 (Bootstrap, レスポンシブデザイン, セキュリティの問題があるサイトを公開しない)

脆弱性 (脆弱性, 脆弱性で生まれる損失, 個人情報保護法, OS コマンド・インジェクション)

XSS脆弱性対策 (XSS, 適切なエスケープ処理, リグレッション)

パスワード脆弱性対策(ハッシュ関数, メッセージダイジェスト, 不正アクセス禁止法, パスワードジェネレーター, 辞書攻撃)

セッション固定化攻撃脆弱性対策 (セッション, セッション固定化攻撃, ハッシュ値による正当性チェック)

より強固なセッション管理 (推測しづらいセッション識別子, 秘密鍵)

CSRF脆弱性対策 (CSRF, ワンタイムトークン)

安全なHerokuへの公開 (脆弱性に対する考え方, HTTPの廃止)

Webアプリ応用コース

Webフレームワーク (Express.js, フレームワーク導入, 簡単なAPI, セキュリティアップデート, Cookie パーサー, ミドルウェア, 外部認証, ロガー)

ExpressのAPI (app, Properties, Request, Response, Router)

GitHubを使った外部認証 (Passport, OAuth)

スティングフレームワーク (Mocha, レッド, グリーン, リファクタリング)

継続的インテグレーション (CircleCI)

クライアントフレームワーク (Webpack, Chrome 以外のブラウザでもES6)

DOM操作フレームワーク (jQuery, jQueryアニメーション, this)

AJAX (jQuery.ajax, クロスドメイン, 同一生成元ポリシー, x-requested-by, CORS)

WebSocket (WebSocket, WebSocketの状態遷移, Socket.io)

RDBとSQL (DDL, DCL, CREATE, DROP, INSERT, DELETE, UPDATE, WHERE)

データモデリング (リレーショナルモデル, 正規化)

テーブルの結合 (外部結合, 内部結合, 片側外部結合, JOIN ON)

インデックス (インデックス, 複合インデックス, Bツリー)

集計とソート (SUM, COUNT, ORDER BY, GROUP BY)

「予定調整くん」の設計 (要件定義、用語集、データモデル、URL設計モジュール設計、MVC)

認証とRouterモジュールの実装 (Mocha, supertest, passport-stub, モックテスト)

予定とユーザーの保存 (セキュリティ要件, UUID, 複合主キー)

予定とユーザーの一覧の表示 (非同期処理, Promise, then)

出欠とコメントの表示 (入れ子の連想配列, Promise.all, 子どもからデータを消す)

出欠とコメント更新 (Promiseチェイン, リファクタリング)

予定の編集と削除 (要件の衝突, 関数再利用)

デザインの改善 (this, グローバルオブジェクト)

セキュリティ対策と公開 (X-Frame-Options, Heroku環境変数)

2017-07-06

[]7月6日

○朝食:なし

○昼食:味ご飯おにぎりからあげ梅干しおにぎり

○夕食:ご飯、納豆(二つ)、減塩野菜たっぷり味噌汁フリーズドライ)、サンマの缶詰

○間食:アーモンドn粒、スライスチーズ(四枚)、野菜ジュース

調子

はややー。

仕事はそれなりにこなした。

ようやく、暇ではなく、来週から毎日それなりにすることがある感じになったので、

金曜日さえ無事過ごせられれば、またペースが戻ってきそう。

ポケモン熱がまた上がってきた、理由は今年の映画面白そうだから

というわけで、恒例の前売り券を買ってきてテンションを上げた。

ここは、さらテンションを上げるために、

映画の前に映画を全作見返す

映画のためにゆうきゅー

という、アニポケ映画漬けを行おうと思う。

まずは、ゆうきゅー! のタイミングを調整しよう。

3DS

すれちがいMii広場

勇者食堂二週目クリア

な、長かった……

書かなくなってだいぶたちますが、実は毎日プレイしていたのです。

そして、ようやく今日クリアできました。

もうなんか感慨とか何もなくて、ようやく終わった、という安堵感しかないです。

ポケとる

ピカチュウレックウザぽんちょ)を捕獲

ピカチュウ(いろちがいレックウザぽんちょ)は出現せず

昨日、アホみたいにコイン使ったのがマジでストレス

ポケモンバンク

特に使ってないけど義務感で課金

年額500円なので完全にお布施の気分。

iPhone

○はねろコイキング

トレーナーランク53。

コイキングは、80代目。

コマスター

なにやら、大型アップデートが近日あるらしく、まだ何もわからないけど微妙テンションアップ。

さすがにメインのシナリオが追加されると想定して、イリジウムの25までクリア

それから、対人戦を二回こなして、キートレボを解放

さらに、ログボのガチャチケと石でガチャ

が、サメハダーシザリガーは出ず。

やっぱガチャ楽しくないな。

FGO

呼符でガチャが回せるので回して見たら、チャールズ・バベッジが出た。

もう百人中百人が突っ込むだろうし、Fateってそういうものなんだけど、バベッジはロボじゃねえよ! と思わず笑ってしまった。

音楽家とか作家召喚されてる時点でそりゃそうなんだけど、数学者もありなんだ、と驚いたのもある。

ノイマンとかラッセルとかもいるのかなあ? 数学者縛りプレイとかしたくなるぐらい面白いなあ。

チューリングの宝具は相手自我を問うことでウンタラカンタラとか、妄想が広がるなあ。

数学者ではなくてプログラマになってしまうけど、一番好きなプログラマヘルスバーグさんだから英霊にならないかなあ? いやまだ生きてるけども、まだ生きてるけども、別にFate世界的に生きているか否かは関係ないわけだしさ。

宝具は「Delphi」でゲーム的には味方のNPアップで、フレバー的には魔力の運用効率アップ的な感じだと思います

2016-09-24

http://anond.hatelabo.jp/20160924060939

12進数でもキリがいい数字は生まれしまうのでよくない。

フォンノイマンによる自然数構成法で表記すれば「キリがいい数字」は存在しなさそう。

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86

0 := {}

1 := suc(0) = {{}}

2 := suc(suc(0)) = {{}, {{}}}

3 := suc(suc(suc(0))) = {{}, {{}}, {{},{{}}}}

2016-05-04

http://anond.hatelabo.jp/20160503155835

説明しよう!aa略

そもそも、統合失調症という疾病概念(をはじめとした多くの精神疾患)は20世紀以降の概念だ。

なので、江戸時代に「(現代医学的な定義に基づく意味での)統合失調症」の人はいない。

から、アレな人のことを、気違いとかって言ったわけなのよね。

統合失調症という疾病区分最近のものからといって、アレな人が江戸時代にも確かにいたわけで、そういった人たちがどういった妄想幻覚幻聴をもっていたか判断することは、かなり難しい。

確かにそういった人たちや周りの人たちが書き残した資料を見つけ出すくらいしか手立てはない。

そもそも、アレな人は、江戸時代小早川療養所を描いた黒澤明の「赤ひげ」に出でくる女性のように監禁状態にあってもおかしくはないし、多くの場合はそうであったかもしれない。

あと、手塚治虫の「ブッダ」に出でくるアナンダは、大蛇に追っかけまわされる悪夢を見てるんだけど、これって統合失調症的な幻覚幻聴に思えたんだよね。

元増田の興味とはずれるかもしれないけれど、病跡学っていう方法もあるよ。

誰か亡くなった人(誰でもいいんだけど偉人対象にすることが多くて例えばフォンノイマンとかでも良い)が、何らかの精神疾患だったり発達障害だったのではないかということを現在残っている資料から推察するっていう学問だよ。

病跡学って(発達障害とかは必ずしも悪いものだとは限らないから)面白いと思うんだけど、書籍論文にあまりなってなかったりするんだよねー。

2016-01-09

ホリエモンはなんであんなに嘘つきになったんだろう。

http://weblog.horiemon.com/100blog/36286/

これまで種を蒔いてきた数々のビジネスは7〜8割の確率で芽が出ている

って無理じゃないか。本当に革命的なベンチャーを始めて、7割の成功率なんてありえない。シリコンバレーの優秀なベンチャーキャピタルでも、成功率は1割程度だし、日本代表する経営者の一人であるユニクロ柳井会長も、一勝九敗という本を書いている。7割の成功率を実力で達成できるとしたら、ホリエモンジョブスの再来とかいレベルではない。宇宙人、もしくはフォンノイマンの生まれ変わりレベルだ。

仄聞する限りでは、ホリエモンは優秀な人ではあるものの、おそらく人外レベルには達していないと思われる。だとすると、有料メルマガみたいな世界を変えることとは程遠い固いビジネスばかりやっているか、誇張しているか、どちらかだろう。


なぜわざわざメディアに現れ、嘘をついて、経験が足らない若い人を混乱させる必要があるのかよくわからない。日本ベンチャー業界では十分に立場確立しただろうからお金に困ることはないだろうに。

2015-11-16

http://anond.hatelabo.jp/20151116010400

http://anond.hatelabo.jp/20151116001112 みたいなあからさまのデタラメなんて

釣りに決まってるでしょ。ノイマン経済学書を見てこんなんクソだ俺ならこれを使う、と言って

経済学者のモルゲンシュテルンがやってたことを出してきた(後に共著を出す)のがゲーム理論

っていう歴史すら知らなそう。もちろん説明も間違いだらけ。

2015-06-22

http://anond.hatelabo.jp/20150622000900

わかる。

匿名からこそ書けるが私はゼータ関数が嫌いだ。

いつもここぞというところで出てくる。

「俺が必要なんだろ?」って顔をして出てくる。

出てくるなよ帰れよと言いながらも頼らざるおえないのがまた腹立つ。

信者が多いのもまたムカつく。

その点球面調和関数はいい奴だよ。

臭いが素朴で好感の持てる奴だ。

3dプロットするといかにもそれっぽい形をしているところも好みだ。

しかあいつ、ああ見えて正規直交性持ってるからな。

一見優しそうに見えて筋を通すところは通すいい奴なんだ。

奴が来るとだいたい問題は解決する。

ホントいい奴だよ。球面調和関数は。

一方ノイマン関数やベッセル関数はどうだ。

あいつらちょっと亜種増やし過ぎじゃね?

modified とか言って増やすなよもう。あいつらあんなにいらないだろ?

どっかのアイドルグループかよ。

ちょっとあいつら調子に乗り過ぎだと思う。

ついでに言うとヨスト関数も好きじゃない。

ポールがどこにあるか探り合っているカンジが嫌だ。

あい絶対腹黒だと思う。

みんなあいつの甘いマスクに騙されてるよ。

2015-05-08

数学のための数学

プログラミング言語などへの応用を通じて生活の役に立つ可能性を提供すると同時に,それ自体が脳活動の立派な所産であって,数学のための数学もっと有用で美しくなければ意味がないが)こそがもっとも高度な知的活動なのである。ちなみにフェルマーの最終定理のような簡単な整数論証明でも,結局,スキームの圏などの現代的な代数幾何構成を用いている。これはノイマンベルナイスゲーデル流の集合論(NBG集合論)という、通常の集合に加えて類 (class) を考え、ただし集合に対する言明の真偽(証明可能性)は ZFC集合論と同じになる(ZFC の保存的拡大という)ようにした枠組みで定義される。NBG集合論本質的には ZFC集合論と同じもので、ZFC集合論に到達不能基数の存在公理を付け加えてグロタンディーク宇宙構成を可能にしたもので置き換えられると考えられている。このことから最終定理証明のために本当はどれだけの公理必要なのかについては疑問が呈されてもいて、ZFC よりは弱い体系でも十分なのではないかと言われている。最終的な証明重要役割を果たした谷山・志村予想に関して、ワイルズテイラー証明したのは「半安定」と呼ばれる特殊場合であった。フェルマーの最終定理(の反例)からくるであろう反例の可能性を排除するにはこれで十分だった。後に谷山・志村予想は完全に証明され、今では数論の1つの到達点とされて「モジュラー定理」とよばれることもある,と言われるように,そもそも整数論自体を整理するより高度の概念発見されなければ証明できなかったのである

2015-05-06

フェルマーの最終定理は,証明に400年かかった上に,最終的証明スキームの圏などの現代的な代数幾何構成を用いている。これはノイマンベルナイスゲーデル流の集合論(NBG集合論)という、通常の集合に加えて類 (class) を考え、ただし集合に対する言明の真偽(証明可能性)は ZFC集合論と同じになる(ZFC の保存的拡大という)ようにした枠組みで定義される。NBG集合論本質的には ZFC集合論と同じもので、ZFC集合論に到達不能基数の存在公理を付け加えてグロタンディーク宇宙構成を可能にしたもので置き換えられると考えられている。このことから最終定理証明のために本当はどれだけの公理必要なのかについては疑問が呈されてもいて、ZFC よりは弱い体系でも十分なのではないかと言われている。

2015-05-02

パソコンはそもそもまず数学的な図形的形式的な着想の集積の上に,形式的言語学の所産であるプログラミング命令をフォン=ノイマンという天才メモリの中に格納してそれでもって電磁気の動きを制御できるようにした上,更に高度化を進めてできたものから,お前のような浅ましいやつがパソコンを使えるなんて,おこがましい話だよ。

アーカイブ ヘルプ
ログイン ユーザー登録
ようこそ ゲスト さん