プログラムを数学の言葉で理解すること
プログラミングを学ぶ過程において、抽象度の低い、コンピュータの現実の実装に沿った言語で学ぶべきか、それとも数学的概念からプログラムを理解できる、抽象度の高い言語を使うべきか。大学でプログラミングを教える立場からの考察だが、結論はない。ただただ、コンピュータという妖しい存在の、奇妙な面白さが好きだ、というしかない。 ふとしたきっかけから「圏論の歩き方」という本を読んでいる。圏論そのものはとても高度で強力な数学的概念なんだけど、その強力さゆえに応用範囲がとても広い。この本はそれらをほとんど目にもとまらぬ速さで駆け足に紹介しており、それゆえ、これ一冊で圏論を理解できるようなものでは到底なく、その名が示す通りに圏論のいわば「ガイドブック」になっている。なもんだから、読む側のこっちとしても、次の旅先をどこにしようかなとガイドブックを流し読みするくらいの気楽さでパラパラと読んでいる。 さて、その中の「
延期に揺れる晴海フラッグ 売り主は補償も説明会も拒否：朝日新聞デジタル
","naka5":"<!-- BFF501 PC記事下（中⑤企画）パーツ＝1541 -->","naka6":"<!-- BFF486 PC記事下（中⑥デジ編）パーツ＝8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下（中⑥デジ編）パーツ＝8826 -->","adcreative72":"<!-- BFF920 広告枠）ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag ＰＣ誘導枠５行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
４５歳多重派遣プログラマの退職エントリ
45歳多重派遣と言っても、噂のGitHubの人ではない。すまんな。。 皆さんはプロジェクトの共有ディレクトリの最下層に”女子大生”という何もないファイルを作ってアクセスログをとっていたのがバレて怒られた事はあるか？私はある。２回。 人は暇なとき、意外とディレクトリをめぐる旅をするものだ。 仕事でとうとうGitHubすら使わずにプログラマ人生を終えてしまった。 レガシーな技術を使いがちな金融プログラマではそこそこ居るのでは無いだろうか。 年収は20代後半からは550万～700万位だった。残業代・退職金は無く交通費は出ない。 所属会社は営業も事務も居ない小さな所帯のフリーの集まりのような所で、会社の運営に必要な金額をある程度毎月納めれば良い会社だった。 仕事がなくなれば自分、もしくは他社員の人脈で仕事をとってくる。フリーで居るよりは仕事を取りやすく、単価も上げやすいので一応会社の所属にしている
昏い雪国
朝起きると、障子の隙間から雪が舞っていた。またお前か。もうお前の顔は見たくない。叱りつける様に、障子をピシャリと閉めたい衝動に駆られるが、布団から抜け出す気力がない。 そうはいっても、仕事である。雪に備えて、目覚ましはだいぶ早くにセットしてある。布団から出て、長靴を履いて、車に積もった雪を落としにいく。道路が混むから、早くに家を出ないといけない。気忙しく身支度を整える。鬱屈とした心情とは裏腹に、自分の行動は手馴れ、随分と雪国に調教されたものである。そんな自分に、どこかで嫌気が差す。 車を走らせながら、私は、1月前半の大雪と、その時に出会ったある女のことを思い返していた。 1月の3連休は、ひたすら雪をかいた。前半は家の周りの雪かき、そして後半は除雪のための休日出勤である。集中除雪を行うため、対象の道路を一時通行止めにする。信号や曲がり角に人が立ち、入ってこようとする車を迂回させる。そういった
「ADT, 直和・直積, State Machine」 - Qiita
(タイトル字余り) この記事は筆者が社内勉強会で発表した内容を(個人的に出来が良いと思ったので)外部向けに再構成したものです。(大変長くなってしまった) 状況その1 いきなり以下のコードをご覧ください。 type Contact = { Name: PersonalName; EmailContactInfo: EmailContactInfo option; PostalContactInfo: PostalContactInfo option; } そして以下の仕様をご確認ください。 Business Rule: “A contact must have an email or a postal address” 出典と動機、課題 上掲コード及び仕様はDesigning with types: Making illegal states unrepresentable | F# for
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
