Search in @cobodo

金具✅ cobodo@mstdn.kanagu.info

ja.wikipedia.org/wiki/IEEE_754 binary128はあるらしいですけど実装されたハードウェアの話は聞いたことがない……

金具✅ 金具✅ reblogged at 6 years ago

SHIMADA Hirofumi shimada@mstdn.maud.io

128bit数値てもう規格にあるんやっけ

金具✅ cobodo@mstdn.kanagu.info

最近の言語はだいたいそうなっている気がする

金具✅ cobodo@mstdn.kanagu.info

実数と言いつつ実数ではないのだし、浮動小数点数だと書いたほうがよく、型名としてはfloatが妥当だと思っている。

金具✅ 金具✅ reblogged at 6 years ago

酸性雨 i_sparkling@rainyman.jp

"double"が実数なの,Cからの伝統だけど酷い略称だよな.実数であることはおろか浮動小数点数であることにすら触れてない.

実数型に"real"って名前を振ってる環境もあるけど,こっちのほうがなんぼかマシ.

金具✅ cobodo@mstdn.kanagu.info

内部だけとかなのかな

金具✅ 金具✅ reblogged at 6 years ago

ashida ashida@friends.nico

http通信なんですが・・・ >ニコ動

金具✅ cobodo@mstdn.kanagu.info

というかhttpだろうとhttpsだろうとページ表示に全く必要ないでしょ……

金具✅ cobodo@mstdn.kanagu.info

住所と電話番号を平文で流すのようやく辞めるんですかね

金具✅ 金具✅ reblogged at 6 years ago

まさらっき masarakki

ん??? ニコ動のURLがhttps担ってる

金具✅ 金具✅ reblogged at 6 years ago

やきたまどん お知らせアカウント info@mstdn.yakitamago.info

やきたまどんをご利用いただきましてありがとうございます。ドメインブロック(メディア拒否)のお知らせです。次のインスタンスは、日本の法律に抵触する可能性のある画像が添付されていたり、もしくは添付する可能性のあるユーザーが存在し、または存在する可能性があって、かつ管理者がその対処について積極的ではないと見受けられることから、メディアの受信拒否を設定しております。当該インスタンスのユーザーからのトゥートは今まで通り受け取ることが可能ですが、画像を閲覧する場合は、トゥート内で提示されるリンクを開き、当該インスタンスがホストする画像に直接アクセスしてください。

ご不便をおかけいたしますが、ご理解をよろしくお願いいたします。

● ドメインブロック(画像受け取り拒否)対象インスタンス
- theboss.tech

金具✅ cobodo@mstdn.kanagu.info

カリー=ハワード同型対応ってやつかな(わかってない)

金具✅ 金具✅ reblogged at 6 years ago

@🐄 atsushi015@mstdn.jp

ML系言語だと型は命題

金具✅ cobodo@mstdn.kanagu.info

圏論わからんおじさんなのでなんもわからん

金具✅ 金具✅ reblogged at 6 years ago

ashida ashida@friends.nico

型は圏の圏みたいなことHaskellで触れた気がする

金具✅ cobodo@mstdn.kanagu.info

へー

金具✅ 金具✅ reblogged at 6 years ago

らりお・ザ・㉅㊛の🈗然㊌ソムリエ lo48576@mastodon.cardina1.red

型は集合として扱うとどこかで限界が来るので集合としない的なサムシングをどこかで聞いたような覚えがある

金具✅ 金具✅ reblogged at 6 years ago
金具✅ 金具✅ reblogged at 6 years ago

酸性雨 i_sparkling@rainyman.jp

小中高の教育には,オウム返しと暗記でなんとかなってしまう様な部分があって,そのまま大学に上がってきて挫折するパターンが結構あるのかなぁ.

プログラミングなんか暗記はほとんど役に立たないし.