  |
はてなキーワード: 計算機とは
SICP=Structure and Interpretation of Computer Programs（計算機プログラムの構造と解釈）ね。
いや、悪い本じゃないから、読みたい人は読めばいいと思うよ。
ただ、この本を読んだり、薦めたりしている人は、ほとんどこの本の主旨理解してないんじゃないかな。
まず、プログラマやプログラマ志望の人がこの本を読むのは、根本的にズレている（とくに、LispやSchemeを学ぶためにこの本を読む人）。
自動車を運転したい人が自動車のしくみを勉強するようなものだからだ。
もちろん、何度も言うように教材としては優れているから、読みたい人は読めばいい。
あと、これは前提知識が限られた人向けの参考書であって、計算機科学の主流の教科書ではない。
喩えるなら「経済学部生のための高校数学でわかる線形代数」とかそういう類の本であって、計算機科学を専攻する人がわざわざこの本を読むのは遠回り。最初から自分が学びたい分野の専門書を読めばいい。
少し付け足します。
自分はクエストとかお遣いとかストーリーに沿った動きが好き、というわけではありません。まったくそういうものがない某ゲームにはまったこともあり、自分がしたいことを目指すのが嫌いなわけではないです。
ただ、あつ森は創造的なものをする土壌とは思えなかったのです。どこまでいっても作業の積み重ねです。箱庭ゲーの特徴かもしれませんが、結果は作業時間に比例します。つまり作業を多くすれば結果は伴う反面、工夫の余地があまりありません。また、どこまでいっても蒐集の域を超える物ではありません。庭や建物を作るにしても、それらが相互に影響し合って予想もしないことに繋がるかと言えばそんなわけではないですよね。例えばマリオメーカーやマイクラのように、計算機を作るといった芸当はありません。
ポケモンの世界観を作る人は本当にすごいと思います。少ないものでアーティスティックなことをするのは素晴らしいと思います。だけどそこまででなければ自己満足の世界です。その自己満足の世界を形作るのには徹底的な作業ゲーでしか到達できません。その作業ゲーには住民との会話が含まれ、それが少しでも面倒になったらこのゲームは木を切るか石を割るか釣りをするかしかない単調極まりないものに変貌します。
資格勉強のために漢字練習帳を埋めるような行為だと私は思いました。いったいこのゲームはなにを目指しているんだろう。自分の見えないものを他の人は見ているんだろうか。
横にずれますが、某ゲームでは現実のフィールドにアーティスティックな絵を描くことが可能であり、それを利用した協力プレイをよくしていました。そのゲームでは自身の動ける範囲や選択肢がとても限られる上に、1ワールドゆえに他者からの妨害を受ける可能性が非常に高いのです。よって時間をかけて一つのサーバで大作を作る、ということは不可能であり、覆って一瞬で作業を行うために綿密な作業行程の周知や様々な協力をする必要があるのです。
ゆえにそのような協力プレイは総プレイ時間やゲームの腕前はあまり関係なく、むしろ実社会での能力や現実空間でどれだけアクティブに動けるかなどが求められます。ようは結果ではなく過程や準備こそが重要でした。そこにあらゆる可能性があったが故に面白みがあるのです。
しかしあつ森のような、自分の閉じた世界だけで満足しなければいけないゲームでは、結局プレイ時間を増やさないとやりたいことが一切できません。また街を発達させることこそが至上命題のような節があり、そこが自分に一切合いませんでした。だって家具・家電や住人に特に面白みがないのですから。
逆に好みのアイテムがあればそれでよかったかというと、そんなわけでもありません。そもそも蒐集が得意ではないのです。
単調作業の繰り返しでも面白いゲームはたくさんあります。ただ、あつ森にそれはいらないかなと。あえていうと青バラの要素が無数にあったら楽しめたのかもしれません。
考えてみたが馬鹿なので、どれもこれも筋が悪いようにしか感じられない。
少なくともYouTuberではない。広告で稼ぐでも、金融でもない。ニュースを追いかけ続け風見鶏のコメントをして広告費を稼ぐでもない。
徐々に装置に依存するプロジェクトを減らしていきたい。計算機実験。吟味対象標本の種類を増やし、手もとにいろいろな種類を抱えるのは安心感を醸成するという意味では良いが、成果出すことへの無言の圧力もかかるし人間関係をこじらせるかもしれない
すべてのプロジェクト書き出すはGTD(ライフハック)の教え。すべてのプロジェクトをリポジトリにしてGitHubアカウントで一覧できる状態にしたときのメリット・デメリットは？デメリットなんてない気がする。ToDoあまりもの多さを前になえる？〆切なんてずっとずっと先出し・・・枠組みを完成させて脳みそ的には現在のことに集中する！
連中が年度末になると書き散らすチラウラ。どうすればサルベージできるのか？サルベージする価値の有無はまた別の問題。ということでとりあえずサルベージするとしたらどうするのが燃え尽き症候群り患者を駆動できるか
「松尾ぐみの書き方」は役立ちそう。なんというかそういう観点から飾り付けるというか盛るというかそういうことを考える時間を定期的に設けるは良きことかな？
ADHD傾向の人の場合、だらだらと一度も過集中を使えずに2年間を過ごして直前に過集中を使うより、毎3ヶ月・毎6ヶ月の短期間のうちに過集中を用いて全力で決着をつけるほうが、はるかに生産的。全体の時間配分について。ターゲットとなる deadline に対して、最後の1ヶ月は執筆だけで良いように。なるべく○○はしなくていいように逆算する
○ご飯
朝食：セブンのジューシーハムサンド。昼食：おにぎり。夕食：タマネギ、人参、トマト、豚肉の鍋。パン。チーズ。
○調子
むきゅーはややー。
日課。
火の編成をイジイジしてた。
ウシュムガル(メイン)、コロ杖5凸、ウシュムガル、オッケ3凸三本、天司、無垢剣、バハ短剣、コスモス剣。
なんかとっ散らかったんだけど、火ユイシス入れたらなんか割と楽しかった。
火ジークとランスロットアンドヴェインの二人もアビダメかつ剣得意なので、なんかそれっぽく動けてる感じがする。
雰囲気でグラブルしてるので計算機叩いて無いんだけど、まあ楽しく遊べたからいいや。
星6：ペコ、コッコロ、キャル、コロナレイン、アルパカ、今井麻美、マホ、ユイ、レイが終わり。東山奈央、大橋彩香を進めてる。イオは目処が全く立たないので放置。
ハード：エリコとミミの星上げは終わってるので専用装備。他の子も星三まではしてる。
ダンジョン：ミツキの専用装備の上限上げ。ミサト、キャル、今井麻美、アカリ、クウカ、マホ、ノゾミは終わり。他の子も星三まではしてる。
アリーナ：ヒヨリの星上げ。コロナレインは終わり。他の子も星三まではしてる。
プリーナ：ハツネの星上げ。サイドも並行してる。他の子も星三まではしてる。
確かに計算機を圏論として考える場合に計算量を無視してしまう事が多いのが現状です
細かな計算量の違いを反映した圏を構成しようとしている研究者もいるけど
そこまで具体的な成果は出ていない…問題としては面白くても原理的な難しさが存在するのかもしれない。
ここで望月新一のIUT理論が計算機科学への応用の可能性があれば面白いのだけど
IUT理論はフロベニオイドという概念に基づいての議論が多い上で
圏とアーベル圏についてざっくり調べてみたけどわからんな（当たり前だが）。この後はわかってない人間の勘違いを多分に含んだ与太話だ。
多分計算機は群と関数の集まりだとみなせるんで圏の一種だと思うことはできそう。
ただ、計算機の世界には計算中という状態が存在するけれど、数学は抽象的になるほど状態を気にしないというか、計算が一瞬でできるものの様に扱っていそう。
情報学にはその計算がどのくらいの時間でできるのかということをざっくり表すオーダー（計算量。Oって書く）という考え方があるけど、圏論にもオーダーの概念を取り込んで見ると面白いかも知れない。
例えば、クイックソートとバブルソートをする計算機があったとして、多分普通に圏論の世界で考えると計算機の中身は気にせず結果は同じだから同じ計算機だと考えそうだけど、情報学の世界だとクイックソートはO(n log n)でバブルソートはO(n^2)なんで、同じソート計算機でも別物として扱う。
アルゴリズムはなぜアルゴリズムであって関数と呼ばれていないのか？それは俺も知らんのだけど、関数に計算量の概念を付け加えてみると今まで同じだと思われていたことが実は違ったみたいな話になってますますカオスになるのかも。
オリンピック中止！ってここに書いておけば
後々見返したときにこんなことあったなーって
というか、
今日も慌ただしく午前中は出掛けるというので
そそくさと私はまたいつものように書いているわけだけど、
本格的にここまで大々的にオリンピック級のイベントであるオリンピックが中止となると
増産も好きだけどキリンさんも好きです！って言いたいけど
また行き渡るまでは3ヶ月は有に掛かりそうだし、
マスク増産行き渡った途端に新薬登場のアメリカの凄いコンピューター界のスーパーコンピュータのアベンジャーズが
なんとなく聞いた単位をそのまま書いてみたくなるような、
その圧倒的な計算力で解析してるらしいわよ。
もうパータッチの比ではないわね。
そしてOAフロアにはまって謎が謎を呼ぶミステリーになる予感。
主演はトムハンクスさんで良いから、
とにかく凄い計算を熱く演じるエンジニアを演じて欲しいところよ。
卓上計算機で1足す1は！ってずっとイコールキーを一生連打し続けてもなしえない
その圧倒的な計算力をって感じよ。
とりあえず
類を見ないこのオリンピック中止のニュースに株価がまたざわつく前に
ニュースで聞いたことをそのまま書くような知ったかぶりのようで
ぜんぜんデタラメであるこの世の中の真ん中は愛媛！って言う感じを
思い付いたところで、
出掛けていきたいと思うわ。
お天気キャスターのお姉さんが言ってたんだけど
整いましたーつって、
晴天とかけまして1円玉と解く
その心はこれ以上崩れません！
あーなるほどね、
土屋アンナさん対策に話題を練っているエピソードが大好きすぎて、
擦り倒してしまいそうなぐらいよ。
なんだかんだ言ってゴッドファーザー！って言っておけばいいってね。
うふふ。
私の昼食ランチはオリンピック級に中止になりませんようにと願いながら
つどつど分解して洗って完全に乾ききるまで待てない感じがいいわね。
舞ってられないと言うか、
早く乾いて頂戴って思ってやまない
これは美味しいポイントはあるのかしら？と
やっぱり抹茶はそもそもとして美味しいお茶を臼に掛けてるから美味しいんじゃないか説も疑ってしまう
これ粉ちょっとでも多すぎると苦ーって感じよ。
荷が重いわ。
すいすいすいようび～
今日も頑張りましょう！
嫁が友人と出かけ、私もそろそろ出かけようかなと思った時にお義父さんから電話があった。
「財布忘れてるで」
まじすか。
その後LINEで送られてくきた画像は、お義父さんと財布のツーショットで「もらうで」というメッセージが書き込まれていた。
すんませんと平謝りし、財布はこっちに送ってもらうことになったが一時的に無一文。
ペイペイがあるがスマホでSuicaが使えないので、電車に乗れないし、今日友人と飲みに行く店は現金しか使えない。
なら事情を説明して延期してもらうとか、金を借りるとかすればと考えたが、友人は一時的に帰国しているので今日を逃すとしばらく会えない。友達に金を借りるのは絶対に嫌だしキャッシングなんかしたくない。
どうしたものかと思ったのも束の間。徒歩2分の所に質屋があったのを思い出した。キャッシング寄りはまだ罪悪感が少ないと思った。そして話のネタになるだろうと思い質屋へ行くことにした。
質に入れる物は、
の3点に絞られたが、結婚指輪は言語道断。カメラは今日使う。ギターは今日は弾かない。
というわけでギターに。
めっちゃドキドキしつつ、ギターに申し訳ない気持ちや、なんだか情けない気持ちが混ざり合い興奮状態に。
引き戸を開けると眼鏡をかけたおじさんがいて、「いらっしゃい。どうしたの？」と聞かれたので僕はカンタみたいにンとギターを差し出した。緊張のあまりにだ。
「質でいい？」と聞かれはいと返事をしたが他に何かあるのかと思ったら、買取もしているようだった。
「今日はなんできたの？」とか色々聞かれるのかと思ったけど、ギターを受け取って5分もしない内におじさんは「15万円まで大丈夫だよ」と計算機を見せてくれた。
この時初めて知ったけど、限度額が15万円なだけであって、その範囲であれば1000円でもいいそうで。
「あ、じゃあ2万円で」
その後僕は身分証明書を渡し、用紙に記入し2万円と質札を手に入れた。
高い。
財布が届き次第返しに行くつもりだけど、質屋だろうがやっぱり誰かから借りた金というのは持っていて落ち着かないなと思ったし、話のネタにもならない。。。。
補足
そうやってみんながパソコンを買ってくれたから、ＣＰＵもメモリもコストが劇的に下がってくれた。
５０年前は大学の計算機センターとかに行かなければ、回帰分析ひとつできなかった。
ドローンだってスマホが爆発的に売れて、小型センサーの価格がとんでもなく下がったから、センサーを山のように積んだらできてしまったようなもの。
みんなのお布施が世の中を変える。
適当に感想を述べる。ただの主観なので履修に悩んでいる人はシラバスと逆評定を読め。L系列については書かない。
「¬A ∧ (A ∨ B) ⇒ B」みたいな命題の証明を、ある規則に従って行ったりする。理科生的には数学の根源を掘っているみたいで楽しい。
全13回の授業で毎回違う教員がいろいろ話をしてくれる。各回ごとにレポート課題が出るが、最終的に提出するのは1つだった。単位に関係あるのは実質1回だけなので、結構気楽に聞くことができて癒しになる。普通の講義は毎回理解を求められるが、この授業は理解できなければその回のレポート課題を選ばなければよいだけなので。
人間の認知機能と脳機能の関係をやる。説明の都合なのか話題の9割が視覚（特に錯視）についてだった。脱線が激しすぎて全体的に何を言いたいのかいまいちわからない。ノートとスライドと教科書を見比べまくってなんとかしたが面倒すぎた。良い勉強方法が最後までわからない。
学際の香りがする。主に扱うのは二酸化炭素とオゾンホールとプラスチックとダイオキシン。「地球に温室効果がなかったら気温は-15℃」というのはよく聞くと思うが、その根拠をエネルギー収支の計算から示したりする。意外と覚えることは多い（フロン番号の命名規則とか）。
印象がない。新しいことを学んだ気がしない。とにかく簡単だった。
天下り的にいろんな化学が降ってくるが、具体的な理論づけは全くやらないので結局暗記ゲーと化した。基礎化学で扱う内容は、後々その他の化学系の科目で詳しく扱うので正直取る意味がなかったと思う。
熱力学の更なる応用みたいな感じ。ルシャトリエの原理とかの証明をしたり、酵素の阻害剤がどう働くのかをやる。学ぶところが多くて楽しいが結構難易度は高い。
なにもわからん。
Pythonやってれば楽勝。Pythonの実用みたいな感じ。アルゴリズム力よりコーディング力が付く。
アルゴリズム入門よりアルゴリズム寄り。ダイクストラ法とかやる。毎回課題が出るので面倒さは結構ある。アルゴリズム好きな人は楽しいと思う。
CUIなら結構自動化できるが、GUIしかないソフトがあり、自動化のネックになる。
デスクトップ画面をキャプチャして画像としてボタンを認識する方法が、検索すると出てくるが、実行すると時間がかかるし、後からプログラムを見ても何をしているのかがわかりにくい。
もう一つはUI AutomationをInspectorで探して押すが、よく例に出てくるようなWindows標準搭載の計算機見たく素性が良くないソフトが多い。
またボタンを押してすぐに処理が終わるのであればいいが、イベントの終了を捕まえるのが大変だ。
個人的に、[アプリ名].[ウィンドウ名].[ウィンドウ名].[アクション]といった風に、ドットで下位階層に降りていって実行したい。
座標を入力してクリックするといった、よくわからない処理を書くより明確になる。
できそうなものなのだが、GUIの英語表記と日本語表記のゆらぎもあり、めんどくさい。
ブラウザであれば裏で構造化できている（Facebookのようにわざとわかりにくくする所もあるが）と自動化しやすいが、どうもしにくい。
マイクロソフトが用意してくれればいいんだが。
製造業なんて古いのは諦めて、これからはソフトウエアやサービスに変わるんだという話はずっとされている。
GoogleやAmazonやFacebookを例に、これからはこの方向だ、と理由付けされる。
とはいうものの、差別化を支えているのは真似ができないほどのサーバーなどのハード資産を持っているからだ。
通常の工場の生産設備と毛色が違うのは、汎用性があってラインを組み替えるよりも容易に転用ができる点だ。
中で流すものも食品や機械とは異なり、データなので高速だ。ラインを極限まで早くしたのがサーバー群と言える。
海外から買ってきて、自分達で作っているわけではないのでノウハウの蓄積もなく産業育成にも失敗した。
サービスの時代だと言われるが外貨を稼げるくらい差別化ができたサービスがあるかと言われると疑問がある。
地方のパチンコや娯楽に流れていたお金が、スマフォと通信によって東京に流れていって、まだ東京はマシだが全体で見れば徐々に衰退していっている。
地方交付税交付金で一時的に地方に戻しているが、地方が頑張ろうとすると東京の企業に流れ込む構造で変わらない。
物流よりもデータの方が速く、これからはデータが価値を生むと分析結果を出し、じゃあサービスだとと言いたくなるのもわかる。
とはいえ、お金が誰かの借金とその返済能力で支えられているのを遡れば、資源と誰かの労働だ。
製造業を諦めるということは、そのうち資源というカードを捨てるということになる。
金本位制じゃないんだから国がいくらでも金を刷って支えればいいというのも、誰かの返済能力が担保なのだから労働だけで支えられるのか。
毎日何時間とかなので、なんかいろいろ言われてるスマホ依存にあてはまるんだろう。
朝30分、夜30分程度、アプリで漫画みてるんだけど、これを例えば紙の漫画をレンタルして週末にまとめて借りればスマホを見る時間は減る。でも、漫画を読むという行為やかける時間、脳に入ってくる情報はそんなに変わらない。
ネットで調べものするのは全部パソコンでやれば、1時間とかは減る。漢字調べるのは辞書とかでもよいかもしれない。スマホを見る時間は減るけど、調べるという行為や脳が処理する情報はやっぱり変わらない。広告が目に入らないとかはあるかもだけど。
体重管理にスマホでやってるけどこれをノートとかにすればスマホを見る時間は減る。スケジュール管理もスケジュール帳でやる、写真はカメラで撮る、計算機は電卓使う……
…こんな風に、スマホでやってることをスマホ以外でやればスマホを見る時間は減る。でも、やってることはそんなに変わらない。
いろいろ分かれてるの不便だよね、ひとつにまとまったらいいよねみたいな思想からスマホってできてきたとおもうけど、それをやればスマホ依存？
ふしぎ！
何かの参考とかにしたらダメです。書き始めて半年経つんだけどこっからどう直したらいいんだか（何をゴールにしたらいいのか）わからない。。
追記：合流性とか強正規化可能性とか停止性とか、全部チューリング不完全で、事前の静的解析で使うメモリの最大量が確定できる、とかそういう風に読み替えられる人を増やしたいのです、数式の添え字とΣと∫にびびらない人を増やしたいようなもので
数理論理学の一分野である証明論から成長した、数理論理学と理論計算機科学の境界領域の研究領域である型理論(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) ゲームプログラムやネットワークサービスにおいてしばしばみられるように、入力として無限リストや任意に深い木のようなものを想定する場合には明らかに（条件を満たさない限り）停止しないことが正しい動作となり、この場合は最外周のループを（←どうする？）メモリリークを起こさないなど別の考慮が必要となる。
