哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います. 数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます. (あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. ) 現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてく

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに きっかけは、以下のツイートです。 「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ — ふみ a.k.a.DJ Monad (@fumieval) May 29, 2023 このリプライや引用リツイート欄では、Trueを返すべき、Falseかな、例外を返すべき、要件による、といった意見がありました。 建設的な議論ができるコミュニティは素晴らしいと思う反面、同じコミュニティに属するエンジニアに対して「センスがない

3年前、熊本県芦北町で死産した双子の赤ちゃんを自宅に遺棄したとして、死体遺棄の罪に問われたベトナム人の元技能実習生の裁判で、最高裁判所は執行猶予のついた有罪とした1審と2審の判決を取り消し、逆転で無罪を言い渡しました。 無罪を言い渡されたのは、ベトナム人のレー・ティ・トゥイ・リンさん（24）です。 リンさんは、技能実習生だった2020年11月、死産した双子の赤ちゃんの遺体を段ボール箱に入れて芦北町の自宅に放置したとして死体遺棄の罪に問われました。 死産したあとの行動が死体遺棄罪の「遺棄」に当たるかが争点で、24日の判決で、最高裁判所第2小法廷の草野耕一裁判長は「習俗上の埋葬とは認められない形で死体などを放棄したり隠したりする行為が『遺棄』に当たる」という考え方を示しました。 そのうえで、リンさんの行為について「自宅で出産し、死亡後まもない遺体をタオルに包んで箱に入れ、棚に置いている。他者が

ドイツ政府は25日、ウクライナに対してドイツ製の戦車「レオパルト2」を供与すると発表しました。また「レオパルト2」を保有している国がウクライナへ供与することを認める方針も示しました。 ドイツ政府は25日に声明を発表し、ウクライナに対してドイツ製の戦車「レオパルト2」を供与すると発表しました。 それによりますと、ドイツ政府はウクライナに向けた「レオパルト2」の2個大隊を速やかに編成することを目標にしていて、その第1段階としてまず、ドイツ軍から14両をウクライナに供与するとしています。 また、「レオパルト2」は攻撃力が高い戦車としてポーランドやフィンランドなどヨーロッパ各国が保有していて、「ヨーロッパのパートナー国からも順次、引き渡される」として「レオパルト2」を保有している国がウクライナへ供与することを認める方針も示しました。 そのうえで声明ではウクライナ軍の兵士に対する訓練をドイツ国内で速

なにやら中国の方が作られた音声合成AI「MoeGoe」の2891人の日本アニメキャラの音声モデルが公開されてしまった！！Hugging Faceでデモが試せる！早速まどマギの５人に喋ってもらった！！うわうわうわ！ヤバいよヤバい本当… https://t.co/IsmQsTS8is

著作権法第三十条の四のニが任意規定なのか強行規定なのかは学説が分かれてるし判例の蓄積も皆無なので、ちゃんとイラストの利用規約で学習への利用を禁止してオーバーライド問題で争えば良いじゃん。

SmokingWOLF＠ゲーム開発者/片道勇者2開発中 @WO_LF 「AI学習禁止」がトレンドに入っててすごい時代の風を感じる （※「自分のイラストを学習データに使わないで」という話題。個人のイラスト複数枚を入力することで画風をまねた顔イラスト画像を生成できるサービスが今日リリースされた影響） SF小説もびっくりのとんでもない世の中になってきた。 2022-08-29 22:21:26 おねねちゃん @OneneChan ぐああああｯｯｯ！！！悪用対策ｯｯｯ！！！！！！！転載禁止ｯｯｯ！！！自作発言✕ｯｯｯ！！！トレパク✕ｯｯｯ！！！！ …………AI学習禁止ｯｯｯ！！？？！？(𝗻𝗲𝘄) ｷﾞｬｧｧｧｧｧｧｧｧｧｧｧｧめんどくせえ""""ぇぇえええッヅッ！！！！！！！！！！！！！！！！！！""""" pic.twitter.com/82NGOLoRTD 2022-08-29 18:5

我孫子市(千葉県)を車で走ってたら「妻子原」って交差点があって。「妻と子の原…？何か歴史的な逸話が？」ってそれから毎日ずっと気になっちゃって、ついに東京の大きめの図書館の専門資料室行って膨大な資料を調べたんだけど結局分からず。 諦… https://t.co/u8XY9MkTIY

追記： 人気エントリになってる！トラバやブコメめっちゃ参考にしますありがとう。 PCは何でもあると思っていたら任天堂ハードで出てるゲームみたいなのが （技術的には可能なはずなのに）出てないのが意外だったんですよね SFの話は主題が混ざってすみません ショートサーキットとかWALL-Eみたいなかわいいのがもっとあってもいいのにな ----------------------------------------- ゲームが下手なのであまり触れてこない人生だったのだが Detroit: Become HumanがやってみたくなりゲーミングPCを購入した。 終わって満足しさすがにそれだけではもったいないので色々調べてみたのだが せっかくのPC性能を活かせそうなゲームだと 銃/剣、中世/世紀末、ソンビ/エイリアン、クライム系みたいなのが大半で 暴力、血、グロが苦手な自分に向いてそうなものが少なくて残

デベロッパーのCyanは8月17日、アドベンチャーゲーム『Myst』の発売日を発表した。対応プラットフォームはPC（Steam/Epic Gamesストア/GOG/Microsoft Store）/Xbox Series X|S/Xbox OneおよびOculusで、8月26日配信予定（Steam版は、日本では8月27日配信）。サブスクリプションサービスXbox Game Pass向けにも提供される。 本作は、1993年に発売されたアドベンチャーゲームの名作『Myst』を再創造（re-imagined）した作品だという。いわゆるリメイク作だといえるだろう。本作では不思議な本の中に入り込み、そこに広がるMyst島を探索することとなる。島内にはさまざまなギミックが存在する一方で、プレイヤーを導くヒントはほぼ存在しない。想像力を働かせながら、謎を解いていくのだ。 リメイク版は、Unreal En

ワクチンを打つと健康になる、という仮説はとらないとすれば、接種者と未接種者ではそもそも健康状態の違いがあって、そのことが接種したかしなかったかに影響している、と考えられるわけで、つまりランダムサンプリングになってない。

20数年オタクとして生きてきてはいるけど、かつての艦これ全盛期からアイマス系統、最近のウマ娘でも「キャラがプレイヤーを好く（恋愛感情をもつ）」がマジで気持ち悪すぎて無理なんだけど同じような気持ちになるオタクっているのかな？ こんなこと言ってるけどその昔は艦これはやっていて、それでも提督（プレイヤー）を好く艦娘が無理すぎてボイス関係全部切ってたくらいなんだけど、友人のオタクがやってるアイマス、シャニマス、ウマ娘とか割とストーリーが重要（物語性がある？やってないからアレだけど）なゲームだとそういうの飛ばすと遊んでると言い難い気がして手を出せずにいる。 アイドルをプロデュースして舞台に上がらせるのが目的ってゲームならただのビジネスパートナーとして最初から最後まで完結できないんだろうか？ ウマ娘をトレーニングさせてレースで勝利させるのが目的ってゲームならただのビジネスパートナーとして最初から最後ま

サーバ業務周りの管理、運用について役に立ちそうなナレッジをまとめました。 長期的に書いているため用語に統一性がなかったり、不足分など随時修正したいと思います。 1. サーバ設計 サーバスペックはどうするべき？ 使用するOSは？ CentOS開発終了について MWは何を使うべきか Webサーバ構築にはどちらを使うべき？Apache？Nginx？ サーバセキュリティで最低限押さえておきたいことは？ listenするポートは最小限にしましょう ファイアウォール設定で送受信IPアドレス、ポートの通信制御はしておきましょう 外部に出る際にはプロキシサーバを経由するようにする 随時パッチを当てるようにする linuxでのアンチウイルスソフトの検討 個人アカウントで変更系コマンドは実行させないようにする ログについて考えること ストレージ容量には気をつける データベースはどう決めたら良いか MySQLか

チームにいると頼りになるソフトウェアエンジニアのメモです。自分のロールモデルでもあります。私のキャリアはほぼウェブブラウザ開発一筋なので、その辺に生息している人たちを思い浮かべながら書いてます。思いついたら随時更新します。 コードマニア コードやドキュメントを読むのが好きで、暇があれば適当なレビューに飛び入り参加したり、自分のプロジェクトとは関係ないコンポーネントもひたすら探検している。不穏なコードを見つけるとなんとリファクタリングもしてくれる。コードサーチがお友達。 やたらコードに詳しいので、何か分からないときはとりあえず聞きに行く。チームに一人いるとレビューが捗るし、コードベースも綺麗になる。コードマニアはコードベースを広く熟知している上に未知のコードに対する耐性も高いので、プロジェクトを移動してもすぐに活躍できる。 コードマニアの亜種にスペックマニアもいる。こちらはウェブやネットワー

その1枚の写真に、私たちは衝撃を受けた。 去年11月、都内のバス停で路上生活者の60代の女性が男に突然殴られ、死亡した事件。 カメラに向かって微笑みかける写真の女性が、亡くなったその人だった。 撮影されたのは1970年代。 当時は劇団に所属し、希望に満ちた日々を過ごしていたという。 しかし、亡くなった時の所持金は、わずか8円だった。 彼女にいったい何があったのか。バス停にたどり着くまでの人生を追った。 （社会部記者 徳田隼一・岡崎瑶） 「女性が路上で倒れているのが見つかった」 去年11月16日の午前11時ごろ。先輩記者から連絡を受けた私（徳田）は、急いで東京・渋谷区の現場へ向かった。 京王線の笹塚駅から北東に400メートル余り離れた、幹線道路沿いのバス停。 周囲にはマンションや店舗などが建ち並んでいる。 ここで、早朝に60代くらいの女性が倒れていたという。 女性は搬送先の病院で亡くなってい

4/24(土) ゴルフと競馬の土曜日。 しかし、前夜の金曜日にTwitterが炎上して、深夜までツイートを続けてしまった。 土曜日の朝、色々な人からラインが。 「(西山オーナー)がTwitterで１位になっていますよ。」 見たらわしの夜中のTwitterのツイートに４万５千のイイネ。 まさにバズった。(笑) そのうちにまた 「何があったんですか？」 の問い合わせが多数。 続いて 「ウマ娘のセイウンスカイやニシノフラワーが可愛いから使わせてあげてください。」 朝、湘南ＣＣへ行く森 秀雄副社長運転の車中で寝て行こうと思ったけど、寝る暇がなかった。 金曜日の深夜のドタバタを説明します。 まず、西山茂行はいつものスタンスで 「どうぞ、わしの馬の馬名はご自由にお使いください。セイウンスカイやニシノフラワーをそれで想い出してくれたら嬉しいものです。」 とTwitterで絡んでくる方には返信(ツイート)

VAG @vagblue 野菜を育てて肉を燻してゲームをやってたまに絵を描く人だよ。サークル「コシクダケ」でのんびり同人活動してます。お絵描き・ゲーム・漫画が好き。ニコニコで実況とか生放送も細々とやってました。pixiv：https://t.co/vGhVPhd1nf https://t.co/D3jef7n7ca

とにかく暗黙の了解が多いと思った。 「ワークマン着てキャンプしてる奴見ると許せない」 「性能が同等以上だからってピコグリル買わずに値段1/3のパクリ安物グリル使ってる奴が許せない」 「家族で来たキャンプ場にソロキャンパーがいると殺意沸く」 こういう奴がめちゃくちゃいた。 なにより「いやいや、個人の自由だろそれ」みたいな指摘した人が相当旗色悪かったことに衝撃を受けた。 あとユーモアに障害ある人ばっかりだった。 「キャンプ場行く前に近所の精肉店にモツ肉の買い出し行ったら売り切れてて災難だった」みたいな書き込みに対して、 「OK、とりあえずお前が持ってるその〇〇製の安物ナイフで自分の腹割いてモツ取り出してみようか」みたいな返しを堂々とする奴いたんだけど、 一事が万事そんな調子で「なんでそんな寒いことを痛い文体で書いちゃうの？」って感じの人がウヨウヨいて気持ち悪かった。

ごちうさの3期が終わり、『ゆるキャン』と『のんのんびより』へと続く。これから少なくとも3ヶ月先は移住先を探すこともない安泰な日々が続く。 しかし、ここから先はどうなるのか。さらに先に『まちカドまぞく』の2期があるが、1期より作風が変わると聞く。ひょっとすれば、『NEW GAME!』のようにいざこざの多い作品に変わっていくかもしれない。日常系アニメの新作がないかと不安になっている人がいるはずだ。 そういえば、アニメ化が発表されたきらら原作漫画は『球詠』だったよな。この作品を最後にアニメ化の発表がされた作品が現れなくなって1年半も経つ。 しかしながら、これからアニメ化の発表がされるきらら原作漫画が増えていくだろう。だが、それと同時にきらら原作アニメに対して「自分が期待していたものと違う！」という批判が急増していくと思う。 なぜなら、まんがタイムきららからきらら系と呼べるような日常系が減ってきて