How do you imagine a building? You consciously create each aspect, puzzling over it in stages. Inception 型なし言語に馴染みはあるものの型付言語をいざ使ってみたらどういう気持ちで書いたらいいのかわからなかったと同僚から相談があり, それをきっかけにして社内の勉強会で以下の話をしました. よく型なし vs. 型付の文脈では「型を書くのは面倒だ」「安全の方が大事だ」「でも面倒だ」「それは型推論を前提にしていないからだ」などの議論になりがちな気がしますが、これはあくまで「計算ありきの型」を考えているからで, 「型ありきの計算」だと全く見え方が違います. 「型はある種の仕様」とおもえば, 型ファーストであることと, 型なし言語でテスト駆動開発(TDD)するときに最初にテストを書くこととは, 同じ
Webサイトやアプリをレスポンシブ化するためにメディアクエリに頼っているのであれば、CSSの機能を見直して、昔ながらのブレークポイントを新しい流動的なアプローチで実装ができないか検討する時期かもしれません。 CSSの実装はデバイスベースからコンテンツベースに移行しているのが現状です。grid, flexbox, vh, vw, calc, clamp, min, maxなど、CSSの機能を使用してレスポンシブ対応にするテクニックを紹介します。 You Probably Don't Need Media Queries Anymore by Kathryn Grayson Nanz 下記は各ポイントを意訳したものです。 ※当ブログでの翻訳記事は、元サイト様にライセンスを得て翻訳しています。 はじめに 大局的なgridとflexbox 活躍するCSSのプロパティ 完全に機能するCSSの数学関数
エヌユル @ncaq 数学得意な人って「公式なんて覚えなくてもその場で導出すれば良い」ってよく言うけどマジで言ってるの? 公式を導出するのにはその前提を相当知っている必要があるので、その場で導出するには公式を覚えるより多くを覚える必要があるとしか思えない 数学と暗記が苦手な人に真顔でアドバイスしてるの? 2023-05-20 11:05:04 エヌユル @ncaq それとも「公式が覚えられなくて数学のテストが一切出来ない/出来なかった」に対して「出来ない人は一生出来ないのは仕方ないね」と言いたくなくて誤魔化したいから? 数学と暗記が苦手な人がその場で導出とか必死に暗記するよりよほど難しいと思うんですが… 2023-05-20 11:14:36 エヌユル @ncaq 「一つの公式から複数の公式がたくさん導出できるってことですよ」と言う指摘がドシドシ寄せられてきますが、それその一つの公式は記憶
「計算が合わない」「人類はこれを待っていた」果汁100％ジュースの味しかしないのになぜだか酔っ払う謎の飲料が本当に美味しいらしい
にゃんぷん @nyanpunz @petitula 果汁1000%ジュースとかも 濃縮還元果汁なら作れます 100kgのオレンジ果汁から 水分を蒸発させて1kgまで体積を減らすと 果汁10000%ジュースになる （この状態で運搬すると楽） これに99kgの水を足すと 果汁100%、100kgの状態に戻る このドリンクの場合 水95kg・アルコール4kgで元の体積に戻す 2021-03-18 18:18:24
「難しい問題もあっという間に解けるようになる」といわれている、いわゆる“インド式計算法”。日本ではあまり使われていませんが、どれほど便利なものなのでしょうか。 今回取り上げるのは、数学イベント「マスパーティ」内で行われた、インド出身のプサパティ シバラムさんによる“インド式計算法”の発表。日本の学校で教わるものとは全く違う魔法のような解き方に、客席は何度もざわめいていました。 4:41:40ごろから 発表スライドをまとめて見る 本記事は下記イベントでの発表「ウェーダ式数学」の書き起こしとなります イベント：2019年10月19、20日開催「マスパーティ」（Twitter：@mathparty2019） 発表者：プサパティ シバラムさん（Facebook：vedicmathsjapan） タイトルに「数学を学ぶ自然の道」と書いています。人生においても数学においても解決する道はたくさんあると思
2024年1月に書いた最新の記事はこちら 2018年10月にこのようなサービスをリリースしました。 友達と旅行などに行った時に発生するお金の貸し借りで「誰が誰に何円返せばいいんだっけ？」という問題をシンプルに解決してくれるWebアプリです。「調整さん」みたいに即席でグループページを作成して、そこに立替え履歴を登録しておけば、最も簡単な清算方法を計算してくれます。 当時、新卒2年目くらいで、会社の同期と初めてリリースした個人開発サービスです。 途中コロナで大打撃を喰らったのですが、ここ1年くらいは徐々に回復し始め、サービスリリースから約4年で月間30万ユーザーを達成することができました。 (👆2022年3月あたりから過去30日のユーザー数推移) 自分で言うのもアレですが、MAU30万は個人開発サービスではかなり当たっている方かなと思うので、ユーザー数が伸びなかったリリース当時、どういうこと
町山智浩『わたし、定時で帰ります。』を語る
町山智浩さんがTBSラジオ『たまむすび』の中でドラマ『わたし、定時で帰ります。』を紹介。日本社会の抱える労働問題などとあわせて話していました。 番組公式サイトがオープンしました！ 相関図や、劇中写真もちらほら👀 放送前にぜひチェックしてください✨https://t.co/StEDg5pjUg#わたし定時で帰ります #わた定 #吉高由里子 #向井理 #中丸雄一 #柄本時生 #泉澤祐希 #シシドカフカ #内田有紀 #ユースケサンタマリア #tbs #火曜ドラマ pic.twitter.com/6DLBo1quFS — 火曜ドラマ「わたし、定時で帰ります。」最終話 6/25放送⏰ (@watashi_teiji) 2019年3月15日 （町山智浩）今日は映画ではなく、日本のテレビドラマ。それも今日の夜に日本で放送されるTBSのドラマ『わたし、定時で帰ります。』についてお話をさせてください。 （
ちょっと自慢させてくれ
7歳の娘に「20ヶ月後は何月でしょうか？」って問題を出したら、 3秒ぐらいで「2月！」って答えてびびった。 数えるのが早すぎるので「どうやってわかったの？」って聞いたら、「4を引いた」って。 親のほうがまだ理解できていないので、更に聞いてみると 「1年は12ヶ月だから、20-12＝8。12-8＝4。だから、6月から4を引いた」って。 すごくない？ 「わかんなーい。」「じゃぁ、一緒に数えてみようか」 ってやり取りを期待していたのに、計算で求めるとは想像もしなかった。 少なくても、僕が同じ問題を出されたら8ヶ月後を指を折って数えると思う。 これだけで算数の才能があるかは判断できないけど、パパはちょっと期待しちゃうよ。 ------- 追記：6月20日 23時 人気エントリーに入っていてビビった。 3秒は言いすぎたかな？5秒ぐらいかな？ 親への説明はこんなにスムーズじゃなかったです。 でも、こん
陸上配備型迎撃ミサイルシステム「イージス・アショア」の秋田市への配備を巡り、防衛省が作成した調査報告書に誤りがあった問題で、同省幹部は８日、実地調査をせずに、デジタル地球儀「グーグルアース」を使用していたことを明らかにした。陸上自衛隊新屋（あらや）演習場の代替地から周囲の山までの角度を測る際にグーグルアースを使ったが、山の縮尺が縦方向に拡大されていることに気づかず、実際とは異なる角度を記載していたという。 防衛省は地元の要望を受け、新屋演習場のほかに候補地がないか代替地を調査。青森、秋田、山形３県の国有地１９カ所を調べ、そのうち９地点について、周囲の山がレーダーの障害になるという理由で「不適」と結論づけ、５月に秋田県と市に調査結果を伝えた。ところが、国有地から周囲の山を見上げた際の「仰角」が実際より過大に記載されていたことが発覚し、地元の反発を招いていた。 防衛省によると、報告書の作成者は
京大、一般相対性理論のエネルギー概念を革新する新たな定義を提唱
京都大学(京大)は11月5日、一般相対性理論が提唱された当初からの懸案だった“一般の曲がった時空”において、正しいエネルギーの定義を提唱したこと、ならびに、その定義を自然に拡張することで、宇宙全体からなる系で、エネルギーとは異なる別の新しい保存量が存在することを理論的に示したことを発表した。 同成果は、京大 基礎物理学研究所の青木慎也教授、同・横山修一特任助教、大阪大学(阪大) 大学院理学研究科の大野木哲也教授らの共同研究チームによるもの。詳細は、シンガポールの国際学術誌「International Journal of Modern Physics A」に2本の論文(論文1、論文2)として掲載された。 一般相対性理論によって、物質の質量(=エネルギー)や運動量が空間の曲がり具合を決定し、その曲がりが重力であるということが示され、それまでのニュートン力学から革新された。E=mc2の公式で知
算数がわからない
特に割り算。 速さの概念がわからない。 30キロの道程を二時間で走ったとすると15キロ/時になる。この時点で既にわからない。 計算はできる。みはじの式に当てはめるだけだから。でも、15キロ/時というのがなんなのかよくわからない。 一時間で15キロ走る。なるほど。イチジカンデジュウゴキロハシル。 ？？？ 二時間だと30キロ。三時間だと45キロ。ほう。確かにな。道程出すには早さと時間をかけるからな。なんでかけるのかわからないけど。 1時間30分だと1.5×15=22.5になる。22.5キロと解答欄に書く。だがなにもわからない。 なんで速さに時間をかけると走った距離が出てくるのかわからない。 そもそも速さってなんだ。 なにもかもわからない。 わかるようになるまで考えるのが大事っていうけど、そもそもわかるとはなんだ。 計算ができたらわかるでいいのか？ でもわかってない。式を覚えて数字を当てはめてる
東京生まれ、神奈川、埼玉育ち、東京在住。Web制作をしたり小さなバーで主に生ビールを出したりしていたが、流れ流れてデイリーポータルZの編集部員に。趣味はEDMとFX。（動画インタビュー） 前の記事：クリームチーズのKiriをもう一度感じる ＞ 個人サイト まばたきをする体 Twitter @eatmorecakes 必要かつ2000円をほんの少し上回るくらいに抑えたい あと300円で、あと200円で2000円なのに！ そんなときについで買いする商品、できればそれは1000円を超えるものではあってほしくない。 買い物かごがちょうど2000円ぴったりくらいに収まってほしい。 さらに今後絶対に必要なものであることも重要だ。「あと200円」のために不要なものを買うなど言語道断だ。 というわけで、今回はTwitterの #Amazonであと200円_DPZ のハッシュタグで、魅力的かつ少額のAmaz
仕事にも「タイパ」を求めるのが結構危ういのは、30代以降は20代のうちにした苦労で食うというルールが潜んでいるからだった？
tomo @tomo4950 私の霊感だけど、今の若い子は、毎月100時間以上残業してスキルアップだ！出世だ！キャリア形成だ！みたいな感覚はあまり持っていないような気がする。 物心ついた時から検索エンジンやSNSがあって、激務な人生の天井は可視化されてるし、コスパ計算が染み付いているのも大きいよね。 2022-12-26 23:29:05
「量子」と組合せ最適化に関する怪しい言説 ―とある研究者の小言― - むしゃくしゃしてやった，今は反省している日記
最近，量子コンピュータの話題をニュースや新聞で見かけることが増えてきました． その中で気になってきたのが，組合せ最適化と量子コンピュータ（特に量子アニーリング）に関する怪しい言説．私自身は（古典コンピュータでの）組合せ最適化の研究をやってきて，量子コンピュータを研究しているわけではないのですが，さすがにこれはちょっと・・・と思う言説を何回か見かけてきました． 最近の「量子」に対する過熱ぶりは凄まじいので，こういう怪しい言説が広まるのは困りものです．すでにTwitter上には，“組合せ最適化は今のコンピュータでは解けない”とか“でも量子なら一瞬で解ける”という勘違いをしてしまっている人が多数見られます*1． さすがに危機感を覚えてきたので，この場できちんと指摘しておくことにしました． 今北産業(TL;DR) “古典コンピュータは組合せ最適化を解けない” → 古典コンピュータで組合せ最適化を解
はじめまして、ティアフォー技術本部 Planning / Controlチームで開発を行っている堀部と申します。 今回は状態推定の王道技術「カルマンフィルター」が実際に自動運転で用いられるまでの道のりやノウハウなどを書いていこうと思います。 みなさんはカルマンフィルターという言葉を聞いたことがありますでしょうか。 カルマンフィルターとは「状態推定」と呼ばれる技術の一種であり、自動運転においては現在の走行状態、例えば車速や自分の位置を知るために用いられます。 非常に有名な手法で、簡単に使えて性能も高く、状態推定と言えばまずカルマンフィルターと言われるほど不動の地位を確立しており、幅広いアプリケーションで利用されています。 使い勝手に定評のあるカルマンフィルターですが、実際に自動運転のシステムとして実用レベルで動かすためには多くの地道な作業が必要になります。 この記事では、カルマンフィルターが
お小遣い長年未納です。「請求書」送りました…中1の数学自由研究、最優秀賞の出来栄えにお父さんは舌を巻く | 鹿児島のニュース | 南日本新聞
「お小遣いが長年未納のため、以下の通りご請求いたします」。鹿児島市の鹿児島大学付属中学校１年、川原千鶴さんは昨夏、父親の正行さん（４４）に１枚の請求書を手渡した。記されていたのは未払い期間の合計ではなく、工夫して計算した遅延金を含めた総額。切実な思いで取り組んだ成果は、第１１回「算数・数学の自由研究」作品コンクール（理数教育研究所主催）の中学校の部で最優秀賞に選ばれた。 研究のタイトルは「父への請求書発行」。千鶴さんは小学６年の４月から中学１年の８月までの１７カ月間、毎月の約束だったお小遣いをもらえなかった。父親に催促しても、「そのうちね」とはぐらかされるばかり。まとめて請求しようと思いつき、「説得力のある説明で、少しでも増やす方法はないか」と考えた。 もらえたはずの合計額（月５００円、中学からは月千円の計１万１０００円）を元金にまず、定期預金と外貨預金の二つについて金利や為替レートを調べ
ちょいすけ［マブ教］ @choisukeBlack @megane654321 「荷物の並び順でしか計算出来ない時もあるし、そう言う時のための練習問題かも知れない、だから計算する順番を変えると練習にならないから、順番通り計算するように言われているのかも」 でしょうか。 式のルールと運用はまた別軸の時もあるはずでしょうから 2021-10-23 19:53:49
「人と人の接触を8割減らさないと、日本で約42万人が新型コロナウイルスで死亡する」。 4月15日の記者会見で、そう試算を発表した厚生労働省クラスター対策班に所属する西浦博・北海道大学教授（43）。今や「8割おじさん」と言われ、ネットでも有名人となった西浦教授の“42万人死亡試算”に対しては批判の声もあがっている。西浦教授が「週刊文春」の取材に応じ、会見で公表した真意について明かした。 「何も対策をしなかったら、流行してこれくらいの規模の死亡者が出るという危機が目前に迫っていると、政権に腹を括ってもらうのが狙いでした。政府や厚労省の中では慎重な意見があり、厚労省の対策班としては公表できませんでした。そこで葛藤もありましたが、科学的な使命感を強く感じ、私自身が専門家個人として発表しなければならないと感じたのです。アメリカやイギリスなどでは、私と同じ研究をしている人たちは国と一緒に推計を公表して
田中 優大| Voltage @tnkyudai_vmkceo 株式会社VMK 代表取締役／創業4期目／コワーキングスペースの店舗展開（名古屋・東京）とコミュニティシステムの開発提供／名大でシェアNo.1の総合メディアと東海圏特化のキャリアサービスも提供してます／全職種採用強化中／兵庫県西宮市／京都大学出身／1998年生まれ 田中 優大| Voltage @tnkyudai_vmkceo noteが上場承認されましたね！ （12/21予定） 今回のサマリーとしては ・大幅なダウンラウンド上場 （直近5月の調達後評価額が337.9億円に対し、今回の上場時価総額は44億円） ・売上18.8億（経常利益-4.3億）の赤字上場 ・直近の売上成長に対し、赤字幅拡大傾向 かなり厳しい見方をされてます👇 pic.twitter.com/v9IIpPrjwa 2022-11-17 16:37:32
CSSの数学関数と言えば、calc()が便利ですよね。 しかし、便利な数学関数はcalc()だけではありません！ 先月、Firefoxにサポートされたことにより、すべてのモダンブラウザにサポートされたCSSの比較関数「min()」「max()」「clamp()」の使い方を紹介します。 最大幅や最小幅を計算式で定義できる「min()」「max()」、フォントサイズの最小値と最大値をコの字のクランプのように計算式で定義できる「clamp()」、 これからのWebページやスマホアプリの実装にかなり役立つと思います。 Everything I Learned About min(), max(), clamp() In CSS by Ahmad Shadeed 下記は各ポイントを意訳したものです。 ※当ブログでの翻訳記事は、元サイト様にライセンスを得て翻訳しています。 はじめに CSSの比較関数の
ドメイン駆動設計の集約のわかりにくさの原因と集約を理解するためのヒント - ソフトウェア設計を考える
『ドメイン駆動設計』のモデル要素のひとつとして「集約」があります。 アプリケーションの対象となる事業活動の仕組みや決め事をソフトウェアで表現する技法のひとつとして集約の考え方はとても役に立ちます。 集約パターンはデータベースのデータ整合性の視点での説明されることが多いようです。しかしデータ整合性の文脈で集約を理解しても、ドメイン駆動設計の中核の関心事である「ドメインの複雑さ」を理解しドメインの知識をクラスで表現するためにはあまり役に立ちません。 この記事では、集約パターンをドメインロジックを表現するモデルの構成要素として効果的に利用するためのヒントを提供したいと思います。 集約はデータ操作の道具ではありません。集約はビジネスルールにもとづくドメインロジックのモデリングと実装の手段です。ここがわかるとドメイン駆動設計の理解が一気に進むと思います。 どうして集約がデータ整合性の話になってしまう
電気を使わない「機械式計算機」がメカメカしくて格好よすぎた！
電気で計算できる電卓が発明される前、電気を使わず、機械的なカラクリのみで計算をしてしまう「機械式計算機」というものがあったそうです。 正直、電卓の仕組みも分からないけど、カラクリで計算するというのはますます分からない！ どんな機械で、どんな風に使うのか!? ヤフオクで入手して、手探りで使い方を探ってみました。 1975年群馬生まれ。ライター＆イラストレーター。 犯罪者からアイドルちゃんまで興味の幅は広範囲。仕事のジャンルも幅が広過ぎて、他人に何の仕事をしている人なのか説明するのが非常に苦痛です。変なスポット、変なおっちゃんなど、どーしてこんなことに……というようなものに関する記事をよく書きます。（動画インタビュー） 前の記事：7年待ちのコロッケが遂に届いた……が、本当に待った価値はあるのか!? ＞ 個人サイト Web人生
佐藤正久 on Twitter: "【これはダメ。中国からすれば格好の的。やろうと思えば、１５万人の武蔵野市の過半数の8万人の中国人を日本国内から転居させる事も可能。行政や議会も選挙で牛耳られる→実質的参政権、懸念拭えず 武蔵野市の住民投票条例案 】 https://t.co/W9AF7uGtVD"
【これはダメ。中国からすれば格好の的。やろうと思えば、１５万人の武蔵野市の過半数の8万人の中国人を日本国内から転居させる事も可能。行政や議会も選挙で牛耳られる→実質的参政権、懸念拭えず 武蔵野市の住民投票条例案 】 https://t.co/W9AF7uGtVD
一昔前のCSSと比較すると、ここ数年でCSSはかなり進化しました。calc()で数式が扱えるようになり、変数、条件分岐、ループ、論理演算なども使用できます。CSSでロジックをどう記述するのか、ブログラミング言語的な実装を紹介します。 Writing Logic in CSS by Daniel Schulz TwitterでCSSがプログラミング言語なのかと話題になっていました。その前から本記事の翻訳に取り組んでいたのですが、非常に興味深い記事でした。CSSは宣言型プログラミング言語ですが、JavaScriptのような命令型の要素も増えてきて、一昔前からかなり進化しています。 下記は各ポイントを意訳したものです。 ※当ブログでの翻訳記事は、元サイト様にライセンスを得て翻訳しています。 はじめに CSSの制御構造 CSSの実装テクニック 終わりに はじめに CSSは、スタイルのシステムに特化
三谷 純 Jun MITANI @jmitani レターパックは折って立体的にしてもいいらしいので どの形が一番容積が大きくなるのか理論値を求めてみました。 結果、ピローボックス型最強。 pic.twitter.com/1TaXWC1kUw 2020-11-21 15:20:35
COVID-19 日本国内の潜在的な陽性者数を推定する試み - StatModeling Memorandum
日本国内の潜在的な陽性者数を推定することは有益ですが、簡単ではありません。PCR検査がランダムになっていないことが推定を難しくしています。有症状者が検査されやすいというselection biasがあるからです。この記事ではいくつか仮定を置いて潜在的な陽性者数を推定したいと思います。 仮定 全国民のうち潜在的に陽性になっている割合 この割合は年代によらず一定と仮定します。ここでは と書きます（posはpositiveの略）。例えば0.0001なら日本人約1億2千万人中、おおよそ12000人が潜在的に陽性になっている計算です。 なお、国民の年代別人口の値はこのページの令和2年3月報 （令和元年10月確定値，令和2年3月概算値） （PDF：301KB） の「2019年10月1日現在（確定値）」の総人口 男女計の値を使用しました。 陽性者中の有症状者の割合 若年層で無症状が多いなど、年代で異なる
連載目次 本連載（基礎編）の目的 スクラッチ（＝他者が書いたソースコードを見たりライブラリーを使ったりせずに、何もないゼロの状態からコードを記述すること）でディープラーニングやニューラルネットワーク（DNN：Deep Neural Network、以下では「ニューラルネット」と表記）を実装して学ぶ系の書籍や動画講座、記事はたくさんあると思います。それらで学んだ際に、「誤差逆伝播」（バックプロパゲーション）のところで挫折して、そこはスルーしている人は少なくないのではないでしょうか。個々の数式や計算自体を理解していても、何となく全体像がつかめずに、 と自信を持って言えない人も多いのではないかと思います。 本連載（基礎編）はそういった人に向けた記事になります。この記事はニューラルネットの仕組みを、数学理論からではなくPythonコードから学ぶことを狙っています。「難しい高校以降の数学は苦手だけど
筆者は「精度保証付き数値計算」という分野で研究をしている大学院生です． 「数値計算は分かるけど」「精度保証付き数値計算？ナニソレ？」という方がほとんどだと思います． 「精度保証付き数値計算」の研究自体は30年ほど前から盛んに行われていますが，世間に浸透しているとは言えない状況です． 自分の研究分野が世間に知られていないのは何か少し寂しい感じがするので「精度保証付き数値計算」を少しでも広めるべく記事を投稿することにしました．(シリーズ化するかも知れません) 本日は「精度保証付き数値計算」というワードだけでも覚えていただければ幸いです． 今回は"数値計算に潜むとんでもないリスク"に関してカジュアルにお話します． そして筆者の研究分野である「精度保証付き数値計算」の必要性を知ってもらえればなと思います． この記事を読み終える頃には計算機を信頼できなくなっているかも知れません(笑) ※不安を煽るこ
CSSの便利ツールが登場！ レスポンシブ対応のフォントサイズを超簡単に定義できる -Modern Fluid Typography Editor
Webサイトをレスポンシブ対応にする時、フォントサイズをさまざまなスクリーンに最適なサイズにします。スマホ用のfont-size、デスクトップ用のfont-sizeを定義するのも一つの方法ですが、font-sizeの最小値と最大値とその間の値を流動的にするclamp()を使用すると簡単に定義できます。 CSSでレスポンシブ対応のフォントサイズを超簡単に定義できるオンラインツールを紹介します。 最近のやり方としてはvw, calc()を使用したフォントサイズの定義などがありますが、clamp()を使用するとかなり簡単です。最小値と最大値を決め、その間の変化の度合いも変更でき、もちろん日本語フォントのfont-sizeでも大丈夫です。 Modern Fluid Typography Editor Modern Fluid Typography Editor -GitHub Modern Flu
と っ く ん 3 0 歳 🐍 @Kuntotu 声真似とお料理で生きています。サブ垢@Kuntotu_sub アイコン@sentakubasami1 お仕事のご依頼はコチラに tokkun26sai@gmail.com youtube.com/channel/UCbbdP… と っ く ん 3 0 歳 🐍 @Kuntotu 電子レンジ調理の動画を出す度に「〜ワットなら何秒ですか？」ってコメントくるけど「指定のw数×指定の秒数/任意のw数」で概算出来るので、いい加減常識として定着して欲しいです。 2023-10-26 22:17:43
計算が苦手な子の筆算方法には共通点があるけど、筆算する時どっちのやり方でやる？「何この画期的な筆算」「みんな当然知っているものと思ってました」
なごぱん @namakemonopann1 大学受験生を教えてると、理科の計算がすごく苦手だと言う生徒が多い。 解いたノートを見てみると、筆算が左の解き方を使う生徒が結構いることに衝撃を受けた。 私は小学校で習ったのだが、これじゃ高校理科の計算が出来るわけない。 pic.twitter.com/o1HBX5vS7u 2021-12-25 13:41:39
こんにちは。「家族アルバム みてね」の開発チームに所属している黒川と申します。今回は、その「みてね」の機能の1つで、写真や動画をDVDにして注文できる機能を動的計画法を使って改善した話をします。 「みてね」では家族の写真や動画をアップロードし、アプリ上で月ごとに振り返ることが可能になっています。一方、たとえば自宅のテレビやパソコンでまとめて振り返りたいという要望もあり、「みてね」では最長過去1年間の写真や動画をDVDにまとめて注文することができます。 このときに問題となるのがDVDのディスク分割です。1年分の写真や動画はともすると1枚のディスクに収まりきらず、複数のディスクに分割する必要があります。いままでは、動画を月ごとに分けて各ディスクに入れていく、というシンプルなアルゴリズムで分割を行っていました。しかし、ユーザーさんからは「1枚のディスクにすこしの動画しかないがどうなっているのか」
プログラミングをやっていると、様々な乱数に出会います。乱数に関しては大勢の研究者が色々な研究結果を出しているため、種類も増え、いったいどれを使えばいいのかと悩む原因にもなります。 大勢が研究し利用している分野ですから、私以外でも大勢が乱数に関する記事を書いているため、あえて新しい記事を書く価値は高くないかもしれません。まあ、既に理解している人はここで記事を閉じるか、暇つぶし程度の感覚で読んでいただくと良いかと思います。 真乱数と疑似乱数 プログラミングの世界の中でいわゆる "乱数" として扱われることが多いのは擬似乱数です。疑似、と付くからには、これは実のところ乱数ではないと言えます。とは言え、擬似乱数を乱数でないと言ってしまうと話が終わってしまうので、疑似乱数を含む乱数を広義の乱数とします。この記事で扱うのは広義の乱数です。逆に、狭義の乱数、本物の乱数は真乱数と言います。 本物と言いまし
あるツイートが「数学って実生活で役に立つことがあるんだ！」と話題になっている。 「ロイチャンダン」というハンドルネームのインド人男性が、6月30日にピザの注文をめぐる体験をツイートした。あらましは、ざっとこんな感じだ。 ＊ 9インチのピザを注文。しばらくし…
一日に失う水分計算機
身体活動レベル 体重（kg） 性別 1日の平均湿度（%） アスリートか否か 人間開発指数 標高（m） 年齢（歳） 平均気温（℃） 計算する 体内から一日に失われる水の量（ml/日） 参考 https://www3.nhk.or.jp/news/html/20221125/k10013902711000.html https://www.science.org/doi/10.1126/science.abm8668
Javaのコンテナのメモリ割り当ての考え方をまきさんに教えていただいたので記録 - Mitsuyuki.Shiiba
何度か教えていただいているので、今度こそしっかり覚えておきたくて、まきさんからのコメントを記録。 ## メモリサイズの考え方 SpringBootのアプリをコンテナとして動かす場合には768MB以上必要で、1GBくらいは割り当てる必要があるのではないかという僕のコメントに対していただいたコメント。 それは不正確..Tomcatを使う場合は最大コネクション(スレッド)がデフォルト200で+50スレッドくらい余裕を見ると250M (-Xss1M）でデフォルトのReservervedCodeCacheSize 240MとDirectMemorySize 10M加えた上にMaxMetaSpaceSizeがざっくり50Mくらい足すと550Mくらい使ってこれHeapを足すとコンテナサイズ— Toshiaki Maki (@making) November 16, 2019 その前提であればHeap 2
当たり前のことに感じますが、0.1は浮動小数点数(IEEE 754)では正確に表現できません。 なのにprintをしたときに0.1と表示されるのは不思議です。 このことについて分かったことを書いておきます。 環境 この記事ではPython 3.7を使用しています。 【前提】浮動小数点数 この記事で、以降"浮動小数点数"という場合は、"IEEE 754 倍精度"のことを指します。 浮動小数点数のフォーマットは、数を以下の形式に変換し、sign、exp、fracを順に並べたものです。
税務署も諦める「最強の相続税対策」、ポイントは時間
税理士。円満相続税理士法人代表 中学・高校とバンド活動に明け暮れ、大学受験の失敗から一念発起し税理士を志す。 大学在学中に税理士試験に4科目合格（「資格の大原」主催の法人税法の公開模試では全国1位）。大学卒業前から国内最大手の税理士法人山田＆パートナーズに正社員として入社する。 税理士法人山田＆パートナーズでは相続専門の部署で6年間、相続税に専念。これまで手がけた相続税申告（相続手続）は、上場企業の創業家や芸能人を含め、通算500件以上。相続税の相談実績は5000人を超える。また、全国の銀行や証券会社を中心に通算500回以上の相続税セミナーの講師を務める。 2017年1月に独立開業。現在、東京・大阪の2拠点で相続専門税理士が多数在籍する円満相続税理士法人の代表を務める。「最高の相続税対策は、円満な家族関係を構築すること」をモットーに、依頼者に徹底的に寄り添い、円満相続実現のために日々尽力す
ありあ @aria_nico ある日、私は引き継いだシステムのバグの対処をしていた。うるう年なのに2/29が表示されない。 プログラムを開くと、 If year=1992 or year=1996 or year=2000 then という文字列があった。 百歩譲って、うるう年計算式を使わなくてもいいから、もっと長期の稼働を見越してほしい。そう思った冬の日 2021-03-01 14:20:40 ありあ @aria_nico ファミコン大好き、ありあです。お料理とレトロゲーム配信の人。お仕事はシステムエンジニア。特技はハープを弾くこととお茶をこぼすこと。フォローお気軽にどうぞ！色々リンク→lit.link/aria25 twitch.tv/aria_nico
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
なぜ型ファーストで考えるのか - 貳佰伍拾陸夜日記
CSSでメディアクエリはもう必要ないかも -メディアクエリなしで実装するテクニックのまとめ
数学が得意な人は「公式を覚えなくてもその場で導出すれば良い」と言うがこれはマジで言っているのか
実際のところ“インド式計算法”って便利なんです？ 本場インド人が解説したら、爆速過ぎて会場がザワザワした話
4年間毎週個人開発を継続したら月間利用ユーザー30万を超えるサービスになった話 - Qiita
防衛省、実地調査せずグーグルアース使う 幹部が認める：朝日新聞デジタル
Amazonで2000円まであと200円のときに買うやつ
カルマンフィルターが自動運転の自己位置推定で使われるまで - TIER IV Tech Blog
小学1年生に「6-4+3 は なんで4+3から計算してはダメなのですか？」と聞かれたらどう答える？
「専門家のクーデター」西浦教授が明かす“42万人死亡試算”公表の真意 | 文春オンライン
「計算が間違ってるのかなと思った」note株式会社の上場が承認されるも公表された経常利益や想定時価総額に驚く人々
CSSの比較関数が便利すぎる！ min(), max(), clamp()の使い方を詳しく解説
CSSは確実に進化している！ 変数、条件分岐、ループ、論理演算など、ロジックに記述するCSSの実装テクニック
レターパックを立体的に折って、1番容積が大きくなる形の理論値を求めてみた→これはまさにあの容器…！「物の形には意味がある」
Pythonでニューラルネットワークを書いてみよう
数値計算の研究をしている学生が"数値計算に潜むとんでもないリスク"について話してみる - Qiita
電子レンジ調理の動画に「～ワットなら何秒ですか？」ってコメントがくるけど、簡単に概算できる式があるので常識になってほしい
動的計画法によるDVDのディスク分割の改善
乱数について本気出して考えてみる｜TechRacho by BPS株式会社
3千CPUで数カ月かかる計算が0.1秒で完了。汎用原子レベルシミュレータ「Matlantis」 ～PFNとENEOSがクラウドサービスで提供開始
｢ピザの大きさに関する計算ミス｣…インド人男性が指摘したツイートが大バズり！｜もぎたて海外仰天ニュース
0.1は浮動小数点数で正確に表せないのに、printしたときに0.1と表示されるのはなぜか - Qiita
前任者から引き継いだシステム、うるう年なのに何故か2/29が表示されないと思ったらとんでもない設計になっていた件
magicki.hatenablog.com
jp.wsj.com
game.watch.impress.co.jp
www.nikkei.com
qiita.com/higakin
www.sponichi.co.jp