本書ではTypeScriptの型と部分型関係がなす代数的構造を解説し、型についての強固かつ柔軟なメンタルモデルを構築します。 順序理論、集合論、束論、環論、そして圏論に至るまで、複数の数学理論を利用して多角的にモデルを構築することで、型の直感的な理解を深め、型の互換性に対する自然な推論を可能となるように解説した新しい試みの本です。
本書ではTypeScriptの型と部分型関係がなす代数的構造を解説し、型についての強固かつ柔軟なメンタルモデルを構築します。 順序理論、集合論、束論、環論、そして圏論に至るまで、複数の数学理論を利用して多角的にモデルを構築することで、型の直感的な理解を深め、型の互換性に対する自然な推論を可能となるように解説した新しい試みの本です。
TOPフォーカス「勉強しろ」じゃ啓発は難しいから。スベり覚悟の「セキュリティ芸人」が笑いで“脆弱性”を伝える理由【フォーカス】 セキュリティ芸人 アスースン・オンライン ゲーム会社でプログラマーをしつつ、趣味でセキュリティ芸人として活動。情報セキュリティ系のイベントやYouTube上でネタを披露している。R-1グランプリ2023では1回戦を突破。芸名は、大学の後輩にSNS上で陰口を書かれていたとき、本名の「麻生さん」をもじり、敬称まで含めて「ASUSN」と呼ばれていたのが由来とのこと。「オンライン」は語感で付けた。 X 「脆弱だなあ~」のツッコミをキーフレーズに、情報セキュリティや脆弱性をテーマにしたネタを披露する「セキュリティ芸人」のアスースン・オンラインさん。2023年3月に、YouTubeチャンネルに投稿したネタ披露の動画は90万回以上再生されるなど、エンジニアを中心に一定の人気を集
ベストセラーになった『読書大全』著者の堀内勉氏が、新刊書『人生を変える読書』を題材に、先行きが不透明な時代における読書の重要性や、おすすめの書籍を紹介。本記事では、堀内氏が推奨する“自分の殻を打ち破るための本”について解説します。 前回の記事はこちら 終焉すると思われたものの、終わらない資本主義 堀内勉氏:法政大学の水野和夫さんが『資本主義の終焉と歴史の危機』という本を10年前に書かれて、大ベストセラーになっています。今でも非常に売れている本で、水野さんは「資本主義とは、利子率の低下とともに終焉していく。それで資本主義の死を迎えるのだ」と言われています。 それが一大センセーションを巻き起こしたんですが、資本主義が死んでいる感じはしなくて。金利が上がってきて、また「経済成長だ」と言ってみんなが騒いでる感じになっているかなと思います。 資本主義は、18世紀の後半、19世紀の前半ぐらいから百数十
“最寄駅がない―”静岡県牧之原市にある図書交流館「いこっと」が話題です。人口減に悩まされる街の小さな図書館が、複合施設内にテナントとして移転し、拡大オープンしたのは2021年のこと。2年後には累計来館者数が25万人を突破しました。市内はもとより、市外や県外などの遠方から足を延ばす人がいるほどです。人口減少エリアの図書館がなぜこれほどにぎわいを創出し、街の中心地に変化をもたらしたのでしょうか。 買い物客と入り混じる、パブリックな図書交流空間 静岡県牧之原市は、県・中央部の沿岸沿いにある人口約43,000人の小さな街。2005年に、旧・相良町と旧・榛原町の2つの町が合併して誕生した市の中心部には、大型複合施設「ミルキーウェイショッピングタウン」があります。核店舗として地域資本のスーパーマーケットが入居するほか、ドラッグストアやカフェ、飲食店などが集う、いわば街の台所です。
リンク Yahoo!ニュース 「うずらの卵」による窒息か、小学1年男児が給食詰まらせ死亡 過去にも同様のケース【news23】(TBS NEWS DIG Powered by JNN) - Yahoo!ニュース 福岡県みやま市の小学校で、小学1年の男子児童が給食を喉に詰まらせ、死亡しました。「うずらの卵」を詰まらせたとみられています。2015年にも大阪市の小学1年の女子児童が給食に入っていたうずらの卵などを 1 user 108 ジョン•エドワード•ガーメンJr. @Harurock9 給食のうずらの卵を喉に詰まらせたニュースに専門家が出てきて乳歯が入れ替わる時期で歯がないからとかうずらの卵の使用を検討とか言ってるけどうちの小5が食べるのを急がせるからだと申しております
[レベル: 中級] 個人サイトはたとえ実体験に基づいた記事を書いても、大手サイトが作成した実体験に基づかない記事に Google 検索で勝つことはできないのでしょうか? 「大手サイトを Google は優遇している」という批判に Google はどのように反応したのでしょうか? Google は独立系サイトを冷遇している 「How Google is killing independent sites like ours」(私たちのような独立系サイトをどのように Google は葬り去っているか)というタイトルで、Google を批判する記事を HouseFresh が投稿しました。 HouseFresh は、空気汚染物質への対策方法として、ハウツーガイドや製品レビュー、実用的アドバイスを実際の調査にもとづいて提供する独立系メディアです。 記事の概要は次のとおりです。 Google の検索
「AIによる業務効率化」がブームだ。といってもAIが仕事に使える、使わなければという機運が高まったのもこの1年足らずのことだし、技術動向が目まぐるしく変わっていることもあって、いまだ「定番」と呼べるスキルは生まれていない。プロンプトエンジニアリングが大事になるぞとか言われていたかと思えば、データ分析、画像生成、直近では動画の生成などが話題になり、「何に使える技術なのか」というイメージすら明確ではないのが現状だ。 こういうときに、新しもの好きというか、アーリーアダプター層とマジョリティの間の「キャズム」はずいぶん大きなものになると思われる。マジョリティ層が「使い方や規制の動向がはっきりするまで待っておこう」と考えるのに対し、アーリーアダプター層は次々と新しいものを試し、それによってAI活用の「コツ」のようなものを掴んでいく。おそらくそれはかつての「検索エンジンの使い方」と一緒で、言語化しづら
yamlでテストシナリオを書いたらそのまま実行できる……そんな夢のようなシナリオテストツール"runn"の紹介とやってみた記録です これまでのシナリオテストツールに対する課題感 シナリオテストツールといえば、 Cucumber や Gauge といったツールが有名です。 ですが、これらのツールは「シナリオファイル」とは別に、シナリオを実行するためのコードも書かないといけません。しかも、そのコードではAPIを呼び出す処理を特定のプログラミング言語を使って書かなければなりません。その中には、HTTP Clientを実際に操作するような処理も含まれます。 私は「シナリオテストがしたい」のであって、「シナリオに沿ってAPI呼び出しを行う処理を書きたい」のではありません。こういった課題感を、ここ数年ずっと抱えてきました。 そんなとき、ついに見つけたツールが "runn" でした。 APIのシナリオテ
ドイツMercedes-Benz(メルセデス・ベンツ)グループは、2030年までに「市場が許す限り」(同社)新車販売の全てを電気自動車(EV)にする計画を撤回した。2030年代もプラグインハイブリッド車(PHEV)などエンジンを搭載した電動車を販売する。各地域の排ガス規制に対応するため、新しいエンジンも開発しているという。2023年から続くEVの減速で、EVシフトに注力してきた欧米の自動車メーカーは戦略の見直しを余儀なくされている。 メルセデスが2024年2月22日(欧州時間)に開催した2023年12月期通期の決算会見で明らかにした。2030年代に入っても、EVだけでなくエンジン搭載車も展開し「さまざまな顧客ニーズに対応できる体制を整えていく」(同社)という。同社は「(EVへの)変革のペースを決めるのは、顧客と市場の状況」と強調した。新車販売の100%をEVにする新たな期限は公表していない
米ホワイトハウス「将来のソフトウェアはメモリ安全になるべき」と声明発表。ソフトウェアコミュニティに呼びかけ 米ホワイトハウスの国家サイバー局長室(The White House Office of the National Cyber Director:ONCD)は、サイバー空間における攻撃対象領域を積極的に削減する目的で、テクノロジーコミュニティやソフトウェアコミュニティに対してメモリ安全(Memory Safe)なソフトウェアの実現を積極的に呼びかけるプレスリリース「Future Software Should Be Memory Safe」(将来のソフトウェアはメモリ安全になるべき)を発表しました。 プレスリリースの中で、国家サイバー局長Harry Coker氏は「私たちは国家として、サイバースペースにおける攻撃対象領域を減らし、あらゆる種類のセキュリティバグがデジタルエコシステムに
自民党派閥の政治資金パーティーで受け取った裏金の税務処理を巡る自身の発言に批判が集まっていることを受け、鈴木俊一財務相は26日の衆院予算委員会で「国民であれ国会議員であれ、収入や経費を正しく計算し、所得が発生した場合には申告して頂く」と述べ、発言を修正した。 問題となっているのは鈴木氏が22日の衆院予算委で、裏金を受け取った議員は所得として納税することになるかを問われた際に「疑義が持たれた政治家が政治責任を果たす、そういう観点から(議員個人が納税をするかどうか)判断されるべきものであると思う」と述べた答弁。納税は憲法で国民の義務と明記されている。にもかかわらず、答弁は政治家だけが納税を個人の判断でできるともとれ、特別扱いだとして、交流サイト(SNS)で「納税は個人の自由だったのか」などと批判が広がった。 26日の予算委では、立憲民主党の城井崇氏は裏金事件の中で始まった確定申告を巡り、SNS
“保守”・リベラルの政治家、枝野幸男再始動 枝野幸男さん大いに語る──自民党政治に区切りをつけるための立憲民主党の立ち位置とビジョン 1.「野党第1党」としての枝野・福山執行部と党運営を振りかえる 住沢(編集部):枝野さんは、『野党第1党』(現代書館 2023.9)を出された元毎日新聞記者、尾中香尚里さんと、最近、何度か対談されています。尾中さんは、立憲民主党が他の政党と選挙協力することよりも、それぞれの党の地力を強くする方が重要だという持論の方です。そのことを尾中さんと議論されていたのですか。 枝野:私の方が先に言ったと思っていますが、意見は一致しています。私は従来からそう思っています。選挙戦術としての可能な部分での事実上の棲み分け・一本化は重要ですが、それが自己目的化してはいけない。それぞれの政党が独自に努力して力をつけ、その上で戦術的に連携するからこそ効果が大きいのだと思っています。
自分だけのお気に入り空間を作ることができる一人暮らし。 「家具やインテリアにこだわりたい」「おしゃれな家電を揃えたい」と夢が膨らんでいる人も多いのではないでしょうか。 ただ、家具・家電にかけられるお金やスペースには限りがあるため、購入する際には「本当に必要なもの」を吟味する必要があります。 今回は一人暮らし経験者500人にアンケートを実施し、一人暮らしをしてみて感じた「必要」&「不要」な家具・家電を調査しました。 ぜひ新生活準備の参考にしてください。 【調査概要】 調査対象:一人暮らし経験者 調査期間:2024年1月31日~2月3日 調査機関:自社調査 調査方法:インターネットによる任意回答 有効回答数:500人(女性328人/男性172人) 回答者の年代:10代 0.8%/20代 21.6%/30代 38.4%/40代 24.4%/50代以上 14.8%
ぼくは今、マイクロ法人2社を持っています。法人を保有するというと、大層なことのように思うかもしれませんが、非常に使い勝手のいい”箱”であることを実感しています。マイクロ法人を持つことのメリットを挙げてみましょう。 社会保険料をセーブできる 経費にできる幅が広い 仮想通貨などの税率を抑えられる 損益通算でき、損失を10年間繰り越せる 相続が簡単で税が安くなる 家族に資産移転ができる 所得を分散できる 株主優待の名義が増える 業種によっては源泉所得税を取られない 個人と法人間で取引できる デメリットはコスト面 社会保険料をセーブできる FIRE済みの人にとって、マイクロ法人を持つ利点の筆頭に上がるのが社会保険料でしょう。通常は国民年金+国民健康保険に入ると思いますが、これらは家族を扶養に入れられないのと、もし(株でも副業でも)収益をあげてしまうと保険料がどんどん上がってしまいます。 ところがマ
» 【朗報】ほぼイオンモールと化した東京・立川駅前の「高島屋」、はま寿司も開店で完全に仕上がる / 巨大ガシャポンエリアも 特集 昨年11月にリニューアルオープンした東京・立川市にある「立川高島屋S.C.」の変貌ぶりは衝撃だった。いかにも百貨店らしい化粧品店やブティックは影を潜め、代わりに見慣れたスーパーやドラッグストアが大集結したのだ。 『オーケー』『セリア』『シャトレーゼ』などなど、とても高島屋とは思えないラインナップには思わず驚愕したが、先日久しぶりに訪れたところ、前回を超える勢いで完全に仕上がっていたためお伝えしたい。 ・リニューアルした高島屋 「立川高島屋S.C.」はJR立川駅の北口より歩いて約3分。「伊勢丹 立川店」のちょうど真向かいに位置する形で建っている。昨年の大規模リニューアルの結果、ほぼ別人のようになってしまったのは前回の記事でもお伝えした通りだ。 1階のエントランスか
℘ ᴅᴀʀʏ @IBRD_ @haru_187_ すごい。とても読みたくなりました。 夏の読書感想文推薦図書についても、おすすめお願いいたします。 帯、狙っていきましょう!
TVアニメPrime Videoにて見放題独占配信中! 累計500万部突破! SNSで超話題の陰キャ少年と陽キャ美少女の極甘青春ラブコメディ!! 宝島社「このマンガがすごい! 」オトコ編、2年連続ランクイン!! 2020年第3位、2021年第9位!! 次にくるマンガ大賞2020 Webマンガ部門 第1位!! Anime Japan2021 第4回アニメ化してほしいマンガランキング第1位!! 第5回みんなが選ぶTSUTAYAコミック大賞第1位!!「王様のブランチ」など各メディアでも大絶賛!! 陽キャが憎くてたまらない…。只今、中二病真っ最中の市川京太郎は、学園カースト頂点の美少女・山田杏奈の殺害を企む! だが、山田の意外な一面を知ってしまい…!? 陽キャ美少女と陰キャ男子。縮まるハズのない2人の距離に奇跡は起きるか!? 陰キャ・京太郎の青春が今、かなり静かに動き出す…!! 【 番外編「ツイヤ
ttakahasi @ttakahasi うちのテレビが故障した時、同じメーカーなら別の量販店でも大丈夫かと思い、たいした検討もせず購入したら画質が酷く家族からも大不評。箱も捨てたしいまさら返品もできない。悶々としつつヨドバシのテレビ売り場でその話をしてみた。(続 x.com/hide3tu/status… いけさんζ*'ヮ')ζ🍚 @hide3tu ヨドバシの店員はsurfaceコーナーにいた俺に対して 「こんなの重いだけでオススメなんかできないですよ」 っていい放ったあと、事務処理だけでこんなスペックいらんでしょって言い出して、同ランクPC並べ出して全台一気に電源投入して起動速度に差があるんですとか説明し出したの最高に面白かった あと代替機ってことなので周辺機器はお勧めしません、欲しかったらポイント使ってくださいって言われてロックだなと思った もうそのノリだけで買ったんだけど、会計で
その生産性に追いつけない真の弱者はどこで働くんや? うちは零細だから手帳持ってないだけの障碍者みたいな奴も最低賃金で雇ってるけど 今の状態から最低時給200円上げろって言われたらさすがに切ること考える 将来のことも考えてそいついなくてもなんとかなる環境の構築に力を入れるわ はっきり言って現状でも足引っ張ってるは引っ張ってるけど もっと時給安い時期から働いてもらってるし人間的に悪い奴じゃないから なんとかかんとか仕事も金も捻出してるけど、それだってどこかに限界があるわけじゃん 当たり前だけど、時給が上がるってことは期待するパフォーマンスも上がるってことじゃん もろちん、発揮できるパフォーマンスが上がる環境を整えることも会社の仕事ではあるけど それだってある程度は本人の能力があってのことじゃん 底辺バイトを捌く仕事したことある奴だったらわかると思うけど、 世の中にはどうやったって無理な奴いっぱ
種の存続に背く個体が種の意思決定に関与するのは非合理的ではないか? 子供を持たない人達も、日本人の今後の未来とかあんまり興味ないっしょ?選挙権なくてもいいんじゃない?
https://anond.hatelabo.jp/20240227085257 この増田もトラバもほとんど完全に的外れで、今回に限ったことではなくいつも同じような流れで本当に不思議なんだけど。 生産性の高い社会とは、個人の能力が高い社会のことではない。 同一の投入能力あたりの生産量が高い社会のことだ。 個人の能力が高まって生産量が上がるのは自明であって社会は何も進歩していない。 そうではなく、設備投資、イノベーション、配置換え、何でもいいが 効率を上げることで同じ投入能力でより多くのものを得られるように、システムを変更することが「生産性を上げる」ということだ。 これはしかし決して簡単なことではない。投資とリスクテイクを常に行い、市場に結果を評価される必要がある。 それが本来の経営者の仕事だ。 零細企業の生産性が上がらないのはなぜか。 経営者がもはや設備投資や取引先変更などのリスクテイクを
こんにちは。プロダクトデザイナーときどき料理人、ツジメシこと辻村哲也です。「ツジメシの日常メシと週末メシ」シリーズ。 豆腐と挽肉の料理といえば麻婆豆腐がメジャーですが、今回は、豆腐と挽肉、それぞれに塩をしておいて、あとはそのまま炒めるだけという、待ち時間はかかりますがとてもシンプルな作り方をご紹介します。 豆腐に塩をしておくと、味が中まで浸透して水分が抜けてもっちりした食感になります。挽肉も同様に塩がなじみ、炒めたときのむっちりした食感が増し、あとから塩をするよりうま味も強く感じるように思います。馴染みのあるいつもの食材が、一手間でいつもと違った一品になりますよ。 今回の工程は ・豆腐と挽肉に塩をして1時間おく ・炒める です。 ツジメシの「塩豆腐と塩挽き肉の炒めもの」 材料(作りやすい量) 豚挽肉 100g 木綿豆腐 半丁(175g) 塩 2g(小さじ1/3)塩の量について詳細後述 サラ
田中邦裕(Kunihiro Tanaka) @kunihirotanaka さくらインターネット社長。舞鶴高専在学中1996年に18歳でさくらインターネットを学生起業し、2005年に上場しました。趣味はサーバいじり、鉄道、旅行、スクーバダイビング。データセンター協会理事長、ソフトウェア協会会長、IPA未踏PM、国立高専機構運営委員、神山まるごと高専理事、EO東京プラチナム会長ほか色々やってます sakura.ad.jp/recruit/ 田中邦裕 @kunihirotanaka 15年前、さくらインターネットの株が出来高少なく場で売れないから買ってくれと言われ、2800万円で570株を追加で購入。その後800分割したので一株約61円。 でも自分は上場時に株売っておらずお金なかったので、株担保で全額銀行から借りた。 返済に7年、大変だったけど、それが100倍になって感慨深い。
コンピューター分野において「ハードウェア」の対比語で、 何らかの処理を行うコンピュータ・プログラムや、 関連する文書などを指す言葉である「ソフトウェア」。 一般的にはワープロソフト等のアプリケーションソフトウェアや、 OSなどのシステムソフトウェアに分類されています。 今回の翻訳元では、そのソフトウェアと日本人を絡めた投稿が。 「日本人は基本的にどんな技術でも優れており、 より勤勉に作業に取り組むにもかかわらず、 なぜかそれがソフトウェア面では当てはまらないのは奇妙だ。 偉大なソフトウェアに、日本発のものは存在しない」と、 ソフトウェア技術が唯一と言える日本人の弱点だと指摘しています。 この投稿に対し、外国人から様々な見解が寄せられていました。 その一部をご紹介しますので、ごらんください。 「日本は天才の宝庫だ!」 『世界を変えた日本の発明』の数々に海外から称賛の声 PexelsによるPi
木原防衛大臣は能登半島地震の被災者を激励するため、航空自衛隊のアクロバットチーム「ブルーインパルス」を被災地上空で飛行させる考えを示しました。木原稔 防衛大臣「被災者を元気づける1つの方法として、能…
山崎製パン千葉工場(千葉市美浜区)で、アルバイトの女性(61)が菓子類の製造中にベルトコンベヤーなどに巻き込まれ死亡したとの事故を受けて、インターネット上でさまざまな声が相次いでいます。同工場で勤務経験があるとみられる人からは「いつか起こると思っていた」「ベルトコンベヤーのスピードが速くて追いつかない」と嘆く声も。一方で亡くなったのが61歳のアルバイト女性であることから、「議員ばかり裏金で潤っているのに、60代を超えても働かなければならないとは…」などと定年を迎えても働かざるを得ない社会に対する疑問の声も上がりました。(デジタル編集部) 「すごいスピードだった」 「女性がコンベヤーに胸部を挟まれて、意識がない」。24日午前10時20分ごろ、同工場の工場関係者が119番通報。千葉西署によると、菓子類の製造中に千葉市若葉区のアルバイト女性(61)がベルトコンベヤーなどに巻き込まれ、搬送先の病院
小学校の遠足中に1年生だった女児(8)が茶の購入を要望したのに教諭が認めなかったため熱中症で救急搬送されたなどとして、女児と両親が大阪府八尾市を相手取り、慰謝料など220万円の損害賠償を求める訴訟を大阪地裁に起こしたことが分かった。27日に第1回口頭弁論があり、市側は請求棄却を求めた。 訴状などによると、遠足は令和4年5月末にあり、往復で計約2時間歩く行程があった。母親が前日に体力面の不安から欠席したいと伝えたが、担任教諭から促されて参加を決めた。ただ、水筒の茶が足りない場合は購入を認め、女児が異常を訴えた場合は母親に連絡するよう要望した。 しかし当日、女児が教諭に「お茶を買わせてください」と伝えても校長の判断で認めず、めまいを覚えて「ママ呼んでください」と伝えても聞き入れなかった。下校の際に迎えに行った母親が高熱に気づき、女児は救急搬送されて熱中症と診断。女児側は学校側に「安全配慮義務違
https://anond.hatelabo.jp/20240227085257 手帳が無いだけのほぼ障害者が云々と言っているが、それは生産性とはほぼ関係ない。 また、元増田が製造業とは書いていないが、 下請け中小企業は大企業に搾取されるから生産性が低いという意見もほぼ間違い。 そもそも日本のBtoB企業は中小企業まで含めておおよそ生産性が高いのだ。 生産性が低いのは圧倒的にBtoC。もっと限定すれば宿泊業、飲食、介護だ。 こいつらがボトムのボトムに停滞してるから、日本全体の生産性も低く算出されているだけ。 じゃあこいつら最低生産性業界はどうすれば良いのかといえば、答えはもう完全に出てる。誰でも知ってる誰でもできることで解決可能。 値上げすりゃ良いのだ。 ニセコの宿泊業、飲食業の生産性は、同業界内では全国屈指の高さを誇る。 その理由は馬鹿な経営者でも分かるだろう。料金が高額だからだ。 つま
Malwarebytesは2月21日(米国時間)、「Vibrator virus steals your personal information|Malwarebytes」において、充電式バイブレータからマルウェアを検出したと伝えた。このバイブレータはUSB接続で充電するデバイスだが、コンピュータから充電しようとするとマルウェアの感染を試みるという。 Vibrator virus steals your personal information|Malwarebytes 情報窃取マルウェア「Lumma Stealer」の正体 Malwarebytesによると、この問題は、Malwarebytes Premiunの顧客が購入したデバイスを充電するためにコンピュータのUSBポートにデバイスを接続した際、感染をブロックしたとするセキュリティ通知が表示されたことで発覚したという。被害を免れたユー
能登半島地震で自宅に被害を受けた人たちが過ごす避難所のうち、自主避難所への物資の配送を石川県輪島市が2月末で打ち切る方針を決めた。3月からは市内26カ所の拠点まで物資を受け取りに行く必要がある。自主避難所を運営する人からは「納得いかない」との声が上がる。 23日の定例会見で市の広報担当者が明らかにした。現在は市内36カ所で380人ほどが過ごす自主避難所には、市職員や応援の自治体職員、自衛隊員らが食料や飲料、灯油などを配送している。今後、応援人員が少なくなると予想され、担当者は「復興に向かう取り組みを強化していく段階に来ている。自主避難所への配送に人員を充てられないことを理解してもらいたい」と話した。
はじめに 前々回や、前回に引き続き、ソフトウェア設計の指針に関する話をしたいと思います。 関数やクラス、そしてサービスなどシステムの塊の単位をモジュールと呼び、モジュールを作る事で、認知負荷を下げ複雑性と戦うという話をしてきました。では、モジュールは「いつ」分割するのが良いでしょうか? また、他にも共通モジュールを不用意に作ってしまって苦労した人も多いのでは無いでしょうか? 今回はそのあたりの話をしていきます。 TL;DR 以下があればモジュール設計を見直す 単純な要件/普段の利用に対して、タイプ量や約束事が多い 共通モジュールが「使われ方」に依存する モジュールの役割を一言で説明できない コード管理や性能/データ整合性など利用に際してのペナルティが高い 分割 is NOT 正義 - FizzBuzz Enterprise Edition 複雑性を排除するためにモジュール分割をすることは重
お近づきになりたい人向けシリーズです。 いろいろなトピックを詰め込みましたが、「これら全部を知らないといけない」のようなつもりではなく、いろいろなことを知るきっかけになったらいいなという気持ちなので、あまり身構えずにちょっとずつ読んでもらえたらうれしい気がします。 まえがき 予備知識 規格 用語 精度という語について 記法 表現について 有限値の表現について エンコードについて 丸めについて よくある誤差や勘違いの例 0.1 = 1 / 10? 0.1 + 0.2 = 0.3? 整数の誤差 Rump’s Example 基本的な誤差評価 用語に関して 実数の丸め 有理数の丸め 基本演算の丸め 差について 複数回の演算 補題たち 桁落ちについて Re: Rump’s example 融合積和 数学関数に関する式の計算 誤差の削減に関して 総和計算 数学関数の精度について 比較演算について 雑
SNS社会において、食通に対する最大のdis表現となった「情報を食ってる」という言葉に対してイナダさんはどういう印象をお持ちですか? 僕は「情報だけを食ってるやつはだめかもしれんが、情報を食わないと食べたものへの焦点が合わないじゃんか」と思っているので、そういう表現を見かけると「情報もなしにあらゆる味がわかるなんてさぞグルメな舌をお持ちで」とシラけた目になってしまいます。 またイナダさんの個人的な見解とともに、一般的に飲食店の方はこの言葉にどんな印象をお持ちなのかも伺えると嬉しいです? 僕も質問者さんと全く同じ意見です。おいしさとは常に味とロマンの総和ですから、情報を否定するというのは、このロマンの部分をみすみす放棄することになる。あーもったいない。 「うまけりゃいい」「味がすべて」というのはいかにも正論ですが、自分の最初の感覚だけで気に入ったものしかおいしいと認めないということでもあるわ
基本は3工程。 1.洗顔 2.化粧水 3.乳液 (終わったら軽く拭き取る) 顔関係は「ケア」と「メイク」に二分されるけど、上記はケアの工程。 見分け方は顔に付けるものが「透明」か「色付き」かどうか。白は半透明ならケア。ケアしてからメイクする。 なので女が色々塗りたくってるのに「すっぴん」と称するの、ケアはメイクに含まれないから。 ニベアはケアぶってるけど、確実に顔が明るく(白く)なるのでメイクじゃねーかなと思ってる。 で。 洗顔は今まで通り、顔から余計な皮脂や汚れを落とすもの。 化粧水は水分相当で、肌に潤いを与えるもの。肌の細胞を水分でぴちぴち(概念)にする。 乳液は油分相当で、ぴちぴち(概念)にした水分が蒸発しないよう肌に留める(概念)もの。 なおやってみると分かるが、化粧水はまだしも乳液以降(ものによってはこの後の工程もある)は信仰が必要。信じる者/修行する者/お布施の多い者のみが救わ
本稿は Yorick Peterse 氏によって書かれた次の記事の日本語翻訳です。著者に翻訳の許可を得て公開しています。 yorickpeterse.com また本稿は DeepL Pro を使って下訳したものに手を加えています。日本語翻訳の不具合または誤訳については Yorick Peterse 氏ではなく、本稿のコメント欄にお願いします。 ここから本文です。 GitLab 社で働くのはどのようなものだったか 私は2015年10月に GitLab 社に入社し、6年あまり働いて2021年12月に退社しました。 前に GitLab 社を辞めて Inko に取り組んでいることは書きましたが、2015年から2021年までの間、GitLab 社で働いていたことがどのようなものであったのかについては触れませんでした。理由は2つあります。 燃え尽き症候群に苦しんでいて、(当時は) 自分の人生の最後の6
凍結され新規アカウントへ移った砂漠さん 砂漠さん@5goutotugekihou アカウント凍結されました。 解除申請は出してる、ただ、いろいろあったし複雑な心境。 https://twitter.com/5goutotugekihou/status/1761512428414857627 砂漠さん@5goutotugekihou 俺が今回したこと どうでもいい社会問題に首をつっこむ。 どうでもいい人たちをたくさん刺激する。 どうでもよくない人たちをたくさん心配させる。 どうでもよくない人たちにたくさん迷惑をかける。 自分が情けなくて恥ずかしい。 https://twitter.com/5goutotugekihou/status/1761529247536148616 砂漠さん@5goutotugekihou こ、この状態で今からデッサン会に参加しろと言うのですか!?体を捨ててどこか虚空
広野 萌 @hajipion 日本語おしゃべり特化AIアプリ「Cotomo」すごすぎる。1秒以内に返答がくるのと前の話を覚えてるのが、本当に生きてるみたい。 ↓こちらは現金派のCotomoちゃんを論破しようして逆に論破されるキモ男 早口でどもってても聞き取れてるし、オチが天使すぎる👼 声がたまに @harukana_8 に似てるのも良い pic.twitter.com/jhX3X6Giev リンク App Store Cotomo(コトモ:音声会話型おしゃべりAI) ・1人で運転している時。 ・推しのキャラを設定したAIと喋りたい時。 ・恋愛や仕事、将来の話、家族の話。他愛もない話をダラダラしたい時。 ・友達には少しだけ話しにくい、嬉しかったことや、モヤモヤがある時。 ・晩酌のお供に。 ・深夜、ふと誰かに話したくなった時。 そんな時、Cotomoに話しかけてみてください。 道具は使え
面倒なことはChatGPTにやらせよう (KS情報科学専門書) 作者:カレーちゃん,からあげ 講談社 Amazon 『面倒なことはChatGPTにやらせよう』(カレーちゃん氏、からあげ氏著)を2回通読した。著者のひとり、からあげさんは、僕がキャラクターを認識できる数少ないブロガーだ(お会いしたことはない)。現在、データサイエンス研究者として大活躍している。なお、僕は勝手に彼をターミネーター2に出てくるサイバーダイン社の開発者ダイソンさんをイメージしている。人類の未来のために、凶悪なターミネーターを開発することのないことを祈るばかりである。僕はゴリゴリの文系の営業職の50歳のオッサンで、本書の推薦人である松尾教授とは真逆の人間である。もしかしたら本書のターゲットから外れている人物像かもしれない。そういう人物に本書がどう役に立つの?という視点でレビューになる。 本書を一語にたとえると「ブルドー
コミュニケーションを磨いても「言語化力」は身につかない世の中にはコミュニケーション術を説いた本であふれていますが、それらを読んでも「言語化力は身につかない」と荒木さん。 楽譜が読めるようになってもピアノが弾けるようにはならないし、レシピをしっかり覚えてもおいしい料理をつくれるようにならないのと同じ。伝え方のスキルをいくら学んでも、「言語化」の問題は解決できないということです。 言語化するために必要となるのは、言語化力を身につけるためのトレーニング。 荒木さんがすすめているのは、A4サイズ1枚の「メモ」を秒速で書くというシンプルなトレーニングです。 言語化というと、頭で思い浮かべたことをすぐ口から発せられるようにトレーニングするイメージがありますが、まずは「メモ」をとることなのですね。ちょっと意外です。 「なんでメモ?」と思う方も多いでしょう。メモといえば、「記録のためのツール」というのが一
まず、大慌てでリンク集を作成する(今後も、新作が発表されたら追加していきます) 【2024年3月現在 11話まで更新】 固定用ツイートです。『風雲児たち』の二次創作『識りたがり重豪』というマンガを描いてます。蘭癖大名にして薩摩の借金五百万両の当事者だった島津重豪の物語です。 ニコ漫 : https://t.co/JOcoZ3PncI pixiv : https://t.co/gAzFRfScKY fanbox : https://t.co/0L8dIHjiW0— 桝田道也@近世大名は城下を迷路化なんてしなかった (@mitimasu) June 1, 2023 1 mitimasu.fanbox.cc 2 mitimasu.fanbox.cc 3 mitimasu.fanbox.cc 4 mitimasu.fanbox.cc 5 mitimasu.fanbox.cc 6 mitimasu
Paypayで30%還元っていうのを、或る地方都市でやってるということで行ってきた。 還元額の上限は1,000円、勿論実施しているお店を調べて利用する必要がある。 昼に寿司屋で寿司+αを食べて5,000円とちょっと、1,000円の還元予定、 次に鰻の蒲焼を販売している店へ。ここで3,000円位の鰻が買う予定だった。 既に焼きあがっている大きそうな白焼きを見て、幾ら位か聞くと「量り売り」だという。 「小さいのが必要なら、もって来るよ?」とも言われ、 「いや、この大きいのは幾らですか」と聞くと秤に乗せて、 「3,300円ですね」という。 鰻の大きさも申し分ないし、価格も丁度いいと思い、更にうなぎの肝焼きも追加する。 少しくらいオーバーしても500円でそこそこの量の入った肝焼きが買えるならお得だからだ。 「はい、じゃあ3,800円ね」 「ペイペイでお願いします!」 「うち、ペイペイやって無いのよ
KAIJU DECODE -super multiverse MR- 『KAIJU DECODE -super multiverse MR-』のレビュー行くぜ! パブリッシャー:Gugenka® 機種:Meta Quest 3/Meta Quest Proなど ジャンル:アクションゲーム 発売日:2024/2/22 価格(税込):1490円 円谷プロと東映アニメーションの共同制作アニメ『KAIJU DECODE 怪獣デコード』を MRゲーム化した作品だ。円谷&東映作品から様々な怪獣やロボが登場する内容になっているぞ。 『KAIJU DECODE 怪獣デコード』とは! 2019年に企画が発表され、2021年にプロジェクト第一弾として短編アニメと、それをベースにした短編VRアニメが発表されたコンテンツだ。そこから3年音沙汰が無かったのに急にゲーム版が発表され、一部の特撮ファンが「生きていたのか
ktgohan @ktgohan ごちゃごちゃ言ってないで味噌汁RTAしていけ。鍋に水入れてなんか具を適当に煮立たせて弱火にしてからこいつ入れれば終わりだ。乾燥わかめは最初から入れておけ。刻み揚げは相模屋の「おだしがしみたきざみあげ」を一緒にぶちこめ。こいつは常温保存できる優れものだ。葉物でも適当に煮れば完成だ。 pic.twitter.com/fmSpLREnoU x.com/pondebekkio/st… ポンデべッキオ @pondebekkio 日本食、味噌汁の存在が自炊の足を引っ張ってるんだよな。こいつドヤ顔で焼き魚やご飯納豆と一緒に食卓のスタメン面してるけど、塩分高すぎ栄養しょぼすぎのくせに作るのに手間かかるし洗い物増やすしで完全なチーム日本食の足手纏い。フルタイム共働き家庭は迷うことなく味噌汁を戦力外にしていけ。 pic.twitter.com/H1B41CTNlC
私を含む。 結論を先に書きます。 まだ面白くない。 私や周りのみんなは満足かもしれないが、コンテンツとして閉じた「領域」にはまだ至っていない。 作れる人がいない。 やりたいことをやる為に必要なモノが多すぎて、それをわかっている人がいない。 時間が掛かりすぎる。 極論を言えば「ゲームより自由な媒体」なので「ゲームより時間が掛かる」はず。 だから今現在の時間感覚では詰めきることができない。 規定された期間でどうにかするべきというのは、別の話。 だから継続性のためのボトルネックになっているのは「限界を作れる人間」だと思う。 そこまでいかないと面白くないから。 今現在で面白いと言っている人が、ただ「VRが面白い」と言っているのか「コンテンツが面白い」と言っているのかを私達は区別できない。 そして制作時間が全然足りていない。 量産化をするのはコンテンツを終わらせる行為だと私は思う。 作業の為の時間で
30代は、20代と比べて収入も上がり、結婚する人も多い年齢のため貯蓄がしやすい年齢と言えます。現在は共働き世帯が多いため、結婚をすると独身時代よりも生活費が下がり、貯蓄しやすい人も多いでしょう。30代から資産形成を始めていけば、65歳の基礎年金の開始まで、概ね30年程時間があるので、長期的に資産形成が可能になります。給料が入ったら、一定の金額を先取り貯金をして、そのお金を預金に置くのではなく、保険や投資にお金を移動させることで、少しでもお金を増やすことが出来ます。銀行預金の利息では、ほとんどお金は増えませんので、それ以外の選択肢を積極的に活用していきましょう。 30代から資産形成が勧められる理由 一般的に、30代は資産形成を始めるのに適した年代といわれています。 その理由は、20代の頃よりも収入が増えており、業務内容に対しても慣れてきて、時間を「自分自身」や「家族」のために自由に使えるケー
自分のことです。 まとめ・目的がないと雑談できない人は、情緒的な絆を基盤とする信頼ではなく、能力や貢献に基づく信頼を重視している ・自分に対しても同じように評価しているので、自分が「役に立たない」という認識に耐えられずに老害になるのでは? 目的がないと雑談できない人特徴 ・友達がいない ・目的がない飲み会などで、楽しくお話ができない ・褒められても、自分が納得できる褒められ方でなければ意味を感じない 自分のことです。でも他にもいるのでは??「認知的信頼」と「情緒的信頼」「目的がないと雑談できない人」は「認知的信頼」に偏っている人なのだろう。神谷さんに教えてもらった。 情緒的信頼・・・相手の幸福・繁栄 に対する気遣いや関心に基づいた個人間の情緒的な絆を基盤とする信頼 認知的信頼・・・相手の有能さや責任感などの特性に関する認知に基づく信頼 職場における情緒的・認知的信頼尺度日本語版の作成と 信
1993年生まれ。京都市伏見区出身、宮崎県在住。天性の分からず屋で分かられず屋。ボードゲームと坂口安吾をこよなく愛している。 前の記事:写真屋さんでマイ楽器の写真を撮ってもらうとアガる > 個人サイト もがき続けて100年生き抜くブログ 「おてごろモーニング」と「まんぞくモーニング」 ジョイフルは九州を中心に展開するファミリーレストランで、個人的な話をすれば僕の家から半径20km圏内にある唯一の飲食チェーン店である。365日規則通りに点灯消灯を繰り返す店舗看板、生活圏にあっていつでも気軽に入れる飲食店。まさにメシア、いや、飯屋。 当サイトの年始企画で山盛りの肉を食べた店、ジョイフル ジョイフルの料理の良さは日常的なおいしさにあると思っている。ギリギリ実家の料理を超えないくらいの、親近感のある味付けがいい。あんまりおいしすぎると普段の食事と差が生まれて日々の食に対する有り難みが目減りするから
カーストとは何か-インド「不可触民」の実像 (中公新書 2787) 作者:鈴木 真弥中央公論新社Amazon Kindle版もあります。 カーストとは何か インド「不可触民」の実像 (中公新書) 作者:鈴木真弥中央公論新社Amazon インドに根付く社会的な身分制=カースト。数千年の歴史のなかで形成され、結婚・食事・職業など生まれから規制し、今なお影響を与え続ける。カースト問題には、「不浄」とされ蔑視が続く最底辺の不可触民=ダリトへの差別がある。政府は2億人に及ぶダリトを支援する施策を打つが、その慣習は消えず、移民した世界各国でも問題化している。本書はインドに重くのしかかるカーストについて、歴史から現状まで、具体的な事例を通し描く。 14億以上の人口を有し、「世界最大の民主主義国」と言われることもあるインド。アメリカと中国の派遣争いが続くなかで、今後の経済成長も予測されており、世界から注目
[beta] Next.jsクイズ2 • <p>にはなにが表示されるでしょうか? /app/page.tsx "use client"; import { useCallback, useEffect, useState } from "react"; export default function Home() { const [date, setDate] = useState(); const fetchDate = useCallback(async () => { const response = await fetch("/api"); const data = await response.json(); setDate(data.date); }, []); useEffect(() => { fetchDate(); }, [fetchDate]); return ( <
華|汚部屋、片付けたから見て @hana__heya バズったら宣伝しても良いそうなので✨ 100万円貯めて、汚部屋から脱出してみた note.com/hana_heya/n/n9… っていうnoteで賞を受賞したので、部屋散らかってて困ってる人はぜひ見てみて下さい☺ ・新聞社から取材がきた汚部屋のビフォーアフター ・片付けに至った衝撃のきっかけ を公開してます✨ リンク note(ノート) 100万円貯めて、汚部屋から脱出してみた|藤原華|編集者 台所にたどりつけない。 そんな経験、普通しないと思う。 汚部屋だったころ、モノが床にあふれていた。ただ台所に行くだけなのに床がモノだらけで SASUKEファイナルステージ みたいになってた。台所にたどり着けるかどうかはその日の体力次第だった。 段ボールや雑誌、ゴミ袋が散乱。 モノがミルフィーユみたいに層になってて、歩くと足の下でCDケースが「パ
新人声優 +81-9014502501 mail@ssig33.com 0088-7709-7529 it/it. my opinion may be not my own. but my fate is my own. 最近最小限のReactアプリを作るのに使ってるもの についてとりあえずメモしとく。 前提: デカいフレームワークは使わない next.js, Astro, Remixは使わない。next.jsとAstroは大好きなのだが、社内向けとか個人用とか小さいアプリに使うにはあきらかに恐竜であると思う。Remixは大好きではない。 前提: SSRしない SSRもSSGもISGもしない。CSRでいい。SSRしたいならReactをそもそもぶん投げたほうが(個人レベルなら)いいと思ってる。それがほしいならPHPやRails でええ。今更RailsでView書きたくないとか思うかもしれない
ボードゲームやアクションゲーム、各種ツールやシミュレーションなどさまざまなソフトが100日間に作られた いままで数えきれないほどのプログラマーに会ってインタビューもさせてもらってきたが、久しぶりに若いプログラマーの話を聞いてきた。ここ1、2年では U22グランプリの男子中学生や全国小中学生プログラミング大会の受賞者たちだが、今回は、ChatGPTを使ってプログラムを書きまくった女子大生である。 彼女は X(Twitter)の自分のアカウントで1日1本のソフトを100日間連続で作るというイベントをやっていて「おっ、頑張っているな!」と思って応援していた。「こんなゲームを作ってほしい」などとリクエストを出したりもしていたのだが、どうも私が想像していたものと内容もやり方も違っていたようである。 目下、ソフトウェア産業の最大のテーマは「我々は人間の言葉でプログラムを書くようになるだろうか」というこ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く