Using Enabling teams to enhance flow and diffuse practices at scale
先日こういうツイートが流れてきた。 Q:なぜ金融系では未だにCOBOLが使われるんですか? A:お手元にExcelがありましたら任意のセルに「=4.8-4.7-0.1」って入れてみてください。— 遊撃部長F/S&RWAs (@fstora) 2024年6月6日 Q:なぜ金融系では未だにCOBOLが使われるんですか? A:お手元にExcelがありましたら任意のセルに「=4.8-4.7-0.1」って入れてみてください。 普段我々がゴリゴリ馬車馬のように使っているソフトウェアでよく利用されている浮動小数点型、すなわちfloatやdoubleなどは特定の算術に弱いことが知られている。というかもうこの手の話題はあまりに拡散されてしまったので、なぜかネット民はみんな知っている基礎教養、三毛別羆事件とかデーモンコアみたいな感じになっている。 ちなみにこれはCOBOLかそうではないか、という軸が問題になっ
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X: @shiropen2 英インペリアル・カレッジ・ロンドン(ICL)の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明(形式化)においてその曖昧さが障害になっている」と指摘する。 「=」(等号)にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
執筆者:立原 礼也 公開日:2024年6月8日 再公開日:2024年6月11日 記事の非公開に至った経緯については,別の 記事 「記事非公開の理由(特に,記事のある側面に関するお詫び)と今後の対応|Reiya Tachihara (note.com)」をご参照ください. 今後も記事を非公開にすることがあるかも知れませんが,予告なく記事が非公開になった場合には,編集ののち,予告なく記事は再公開される予定です. 編集履歴は記事の最後に移植しました. 日本語のわかる方はこの英語は読み飛ばしてください(すぐ下に日本語で同じことが書いてあります). Note: To avoid malicious editing or selective quoting, please ensure that the content of this article is shared by explicitly i
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く