「計算機」を含む日記 RSS

はてなキーワード: 計算機とは

2020-06-05

今どきSICPなんかわざわざ読むかね

SICP=Structure and Interpretation of Computer Programs(計算機プログラム構造解釈)ね。

いや、悪い本じゃないから、読みたい人は読めばいいと思うよ。

ただ、この本を読んだり、薦めたりしている人は、ほとんどこの本の主旨理解してないんじゃないかな。

この本は、非専門家向けに書かれた計算機科学の入門書だ。

まず、プログラマプログラマ志望の人がこの本を読むのは、根本的にズレている(とくに、LispSchemeを学ぶためにこの本を読む人)。

自動車運転したい人が自動車のしくみを勉強するようなものからだ。

もちろん、何度も言うように教材としては優れているから、読みたい人は読めばいい。

あと、これは前提知識が限られた人向けの参考書であって、計算機科学の主流の教科書ではない。

喩えるなら「経済学部生のための高校数学でわかる線形代数」とかそういう類の本であって、計算機科学を専攻する人がわざわざこの本を読むのは遠回り。最初から自分が学びたい分野の専門書を読めばいい。

2020-06-04

続:あつ森を楽しめない自分人類の仲間になれない

以前の増田のものです。

少し付け足します。

自分クエストとかお遣いとかストーリーに沿った動きが好き、というわけではありません。まったくそういうものがない某ゲームにはまったこともあり、自分がしたいことを目指すのが嫌いなわけではないです。

ただ、あつ森は創造的なものをする土壌とは思えなかったのです。どこまでいっても作業の積み重ねです。箱庭ゲーの特徴かもしれませんが、結果は作業時間に比例します。つまり作業を多くすれば結果は伴う反面、工夫の余地があまりありません。また、どこまでいっても蒐集の域を超える物ではありません。庭や建物を作るにしても、それらが相互に影響し合って予想もしないことに繋がるかと言えばそんなわけではないですよね。例えばマリオメーカーマイクラのように、計算機を作るといった芸当はありません。

ポケモン世界観を作る人は本当にすごいと思います。少ないものアーティスティックなことをするのは素晴らしいと思います。だけどそこまででなければ自己満足世界です。その自己満足世界を形作るのには徹底的な作業ゲーでしか到達できません。その作業ゲーには住民との会話が含まれ、それが少しでも面倒になったらこゲームは木を切るか石を割るか釣りをするかしかない単調極まりないものに変貌します。

資格勉強のために漢字練習帳を埋めるような行為だと私は思いました。いったいこのゲームはなにを目指しているんだろう。自分の見えないものを他の人は見ているんだろうか。

横にずれますが、某ゲームでは現実フィールドアーティスティックな絵を描くことが可能であり、それを利用した協力プレイをよくしていました。そのゲームでは自身の動ける範囲選択肢がとても限られる上に、1ワールドゆえに他者から妨害を受ける可能性が非常に高いのです。よって時間をかけて一つのサーバで大作を作る、ということは不可能であり、覆って一瞬で作業を行うために綿密な作業行程の周知や様々な協力をする必要があるのです。

ゆえにそのような協力プレイは総プレイ時間ゲームの腕前はあまり関係なく、むしろ社会での能力現実空間でどれだけアクティブに動けるかなどが求められます。ようは結果ではなく過程や準備こそが重要でした。そこにあらゆる可能性があったが故に面白みがあるのです。

しかしあつ森のような、自分の閉じた世界だけで満足しなければいけないゲームでは、結局プレイ時間を増やさないとやりたいことが一切できません。また街を発達させることこそが至上命題のような節があり、そこが自分に一切合いませんでした。だって家具家電や住人に特に面白みがないのですから

逆に好みのアイテムがあればそれでよかったかというと、そんなわけでもありません。そもそも蒐集が得意ではないのです。

単調作業の繰り返しでも面白ゲームはたくさんあります。ただ、あつ森にそれはいらないかなと。あえていうと青バラの要素が無数にあったら楽しめたのかもしれません。

anond:20200602145522

2020-05-03

anond:20200503015701

バビル2世 2進数が直接碁盤目のランプに表示されているでっかい計算機が主要キャストで出てくる

2020-04-29

anond:20200429200835

時計電卓普通に実用品として買う連中が沢山おるで。

計算機入力物理キーであるありがたみや手首ひねるだけで時間がわかるメリットデスクワーカーには理解できないだろうけど。

コロナ後、日本は何で稼ぎ食べていくのか

増田現状認識

  1. 格差拡大企業内部留保は大きくなっているが、再分配強化だけで日本全体を救えるほど多くはない。パイの拡大が必要
  2. 日本人は貯蓄率が高いと言われていたのは過去の話。先進国内でも低い順位
  3. リーマンショックで一度下がった後、不動産価格デフレ化でも数千万単位で上昇し、人口減少下でも総負債額を維持してきた。共働き推奨などで延命してきたが、生涯賃金でも払えない額に近づいている。仮に景気回復金利上昇すると変動金利をとっている家計破綻
  4. 財政出動しようにも海外製品ばかりになってしま国内お金が回らない。(ペイペイApple製品の普及率が増えても意味がない)
  5. 失業者が溢れている状況であれば財政出動雇用対策になるが人手不足が続いている状況。事業しようにも人がいない。
  6. 介護子育てロボット導入でスケールしない。人口動態に合わせた分の投資以外は意味がない。
  7. Pepperが失敗したように家庭内向けのロボットはまだ機能不足。ロボットアームも人件費より高価。ティーチングコストなど考えてもすぐに普及しない。
  8. 自動運転により価格が80万ほど高くなると、より一般家庭は持てなくなる。メンテナンス費用増。都市部ドル箱以外は普及しない。
  9. ガートナーのハイプサイクルに振り回されるのは辞めた方がいい。アメリカ投資を呼び込むためのもので、日本への投資向けではない。日本アメリカへの投資は増えているが、アメリカ日本への投資は増えていない。
  10. 日本企業大学技術などを取り上げるメディアが多くならないと、日本への投資は増えない。GoogleAppleの噂や英語記事翻訳だけ続けていてもジリ貧になるだけ。
  11. Googleは物が売れなくなって、企業研究費でクラウドを使ってもらうことで稼ぐようなこともしている。実社会問題解決できなくてもよい。多くの計算機必要になるAI技術が普及されればいい。
  12. 軍事産業を嫌う余り、クラウドですらNIST SP800-171などの軍事規格に対応できていない。米軍兵器情報を扱うのに必要になるため国内ベンダーが選定から外される。



何で稼いでいくのか

考えてみたが馬鹿なので、どれもこれも筋が悪いようにしか感じられない。

少なくともYouTuberではない。広告で稼ぐでも、金融でもない。ニュースを追いかけ続け風見鶏コメントをして広告費を稼ぐでもない。

またプログラミングを使って転売転売幇助でもない。


2020-04-13

コロナ禍で動けないので将来計画をなんとなく考える!

徐々に装置依存するプロジェクトを減らしていきたい。計算機実験吟味対象標本の種類を増やし、手もとにいろいろな種類を抱えるのは安心感を醸成するという意味では良いが、成果出すことへの無言の圧力もかかるし人間関係をこじらせるかもしれない

すべてのプロジェクト

すべてのプロジェクト書き出すはGTD(ライフハック)の教え。すべてのプロジェクトリポジトリにしてGitHubアカウントで一覧できる状態にしたときメリットデメリットは?デメリットなんてない気がする。ToDoまりもの多さを前になえる?〆切なんてずっとずっと先出し・・・枠組みを完成させて脳みそ的には現在のことに集中する!

書き散らしたものども

連中が年度末になると書き散らすチラウラ。どうすればサルベージできるのか?サルベージする価値の有無はまた別の問題。ということでとりあえずサルベージするとしたらどうするのが燃え尽き症候群患者駆動できるか

書き方

松尾ぐみの書き方」は役立ちそう。なんというかそういう観点から飾り付けるというか盛るというかそういうことを考える時間を定期的に設けるは良きことかな?

生産性

ADHD傾向の人の場合、だらだらと一度も過集中を使えずに2年間を過ごして直前に過集中を使うより、毎3ヶ月・毎6ヶ月短期間のうちに過集中を用いて全力で決着をつけるほうが、はるか生産的。全体の時間配分について。ターゲットとなる deadline に対して、最後の1ヶ月は執筆だけで良いように。なるべく○○はしなくていいように逆算する

2020-04-06

[]4月6日

ご飯

朝食:セブンジューシーハムサンド。昼食:おにぎり。夕食:タマネギ人参トマト豚肉の鍋。パンチーズ

調子

むきゅーはややー。

仕事はむにゅりん。

グランブルーファンタジー

日課

火の編成をイジイジしてた。

ウシュムガル(メイン)、コロ杖5凸、ウシュムガル、オッケ3凸三本、天司、無垢剣、バハ短剣コスモス剣。

なんかとっ散らかったんだけど、火ユイシス入れたらなんか割と楽しかった。

ジークランスロットアンドヴェインの二人もアビダメかつ剣得意なので、なんかそれっぽく動けてる感じがする。

雰囲気グラブルしてるので計算機叩いて無いんだけど、まあ楽しく遊べたからいいや。

バハ短剣とウシュムガルのところにシヴァ剣が入るんかなあ。

プリンセスコネクト

目標が迷走してきたので、自分用まとめ。

星6:ペコ、コッコロ、キャル、コロナレインアルパカ今井麻美マホユイレイが終わり。東山奈央大橋彩香を進めてる。イオは目処が全く立たないので放置

ハード:エリコとミミの星上げは終わってるので専用装備。他の子も星三まではしてる。

ダンジョン:ミツキの専用装備の上限上げ。ミサト、キャル、今井麻美アカリ、クウカ、マホ、ノゾミは終わり。他の子も星三まではしてる。

アリーナ:ヒヨリの星上げ。コロナレインは終わり。他の子も星三まではしてる。

リーナ:ハツネの星上げ。サイドも並行してる。他の子も星三まではしてる。

クラン:悩み中。マコト星5までは終わったので、イオマコトの専用装備か悩み中。

2020-04-04

anond:20200404024237

かに計算機圏論として考える場合計算量を無視してしまう事が多いのが現状です

細かな計算量の違いを反映した圏を構成しようとしている研究者もいるけど

そこまで具体的な成果は出ていない…問題としては面白くても原理的な難しさが存在するのかもしれない。

ここで望月新一のIUT理論計算機科学への応用の可能性があれば面白いのだけど

IUT理論はフロベニオイドという概念に基づいての議論が多い上で

フロベニオイドは計算機モデルとして扱える可能性は殆ど見えないのが残念

anond:20200404012855

圏とアーベル圏についてざっくり調べてみたけどわからんな(当たり前だが)。この後はわかってない人間勘違いを多分に含んだ与太話だ。

多分計算機は群と関数の集まりだとみなせるんで圏の一種だと思うことはできそう。

ただ、計算機世界には計算中という状態存在するけれど、数学抽象的になるほど状態を気にしないというか、計算が一瞬でできるものの様に扱っていそう。

から情報学圏論は相性悪そうだと思う。

情報学にはその計算がどのくらいの時間でできるのかということをざっくり表すオーダー(計算量。Oって書く)という考え方があるけど、圏論にもオーダーの概念を取り込んで見ると面白いかも知れない。

例えば、クイックソートバブルソートをする計算機があったとして、多分普通に圏論世界で考えると計算機の中身は気にせず結果は同じだから同じ計算機だと考えそうだけど、情報学世界だとクイックソートはO(n log n)でバブルソートはO(n^2)なんで、同じソート計算機でも別物として扱う。

アルゴリズムはなぜアルゴリズムであって関数と呼ばれていないのか?それは俺も知らんのだけど、関数計算量の概念を付け加えてみると今まで同じだと思われていたことが実は違ったみたいな話になってますますカオスになるのかも。

2020-03-25

中止のニュースを聞いて増田州間定期をすーゅ煮の紙ウュ値(回文

おはようございます

オリンピック中止!ってここに書いておけば

後々見返したときにこんなことあったなーって

思うことあるじゃないって思いながら今日綴ります

というか、

今日も慌ただしく午前中は出掛けるというので

そそくさと私はまたいつものように書いているわけだけど、

本格的にここまで大々的にオリンピック級のイベントであるオリンピックが中止となると

本当にマスク私たちに行き渡るのかしら?って思うのよ。

増産しました!増産しました!って言っても

増産も好きだけどキリンさんも好きです!って言いたいけど

また行き渡るまでは3ヶ月は有に掛かりそうだし、

マスク増産行き渡った途端に新薬登場のアメリカの凄いコンピューター界のスーパーコンピュータアベンジャーズ

33ペセタというペネタの雲の上のような、

なんとなく聞いた単位をそのまま書いてみたくなるような、

その圧倒的な計算力で解析してるらしいわよ。

もうパータッチの比ではないわね。

実に映画化決定して欲しいわ!

そしてOAフロアにはまって謎が謎を呼ぶミステリーになる予感。

主演はトムハンクスさんで良いから、

とにかく凄い計算を熱く演じるエンジニアを演じて欲しいところよ。

私ならゴーンの映画よりワニの映画より、

その33ペセタという圧倒的な

卓上計算機で1足す1は!ってずっとイコールキーを一生連打し続けてもなしえない

その圧倒的な計算力をって感じよ。

あーでも火の鳥ワニ編は見たいかも知れないけど、

アーサーCクラークさんはどう思うかしらね

とりあえず

類を見ないこのオリンピック中止のニュース株価がまたざわつく前に

ニュースで聞いたことをそのまま書くような知ったかぶりのようで

ぜんぜんデタラメであるこの世の中の真ん中は愛媛!って言う感じを

思い付いたところで、

出掛けていきたいと思うわ。

今日は全国晴天だって

お天気キャスターのお姉さんが言ってたんだけど

整いましたーつって、

晴天とかけまして1円玉と解く

その心はこれ以上崩れません!

あーなるほどね、

おぎやはぎ矢作さんが

土屋アンナさん対策話題を練っているエピソードが大好きすぎて、

擦り倒してしまいそうなぐらいよ。

なんだかんだ言ってゴッドファーザー!って言っておけばいいってね。

うふふ。


今日朝ご飯

お昼食べ損なっちゃ可能性大なので、

私の昼食ランチオリンピック級に中止になりませんようにと願いながら

ベーコンエッグベーグルタマサンドをいただいたわ。

デトックスウォーター

緑茶粉末お茶を色々試しているんだけど、

つどつど分解して洗って完全に乾ききるまで待てない感じがいいわね。

舞ってられないと言うか、

早く乾いて頂戴って思ってやまない

これは美味しいポイントはあるのかしら?と

やっぱり抹茶そもそもとして美味しいお茶を臼に掛けてるから美味しいんじゃないか説も疑ってしま

手製粉末緑茶ホッツウォーラーよ。

これ粉ちょっとでも多すぎると苦ーって感じよ。

荷が重いわ。


すいすいすいようび~

今日も頑張りましょう!

2020-03-03

anond:20200303095800

すいません、なんで表示回数よりクリック数の方が高くなるんですか?

あと計算機で「/」はどうやったらいいんですか?

2020-03-02

anond:20200301133203

よくわかってらっしゃるカスカスは十天衆素材(ついでにもちろん名前も出ないヒヒイロも十天衆素材)

十天のあとはアーカルム賢者も控えており、とにかく道のりを長くすることに命をかけてる運営なので、うかつに課金武器につっこめない

課金でどこをスキップできるかも出てきた石の運次第

そのなかでは、アグニス2枚出た、ベネディーアもある、鋼状態のダマも余ってるということであれば

ちょっと余った金剛2つばかりつっこんでいたずらしてもいいかもしれんよ

ベネは2本まで重ねないで3本目以降重ねるのがよさそう

そのうち元彼計算機でそのベネ外さないでいいといわれる日もくる

終末4凸、四象武器真化などして準備おさおさがんばれ~

2020-02-24

人生質屋

嫁が友人と出かけ、私もそろそろ出かけようかなと思った時にお義父さんから電話があった。

「財布忘れてるで」

まじすか。

その後LINEで送られてくきた画像は、お義父さんと財布のツーショットで「もらうで」というメッセージが書き込まれていた。

すんませんと平謝りし、財布はこっちに送ってもらうことになったが一時的に無一文。

ペイペイがあるがスマホSuicaが使えないので、電車に乗れないし、今日友人と飲みに行く店は現金しか使えない。

なら事情説明して延期してもらうとか、金を借りるとかすればと考えたが、友人は一時的帰国しているので今日を逃すとしばらく会えない。友達に金を借りるのは絶対に嫌だしキャッシングなんかしたくない。

からといって楽器やら漫画やらカメラやらを売りたくはない。

どうしたものかと思ったのも束の間。徒歩2分の所に質屋があったのを思い出した。キャッシング寄りはまだ罪悪感が少ないと思った。そして話のネタになるだろうと思い質屋へ行くことにした。

質に入れる物は、

カメラ

結婚指輪

ギター

の3点に絞られたが、結婚指輪言語道断カメラ今日使う。ギター今日は弾かない。

というわけでギターに。

めっちゃキドキしつつ、ギター申し訳ない気持ちや、なんだか情けない気持ちが混ざり合い興奮状態に。

引き戸を開けると眼鏡をかけたおじさんがいて、「いらっしゃい。どうしたの?」と聞かれたので僕はカンタみたいにンとギター差し出した。緊張のあまりにだ。

「質でいい?」と聞かれはいと返事をしたが他に何かあるのかと思ったら、買取もしているようだった。

今日はなんできたの?」とか色々聞かれるのかと思ったけど、ギターを受け取って5分もしない内におじさんは「15万円まで大丈夫だよ」と計算機を見せてくれた。

この時初めて知ったけど、限度額が15万円なだけであって、その範囲であれば1000円でもいいそうで。

「あ、じゃあ2万円で」

その後僕は身分証明書を渡し、用紙に記入し2万円と質札を手に入れた。

金利10万円未満だと6%だった。

高い。

財布が届き次第返しに行くつもりだけど、質屋だろうがやっぱり誰かから借りた金というのは持っていて落ち着かないなと思ったし、話のネタにもならない。。。。

補足

実家からの帰りに気付けという話だが、飛行機も帰りのバスも全てスマホで済ましていた為に全く気づかなかった。

2020-02-12

anond:20200212173653

その程度の選択肢の少なさが、そもそも問題なんだ。

アプリ開発としてはあの指摘を見て、身が引き締まる思いです。もっと全然違うもんを作らねば。計算機資源を注ぎ込みたくなる、退屈でない何か…

anond:20200211125801

そうやってみんながパソコンを買ってくれたから、CPUメモリコストが劇的に下がってくれた。

50年前は大学計算機センターかに行かなければ、回帰分析ひとつできなかった。

ドローンだってスマホが爆発的に売れて、小型センサー価格がとんでもなく下がったから、センサーを山のように積んだらできてしまったようなもの

みんなのお布施が世の中を変える。

東京大学前期教養総合科目感想

適当感想を述べる。ただの主観なので履修に悩んでいる人はシラバスと逆評定を読め。L系列については書かない。

A系

記号論理学Ⅰ(理科生)

「¬A ∧ (A ∨ B) ⇒ B」みたいな命題証明を、ある規則に従って行ったりする。理科生的には数学の根源を掘っているみたいで楽しい

B系

C系列

現代経済理論

全13回の授業で毎回違う教員がいろいろ話をしてくれる。各回ごとにレポート課題が出るが、最終的に提出するのは1つだった。単位関係あるのは実質1回だけなので、結構気楽に聞くことができて癒しになる。普通講義は毎回理解を求められるが、この授業は理解できなければその回のレポート課題を選ばなければよいだけなので。

D系列

認知脳科学

人間認知機能と脳機能関係をやる。説明の都合なのか話題の9割が視覚特に錯視)についてだった。脱線が激しすぎて全体的に何を言いたいのかいまいちわからない。ノートスライド教科書を見比べまくってなんとかしたが面倒すぎた。良い勉強方法最後までわからない。

環境物質科学

学際の香りがする。主に扱うのは二酸化炭素オゾンホールプラスチックダイオキシン。「地球温室効果がなかったら気温は-15℃」というのはよく聞くと思うが、その根拠エネルギー収支の計算から示したりする。意外と覚えることは多い(フロン番号の命名規則とか)。

E系列

有機反応化学

印象がない。新しいことを学んだ気がしない。とにかく簡単だった。

基礎化学

天下り的にいろんな化学が降ってくるが、具体的な理論づけは全くやらないので結局暗記ゲーと化した。基礎化学で扱う内容は、後々その他の化学系の科目で詳しく扱うので正直取る意味がなかったと思う。

化学平衡と反応速度

熱力学の更なる応用みたいな感じ。ルシャトリエの原理とかの証明をしたり、酵素の阻害剤がどう働くのかをやる。学ぶところが多くて楽しい結構難易度は高い。

F系列

解析学基礎

なにもわからん

アルゴリズム入門

Pythonやってれば楽勝。Python実用みたいな感じ。アルゴリズム力よりコーディング力が付く。

計算プログラミング

アルゴリズム入門よりアルゴリズム寄り。ダイクストラ法とかやる。毎回課題が出るので面倒さは結構ある。アルゴリズム好きな人楽しいと思う。

2020-02-07

もう少し楽にGUI自動化する仕組みできないだろうか

CUIなら結構自動化できるが、GUIしかないソフトがあり、自動化のネックになる。

デスクトップ画面をキャプチャして画像としてボタン認識する方法が、検索すると出てくるが、実行すると時間がかかるし、後からプログラムを見ても何をしているのかがわかりにくい。

もう一つはUI AutomationをInspectorで探して押すが、よく例に出てくるようなWindows標準搭載の計算機見たく素性が良くないソフトが多い。

またボタンを押してすぐに処理が終わるのであればいいが、イベントの終了を捕まえるのが大変だ。


個人的に、[アプリ名].[ウィンドウ名].[ウィンドウ名].[アクション]といった風に、ドットで下位階層に降りていって実行したい。

座標を入力してクリックするといった、よくわからない処理を書くより明確になる。

できそうなものなのだが、GUI英語表記日本語表記のゆらぎもあり、めんどくさい。


ブラウザであれば裏で構造化できている(Facebookのようにわざとわかりにくくする所もあるが)と自動化やすいが、どうもしにくい。

マイクロソフトが用意してくれればいいんだが。

2020-02-02

anond:20200202132358

そもそも論として日本人の99パーセント計算機械の構造を知らない

デジタルゼロと1ナノは知ってるけどどうしてそれで計算できるのかは知らない

教えてくれる人がいないから知らない

2020-02-01

日本は本当に製造業を諦めて食っていけるのか

製造業なんて古いのは諦めて、これからソフトウエアサービスに変わるんだという話はずっとされている。

GoogleAmazonFacebookを例に、これからはこの方向だ、と理由付けされる。

はいものの、差別化を支えているのは真似ができないほどのサーバーなどのハード資産を持っているからだ。

通常の工場生産設備と毛色が違うのは、汎用性があってラインを組み替えるよりも容易に転用ができる点だ。

中で流すもの食品機械とは異なり、データなので高速だ。ラインを極限まで早くしたのがサーバー群と言える。


日本はというと、国内に有り余るほど計算機は持てなかった。

海外から買ってきて、自分達で作っているわけではないのでノウハウの蓄積もなく産業育成にも失敗した。

サービス時代だと言われるが外貨を稼げるくらい差別化ができたサービスがあるかと言われると疑問がある。

地方パチンコや娯楽に流れていたお金が、スマフォ通信によって東京に流れていって、まだ東京はマシだが全体で見れば徐々に衰退していっている。

地方交付税交付金で一時的地方に戻しているが、地方が頑張ろうとすると東京企業に流れ込む構造で変わらない。


物流よりもデータの方が速く、これからデータ価値を生むと分析結果を出し、じゃあサービスだとと言いたくなるのもわかる。

とはいえお金が誰かの借金とその返済能力で支えられているのを遡れば、資源と誰かの労働だ。

製造業を諦めるということは、そのうち資源というカードを捨てるということになる。

金本位制じゃないんだから国がいくらでも金を刷って支えればいいというのも、誰かの返済能力担保なのだから労働だけで支えられるのか。

2020-01-14

スマホ依存とはなんなんだ。

私は毎日時間スマホを使ってる。

毎日時間とかなので、なんかいろいろ言われてるスマホ依存にあてはまるんだろう。

朝30分、夜30分程度、アプリ漫画みてるんだけど、これを例えば紙の漫画レンタルして週末にまとめて借りればスマホを見る時間は減る。でも、漫画を読むという行為やかける時間、脳に入ってくる情報はそんなに変わらない。

ネットで調べものするのは全部パソコンでやれば、1時間とかは減る。漢字調べるのは辞書とかでもよいかもしれない。スマホを見る時間は減るけど、調べるという行為や脳が処理する情報はやっぱり変わらない。広告が目に入らないとかはあるかもだけど。

体重管理スマホでやってるけどこれをノートかにすればスマホを見る時間は減る。スケジュール管理スケジュール帳でやる、写真カメラで撮る、計算機電卓使う……

…こんな風に、スマホでやってることをスマホ以外でやればスマホを見る時間は減る。でも、やってることはそんなに変わらない。

いろいろ分かれてるの不便だよね、ひとつにまとまったらいいよねみたいな思想からスマホってできてきたとおもうけど、それをやればスマホ依存

ふしぎ!

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-12-16

大澤昇平特任准教授抵触してそうな規則

大澤氏は昨日公開された音声で服務規程違反になっていると東大から指摘されていたが、東大の「情報倫理コンピュータ利用ガイドライン」においては以下のような条項がある模様。

https://www.u-tokyo.ac.jp/adm/cie/ja/riyou-guideline.html

2.不適切情報発信・公開の禁止

本学の計算機資源から、以下のような情報を発信または公開することは禁止されています

(1) 本名以外(匿名・偽名)による情報

(2) 知的財産権肖像権侵害する情報

(3) 差別誹謗中傷にあたる情報

(4) プライバシー侵害する情報

(5) わいせつ情報

(6) 教育研究妨害する情報

(7) 他者業務作業妨害する情報

(8) 虚偽の情報

(9) 守秘義務違反にあたる情報

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