情報更新

last update 03/28 22:02

ツイート検索

 

@ka_
サイトメニュー
Twilogユーザー検索

Twilog

 

@ka_

@ka_

Stats Twitter歴
6,014日(2007/10/12より)
ツイート数
223,259(37.1件/日)

ツイートの並び順 :

表示するツイート :

2018年05月31日(木)41 tweetssource

5月31日

@ka_

@ka_

型システム入門入門,ある程度数学のリテラシーを身につけられる本…数学の,あの定義→定理→証明→定義→定理→証明…の流れを知っておくやつが必要なのでは

posted at 23:58:49

5月31日

@y_taka_23

チェシャ猫@y_taka_23

あとついでに、「『型システム入門』は入門詐欺」みたいな意見もたまに見るけど、あれが入門とは言えないと思う人は型システムをどう捉えているのか興味がある。項書き換えの用語とか操作的意味論とは何かとかから解説してあるし、あと何を足せば満足なんだ。

Retweeted by

retweeted at 23:56:51

 

非公開

retweeted at xx:xx:xx

5月31日

@ka_

@ka_

型の話とズレるかもだけど,Rubyでのプログラミング,結局何でもpryで実装確認してるということが多く,オブジェクト指向というものが目指したものとは違うところに来てるのでは…ってなってる…気がしてる.

posted at 23:52:30

5月31日

@qnighy

Masaki Hara@qnighy

Rubyに天才的な型推論が入る頃にはRustに天才的な自動証明器が入って典型的なプログラ厶は例外(パニック)吐かないことがスッと示されてそうだしunsafeコードもすごいいい感じにチェックされてそう

Retweeted by

retweeted at 23:49:12

5月31日

@ka_

@ka_

型を合わせりゃひとまず動く.型が合わぬは考慮漏れ.値のミスなら落ち着き修正.…そういうのがやりたいだけと言えばそうなんですが「何が正しい型なのか」が人類全体で合意するにはまだまだ早すぎる…というのが今の時代なんでしょうかね…

posted at 23:47:14

5月31日

@arowM_

ヤギの🐐さくらちゃん🎯@arowM_

型を意識しないでいい未来の話、型推論が完全にできるのかって観点もそうだけど 型表記は人間の当初の意図と、実際に書かれたコードの内容が一致してるかチェックする広義のテストでもあるって観点も抜けてる。
ミスを絶対にしない人類が未来に生まれることを期待してるのかな。

Retweeted by

retweeted at 23:44:01

5月31日

@ka_

@ka_

そういえば虫姫さまとデススマイルズ買ってわ,とか急に思い出せた.Steamで出来るようになって嬉しかったなぁ…

posted at 23:34:54

5月31日

@stdaux

スドー🍞@stdaux

「労働生産性をあげるために労働時間の制限をなくす」という不思議なロジックを聞いて、自分が分数の計算を理解しているのか不安になってきた

Retweeted by

retweeted at 23:25:26

5月31日

@akebonocho

万能@akebonocho

> 「あー、アイドルタイムプリパラからは主人公が違うのかー」って思って遊んでたら、
>マリファナで作ったカラコンを目にはめたような女が新主人公として出てきてビビった。
wwwww

Retweeted by

retweeted at 23:17:14

5月31日

@ka_

@ka_

アンチューサさんが悪落ちしなかった世界線の話すごく見たい…っ!

posted at 23:09:04

 

非公開

retweeted at xx:xx:xx

5月31日

@Zecharian

ゼック@Zecharian

こんなに素晴らしいアイカツ絵が人の目に入らないのは宇宙に対して失礼、という気持ちで日々RTをさせて頂いております。

Retweeted by

retweeted at 22:47:38

 

表示拒否

retweeted at xx:xx:xx

5月31日

@ichiki_817

いちき@ichiki_817

江戸時代なら死罪相当の大名行列を横切る行為をを産婆だけはできて、その理由が「新しい命より優先されるべきものはない」からだったのに、違法でもない妊婦の救急車利用が控えさせられるとか、平成の終わりに江戸時代より遅れを取ってるのほんと何事だよ

Retweeted by

retweeted at 15:49:37

5月31日

@CARON_M001_

かろん🌸@CARON_M001_

「やっぱり女の子がいれてくれたお茶の方が美味しいからさ~」って言われて、「あ~~~男の人のお金で食べる焼肉の方がおいしいのと同じですね」って言ったら、お茶出しは女の子じゃなくて若手全員でやることになったから褒めてほしい

Retweeted by

retweeted at 15:47:28

5月31日

@Linda_pp

ドッグ@Linda_pp

なんにせよこれ系の話題で Ruby より先を行っている TypeScript とか Python を見ている感じ,後付けは色々つらそうやなぁという印象がある

Retweeted by

retweeted at 15:40:48

5月31日

@Linda_pp

ドッグ@Linda_pp

多分今後 Ruby をデカいプログラム書くときに使うことは無い気がするので,Ruby の型周りの議論に以前ほど興味がなくなってしまった感ある

Retweeted by

retweeted at 15:40:46

2018年05月30日(水)51 tweetssource

5月30日

@anztolchock

杏(あんず)@anztolchock

DMM子会社社長と小嶋陽菜、SHOWROOM社長と石原さとみ、ZOZOTOWN社長と剛力彩芽と、IT社長と女優が続々カップルになる中、女装男子とホテルに入るところを撮られたホリエモンはもっと評価されてもいいと思う。

Retweeted by

retweeted at 20:58:50

5月30日

@takamaki64

マキルमाचीर🇮🇳@takamaki64

「私は小説書く才能がないから」と嘆いてる人は聞いてね。
ずっとそう思って生きてきた私が初めて二次小説を書いたのが46歳の時。あと一週間で50歳になろうとしてる今、オンリーで初のサークル参加しようと企んでるのよ?今10代20代のあなたが46歳になる頃には私よりずっと書けるようになってるよ。 twitter.com/numagasa/statu

Retweeted by

retweeted at 18:08:36

5月30日

@numagasa

ぬまがさワタリ@numagasa

なんかクリエイターさんの焦燥感に溢れた声をよく見かけるので、もう一回これを貼っておこう。そんなすぐ結果なんて出ないと思うし、長めのスパンでやっていきましょうね…。のんびり構えてられねえよ!ってなるのはわかるけども、こういう視点も必要かなと。自戒も込めて…。
twitter.com/numagasa/statu

Retweeted by

retweeted at 18:08:32

5月30日

@numagasa

ぬまがさワタリ@numagasa

サメはともかく、こうしたことを覚えておくと、年齢にこだわるのがアホらしくなってくるかも。若さに価値があるのはその通りだろうけど、あまりそれに重きを置きすぎないほうが、若い人も若くない人も自由になれると思う。(『この日々を歌い交わす』佐々木中さんとライムスター宇多丸さんの対談より) pic.twitter.com/UX4pdfYnc2

Retweeted by

retweeted at 18:08:26

 

非公開

retweeted at xx:xx:xx

5月30日

@Sousuke_Koyama

小山宗祐 Sousuke Koyama@Sousuke_Koyama

「全部私だけが悪いんです」は、責任を背負っている様に見えて「お前らの助力なぞ何の役にも立たなかった」と言てる様なもんなので、仕事でそれっぽい事言った人には注意してる。つか、あらゆる要因が把握できないバランスで絡み合ってる昨今「自分1人だけが結果に影響を及ぼす」なんて事はまずない。

Retweeted by

retweeted at 18:01:20

5月30日

@ka_

@ka_

ピカチュウと『イーブイ』がチョイスされたことに了解の意を示している

posted at 18:00:14

5月30日

@takeyuki800

タケユキ@takeyuki800

絵描く人の「まだ白紙」とかレイヤーさんの「まだ布」とかの“全然できてませんワード”が大好きなんだけど、今日はカスタムバイク屋さんの「まだエンジン」で爆笑してしまった がんばってほしい

Retweeted by

retweeted at 15:38:21

5月30日

@ka_

@ka_

GitHubのorganizationアカウントのあれこれが5年前くらいから凄く変わってるっぽくてずっとBitbucketで生きてきてたせいで色々分かっておらず現代社会に馴染めない残留日本兵になってる

posted at 15:37:42

5月30日

@ka_

@ka_

進捗を得るために作業をバリバリこなすにはルールを決めて後は律儀にルールに従い,そしてたまにはそのルールを見直す…ということをすれば良い…というルールに律儀に従うことが出来ない

posted at 14:53:30

5月30日

@ka_

@ka_

ポケモンが四角くなるのプラコロじゃん あのおもちゃ好きだったよ

posted at 12:37:46

 

非公開

retweeted at xx:xx:xx

5月30日

@ka_

@ka_

簡単ならご自身で対応して下さいはスーパー正論なんですが自分でやってる時間が無いから頼んで来てる可能性の方が現実的にありそうで,重要なのは「やってみますが簡単に終わらなかった場合もそこまでで一旦請求しますね」であるのじゃ…世知辛いのじゃ

posted at 12:32:12

5月30日

@gallu

がる@gallu

「簡単な修正です」って来られたら、初手にぶちかますのは「簡単ならご自身でご対応ください」。
無理って言ってきたら「簡単だという根拠」を具体的に、こっちが納得するか相手が悲鳴も上がらなくなるまで、質問。
最後に「依頼をする時は、難易度は勝手に決め付けず、質問と確認をしてください」。

Retweeted by

retweeted at 12:30:12

5月30日

@ka_

@ka_

インターネットの使用が免許制になったら高齢者になると自主返納を勧められインターネット利用経歴証明書が貰えそれがあるとインターネット利用代行業者の料金が安くなるサービスが受けられたりするのか…とか想像してた

posted at 12:28:58

5月30日

@ka_

@ka_

atanのマクローリン展開の結果だけ教えて円周率の近似値計算させるやつどうだろう

posted at 12:23:47

5月30日

@_marony

まろ@関数型言語作曲機械学習勉強してない@_marony

FizzBuzzの3倍くらいの大きさで、もう少し手応えのある新入社員とかに使えるプログラミング課題ないじゃろうかねぇ

どのプログラミング言語でも実装できるもの

もちろん文法を覚えてるとか問題自体を知ってるとかを計りたくはないのでその影響は排除したい

Retweeted by

retweeted at 12:22:20

5月30日

@fortecage

fortecage@fortecage

「ベクトルが何の役に立つんだよォォ!」

「ミクさんへの方向ベクトルと自分の視線ベクトルで内積を取ればミクさんの方を見たことが検出できるから、ミクさんを見ると微笑み返してくれるプログラムが作れるんだぜ」 pic.twitter.com/dQOOWmHuuK

Retweeted by

retweeted at 12:19:42

5月30日

@ka_

@ka_

そりゃそうでしょうプリキュアなんて女児しか見てませんよ よってプリキュアを見ているならば女児

posted at 12:18:27

5月30日

@ka_

@ka_

超絶進捗を出す方法は確立されてて,ボール(自分がやるべきタスク)を持ったままにせず可能な限り素早くパスを出していくこと(他人でなければ出来ないので後は任せたという状態にしていくこと),ただこれだけなんですが…

posted at 12:08:26

5月30日

@ka_

@ka_

プリパラが時代を先取りし過ぎたからこんなこと考えてるんだゾということは,オタクは覚えておかなければならないんだゾ(結論が同じでも至る経緯が重要なのだゾ)(ゆずリリはいいゾ)(淫夢要素はありません)

posted at 02:19:55

5月30日

@ka_

@ka_

当たるも八卦当たらぬも…ですが,数年以内くらいに(※時代の変遷が凄く早く出てるというやつで)私は「やっぱジェンダーの役割大事だわ(本能レベルでそうなってるんだし)(でもそうじゃないマイノリティが居ることは認めないとね)」とマジョリティが傾く時代が来ると思ってます

posted at 02:13:36

5月30日

@ka_

@ka_

だからドーダコーダ言うわけじゃないんですが,森脇監督はそういう「揺り戻し」もちゃんと見据えてた,ちょっと未来を先取りし「過ぎてた」のが「アイドルタイム」には込められてたって勝手に思ってますよと,実は去年の時点で思ってた…って後出しだけど2018年に言っておきますよっていうメタなアレ

posted at 02:10:48

5月30日

@ka_

@ka_

夢川ゆいは…LGBTでジェンダーフリーに傾く世の中に向けて放たれた一種の「揺り戻し」だったんですわ…編み物が得意で料理が得意でユメカワイイを夢見てるっていう…そういう「揺り戻し」にBETしてたんだけどなぁ…っていうメタな視点からのアレ

posted at 02:04:04

5月30日

@ka_

@ka_

夢川ゆいのこと…忘れないで居て欲しい…それだけははっきりと真実を伝えたかった…

posted at 01:57:54

 

非公開

retweeted at xx:xx:xx

5月30日

@ka_

@ka_

dアニメストアはね…†アイカツ!†も見れるんですよ… @sue445 ←この@に深い意味はありません(ないですよ(アイカツはいいぞ(アイカツスターズはいいぞ(アイカツフレンズはいいぞ …って言おうとしたんだけどアイカツスターズ!は2期はまだ無いのか…

posted at 01:38:43

5月30日

@sue445

sue445@sue445

dアニメストア、月額400円でプリティリズム〜プリ☆チャン全部見れるのは頭おかしいのでは(褒め言葉)

Retweeted by

retweeted at 01:36:02

5月30日

@ka_

@ka_

咲で麻雀覚えてアカギ読んだオタク、バード〜砂漠の勝負師〜を読んでみてくれ

posted at 01:35:23

 

非公開

retweeted at xx:xx:xx

5月30日

@ka_

@ka_

ガァルマゲドン〜〜〜〜!!!!トリコロール〜〜〜〜!!!!(このくらいならいいよね…)

posted at 01:25:58

5月30日

@ka_

@ka_

@sue445 さんに今後の尊い展開などなどをネタバレしたい欲求が凄くあるんですが大人の女児なのでこらえてます

posted at 01:24:43

5月30日

@sue445

sue445@sue445

メモ:現在プリパラ17話目。丸1ヶ月間休みなのでプリパラ〜ATMまで全部見ときたい

Retweeted by

retweeted at 01:11:20

このページの先頭へ

×