型システム入門入門,ある程度数学のリテラシーを身につけられる本…数学の,あの定義→定理→証明→定義→定理→証明…の流れを知っておくやつが必要なのでは
posted at 23:58:49
Stats | Twitter歴 6,014日(2007/10/12より) |
ツイート数 223,259(37.1件/日) |
表示するツイート :
型システム入門入門,ある程度数学のリテラシーを身につけられる本…数学の,あの定義→定理→証明→定義→定理→証明…の流れを知っておくやつが必要なのでは
posted at 23:58:49
あとついでに、「『型システム入門』は入門詐欺」みたいな意見もたまに見るけど、あれが入門とは言えないと思う人は型システムをどう捉えているのか興味がある。項書き換えの用語とか操作的意味論とは何かとかから解説してあるし、あと何を足せば満足なんだ。
Retweeted by か
retweeted at 23:56:51
非公開
retweeted at xx:xx:xx
いますぐ課
金。
posted at 23:53:24
tadsanとPHP、いますぐ課金。 https://www.pixiv.net/fanbox/creator/105589…
Retweeted by か
retweeted at 23:52:53
型の話とズレるかもだけど,Rubyでのプログラミング,結局何でもpryで実装確認してるということが多く,オブジェクト指向というものが目指したものとは違うところに来てるのでは…ってなってる…気がしてる.
posted at 23:52:30
C++も
Retweeted by か
retweeted at 23:49:35
Rubyに天才的な型推論が入る頃にはRustに天才的な自動証明器が入って典型的なプログラ厶は例外(パニック)吐かないことがスッと示されてそうだしunsafeコードもすごいいい感じにチェックされてそう
Retweeted by か
retweeted at 23:49:12
型を合わせりゃひとまず動く.型が合わぬは考慮漏れ.値のミスなら落ち着き修正.…そういうのがやりたいだけと言えばそうなんですが「何が正しい型なのか」が人類全体で合意するにはまだまだ早すぎる…というのが今の時代なんでしょうかね…
posted at 23:47:14
型を意識しないでいい未来の話、型推論が完全にできるのかって観点もそうだけど 型表記は人間の当初の意図と、実際に書かれたコードの内容が一致してるかチェックする広義のテストでもあるって観点も抜けてる。
ミスを絶対にしない人類が未来に生まれることを期待してるのかな。
Retweeted by か
retweeted at 23:44:01
そういえば虫姫さまとデススマイルズ買ってわ,とか急に思い出せた.Steamで出来るようになって嬉しかったなぁ…
posted at 23:34:54
360で出たSTGの数々も全部まるっとSteamに行ってほしいよな、ハードの寿命がもう近い
Retweeted by か
retweeted at 23:33:48
YAMAMOTO Yuji (HN: すがすがC言語)@igrep
Ruby, 型とは言わずともせめてClojureのspecみたいな強力な契約プログラミング機構が普及すればいいのにね。すでにあっても不思議ではないんだけど、普及してるんだろうか。
Retweeted by か
retweeted at 23:31:16
2010年の池田秀一-青山剛昌対談読んでたら、めっちゃ雑に安室徹の存在が出てきてびっくりした… https://pic.twitter.com/ITihpU3UFR
Retweeted by か
retweeted at 23:29:52
「労働生産性をあげるために労働時間の制限をなくす」という不思議なロジックを聞いて、自分が分数の計算を理解しているのか不安になってきた
Retweeted by か
retweeted at 23:25:26
> 「あー、アイドルタイムプリパラからは主人公が違うのかー」って思って遊んでたら、
>マリファナで作ったカラコンを目にはめたような女が新主人公として出てきてビビった。
wwwww
Retweeted by か
retweeted at 23:17:14
信じられるかい?アイカツフレンズはまだ9話、まだ9話しかやってなくてあれだけのモノなのだぜ?
2時間映画として観ても納得の"密度"の前に溶けてしまいそうだ、
Retweeted by か
retweeted at 23:15:35
アンチューサさんが悪落ちしなかった世界線の話すごく見たい…っ!
posted at 23:09:04
@simapierce38 人間界の舞台を一新とあるが望さんと優斗さん似のフェアリルが居たりアンチューサさんが若かりし頃だったり教授これは一体!? https://pic.twitter.com/k4tD3uD3RF
Retweeted by か
retweeted at 23:07:11
非公開
retweeted at xx:xx:xx
何でも聞いてたらすごいアイドルにはなれないんだゾ☆ #aikatsu https://pic.twitter.com/RLoIclpZ8h
Retweeted by か
retweeted at 22:53:05
こんなに素晴らしいアイカツ絵が人の目に入らないのは宇宙に対して失礼、という気持ちで日々RTをさせて頂いております。
Retweeted by か
retweeted at 22:47:38
ツイッターは目に飛び込む好きなアイカツの絵をツイッターの人々の目の中に投げつけるもの
Retweeted by か
retweeted at 22:47:36
おっ
posted at 22:35:39
表示拒否
retweeted at xx:xx:xx
チャットワークは蘇った!!! #chatwork
Retweeted by か
retweeted at 17:46:57
チャットワーク(KDDI版)は蘇った!!! #chatwork
Retweeted by か
retweeted at 17:46:56
Chatwork復活してる
posted at 17:46:48
@sue445 つらい
posted at 17:43:30
チャットワークは死んだ #chatwork
Retweeted by か
retweeted at 17:42:53
チャットワーク(KDDI版)は死んだ #chatwork
Retweeted by か
retweeted at 17:42:52
チャットワーク死亡〜〜 https://pic.twitter.com/eMDoMl0Y7g
Retweeted by か
retweeted at 17:42:42
Chatwork死んだ?
posted at 17:42:27
魔法使いプリキュア
posted at 17:07:11
江戸時代なら死罪相当の大名行列を横切る行為をを産婆だけはできて、その理由が「新しい命より優先されるべきものはない」からだったのに、違法でもない妊婦の救急車利用が控えさせられるとか、平成の終わりに江戸時代より遅れを取ってるのほんと何事だよ
Retweeted by か
retweeted at 15:49:37
「やっぱり女の子がいれてくれたお茶の方が美味しいからさ~」って言われて、「あ~~~男の人のお金で食べる焼肉の方がおいしいのと同じですね」って言ったら、お茶出しは女の子じゃなくて若手全員でやることになったから褒めてほしい
Retweeted by か
retweeted at 15:47:28
桜井章一はまだしばらくは生きてそうだけどいつかは…
posted at 15:45:35
なんにせよこれ系の話題で Ruby より先を行っている TypeScript とか Python を見ている感じ,後付けは色々つらそうやなぁという印象がある
Retweeted by か
retweeted at 15:40:48
多分今後 Ruby をデカいプログラム書くときに使うことは無い気がするので,Ruby の型周りの議論に以前ほど興味がなくなってしまった感ある
Retweeted by か
retweeted at 15:40:46
Eメールの仕組みにどんどん詳しくなっていってる
posted at 15:39:49
KA'S TIMES https://paper.li/ka_/1305685297?edition_id=6d0554a0-644f-11e8-a0c4-0cc47a0d15fd… #phpstudy
posted at 06:21:34
DMM子会社社長と小嶋陽菜、SHOWROOM社長と石原さとみ、ZOZOTOWN社長と剛力彩芽と、IT社長と女優が続々カップルになる中、女装男子とホテルに入るところを撮られたホリエモンはもっと評価されてもいいと思う。
Retweeted by か
retweeted at 20:58:50
ハピネスチャージプリキュア
posted at 19:25:03
「私は小説書く才能がないから」と嘆いてる人は聞いてね。
ずっとそう思って生きてきた私が初めて二次小説を書いたのが46歳の時。あと一週間で50歳になろうとしてる今、オンリーで初のサークル参加しようと企んでるのよ?今10代20代のあなたが46歳になる頃には私よりずっと書けるようになってるよ。 https://twitter.com/numagasa/status/1000763802013417472…
Retweeted by か
retweeted at 18:08:36
なんかクリエイターさんの焦燥感に溢れた声をよく見かけるので、もう一回これを貼っておこう。そんなすぐ結果なんて出ないと思うし、長めのスパンでやっていきましょうね…。のんびり構えてられねえよ!ってなるのはわかるけども、こういう視点も必要かなと。自戒も込めて…。
https://twitter.com/numagasa/status/955680982987816960…
Retweeted by か
retweeted at 18:08:32
サメはともかく、こうしたことを覚えておくと、年齢にこだわるのがアホらしくなってくるかも。若さに価値があるのはその通りだろうけど、あまりそれに重きを置きすぎないほうが、若い人も若くない人も自由になれると思う。(『この日々を歌い交わす』佐々木中さんとライムスター宇多丸さんの対談より) https://pic.twitter.com/UX4pdfYnc2
Retweeted by か
retweeted at 18:08:26
非公開
retweeted at xx:xx:xx
小山宗祐 Sousuke Koyama@Sousuke_Koyama
「全部私だけが悪いんです」は、責任を背負っている様に見えて「お前らの助力なぞ何の役にも立たなかった」と言てる様なもんなので、仕事でそれっぽい事言った人には注意してる。つか、あらゆる要因が把握できないバランスで絡み合ってる昨今「自分1人だけが結果に影響を及ぼす」なんて事はまずない。
Retweeted by か
retweeted at 18:01:20
ピカチュウと『イーブイ』がチョイスされたことに了解の意を示している
posted at 18:00:14
まだ電子屑
posted at 15:39:01
まだWIPコミット
posted at 15:38:48
絵描く人の「まだ白紙」とかレイヤーさんの「まだ布」とかの“全然できてませんワード”が大好きなんだけど、今日はカスタムバイク屋さんの「まだエンジン」で爆笑してしまった がんばってほしい
Retweeted by か
retweeted at 15:38:21
GitHubのorganizationアカウントのあれこれが5年前くらいから凄く変わってるっぽくてずっとBitbucketで生きてきてたせいで色々分かっておらず現代社会に馴染めない残留日本兵になってる
posted at 15:37:42
進捗を得るために作業をバリバリこなすにはルールを決めて後は律儀にルールに従い,そしてたまにはそのルールを見直す…ということをすれば良い…というルールに律儀に従うことが出来ない
posted at 14:53:30
ポケモンが四角くなるのプラコロじゃん あのおもちゃ好きだったよ
posted at 12:37:46
非公開
retweeted at xx:xx:xx
あぁ^〜 https://ift.tt/2kyHQ9b https://pic.twitter.com/Jovw1zrlXm
Retweeted by か
retweeted at 12:34:36
ぷり https://ift.tt/2sqdadO https://pic.twitter.com/YW7H8h2mIa
Retweeted by か
retweeted at 12:34:36
簡単ならご自身で対応して下さいはスーパー正論なんですが自分でやってる時間が無いから頼んで来てる可能性の方が現実的にありそうで,重要なのは「やってみますが簡単に終わらなかった場合もそこまでで一旦請求しますね」であるのじゃ…世知辛いのじゃ
posted at 12:32:12
「簡単な修正です」って来られたら、初手にぶちかますのは「簡単ならご自身でご対応ください」。
無理って言ってきたら「簡単だという根拠」を具体的に、こっちが納得するか相手が悲鳴も上がらなくなるまで、質問。
最後に「依頼をする時は、難易度は勝手に決め付けず、質問と確認をしてください」。
Retweeted by か
retweeted at 12:30:12
インターネットの使用が免許制になったら高齢者になると自主返納を勧められインターネット利用経歴証明書が貰えそれがあるとインターネット利用代行業者の料金が安くなるサービスが受けられたりするのか…とか想像してた
posted at 12:28:58
atanのマクローリン展開の結果だけ教えて円周率の近似値計算させるやつどうだろう
posted at 12:23:47
FizzBuzzの3倍くらいの大きさで、もう少し手応えのある新入社員とかに使えるプログラミング課題ないじゃろうかねぇ
どのプログラミング言語でも実装できるもの
もちろん文法を覚えてるとか問題自体を知ってるとかを計りたくはないのでその影響は排除したい
Retweeted by か
retweeted at 12:22:20
「ベクトルが何の役に立つんだよォォ!」
「ミクさんへの方向ベクトルと自分の視線ベクトルで内積を取ればミクさんの方を見たことが検出できるから、ミクさんを見ると微笑み返してくれるプログラムが作れるんだぜ」 https://pic.twitter.com/dQOOWmHuuK
Retweeted by か
retweeted at 12:19:42
そりゃそうでしょうプリキュアなんて女児しか見てませんよ よってプリキュアを見ているならば女児
posted at 12:18:27
子供番組、オタク親以外は真剣に見てない説
#母娘菩薩 #育児絵日記 #育児漫画
http://kikoe.blog.jp/archives/9443907.html… https://pic.twitter.com/rTkrntesKi
Retweeted by か
retweeted at 12:17:45
リモートワークを逃げに使おうとするやつには何をやらせてもダメ - だらだらいこうぜ (id:out-of-kaya / @out_of_kaya) http://d.hatena.ne.jp/out-of-kaya/20180529/1527602492…
posted at 12:13:09
超絶進捗を出す方法は確立されてて,ボール(自分がやるべきタスク)を持ったままにせず可能な限り素早くパスを出していくこと(他人でなければ出来ないので後は任せたという状態にしていくこと),ただこれだけなんですが…
posted at 12:08:26
KA'S TIMES https://paper.li/ka_/1305685297?edition_id=42e9b4a0-6386-11e8-a0c4-0cc47a0d15fd… #はてなブログ #phpstudy
posted at 06:21:34
プリパラが時代を先取りし過ぎたからこんなこと考えてるんだゾということは,オタクは覚えておかなければならないんだゾ(結論が同じでも至る経緯が重要なのだゾ)(ゆずリリはいいゾ)(淫夢要素はありません)
posted at 02:19:55
当たるも八卦当たらぬも…ですが,数年以内くらいに(※時代の変遷が凄く早く出てるというやつで)私は「やっぱジェンダーの役割大事だわ(本能レベルでそうなってるんだし)(でもそうじゃないマイノリティが居ることは認めないとね)」とマジョリティが傾く時代が来ると思ってます
posted at 02:13:36
思ったことはとりあえず言うとかんとね
posted at 02:11:33
だからドーダコーダ言うわけじゃないんですが,森脇監督はそういう「揺り戻し」もちゃんと見据えてた,ちょっと未来を先取りし「過ぎてた」のが「アイドルタイム」には込められてたって勝手に思ってますよと,実は去年の時点で思ってた…って後出しだけど2018年に言っておきますよっていうメタなアレ
posted at 02:10:48
夢川ゆいは…LGBTでジェンダーフリーに傾く世の中に向けて放たれた一種の「揺り戻し」だったんですわ…編み物が得意で料理が得意でユメカワイイを夢見てるっていう…そういう「揺り戻し」にBETしてたんだけどなぁ…っていうメタな視点からのアレ
posted at 02:04:04
夢川ゆい,絶対2年以上続くって思ってたんだけどね…
posted at 01:58:30
夢川ゆいのこと…忘れないで居て欲しい…それだけははっきりと真実を伝えたかった…
posted at 01:57:54
リブロマタンゴ帝国さんも言ってたんだけど,何度でも言いたいんだけど,『女児アニメを見始めるのに誰も遅過ぎるということはない』 https://twitter.com/upperlimit13/status/970963885657178113…
posted at 01:41:42
1stシーズンコンプリートプリ https://pic.twitter.com/VKfugPBMj0
Retweeted by か
retweeted at 01:39:23
非公開
retweeted at xx:xx:xx
dアニメストアはね…†アイカツ!†も見れるんですよ… @sue445 ←この@に深い意味はありません(ないですよ(アイカツはいいぞ(アイカツスターズはいいぞ(アイカツフレンズはいいぞ …って言おうとしたんだけどアイカツスターズ!は2期はまだ無いのか…
posted at 01:38:43
dアニメストア、月額400円でプリティリズム〜プリ☆チャン全部見れるのは頭おかしいのでは(褒め言葉)
Retweeted by か
retweeted at 01:36:02
咲で麻雀覚えてアカギ読んだオタク、バード〜砂漠の勝負師〜を読んでみてくれ
posted at 01:35:23
咲で麻雀覚えたオタク、天牌シリーズも読んでみてくれ
Retweeted by か
retweeted at 01:33:51
非公開
retweeted at xx:xx:xx
ガァルマゲドン〜〜〜〜!!!!トリコロール〜〜〜〜!!!!(このくらいならいいよね…)
posted at 01:25:58
@sue445 さんに今後の尊い展開などなどをネタバレしたい欲求が凄くあるんですが大人の女児なのでこらえてます
posted at 01:24:43
@sue445 さんがプリパラを37話まで見てくれた…うれしい…うれしすぎるぷり…
posted at 01:18:29
@sue445 ありがとう…ありがとう…
posted at 01:13:28
37話見ながらガン泣きしたアカウントはこちらになります
Retweeted by か
retweeted at 01:11:27
32話でみれぃが違反チケット貰うシーン、最高オブ最高プリ
Retweeted by か
retweeted at 01:11:24
メモ:現在プリパラ17話目。丸1ヶ月間休みなのでプリパラ〜ATMまで全部見ときたい
Retweeted by か
retweeted at 01:11:20
【速報】dアニメストアに登録してプリパラ見始めた
Retweeted by か
retweeted at 01:11:17