哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います. 数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます. (あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. ) 現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてく
人に「センスない」って言っているやつが一番センスない - Qiita
はじめに きっかけは、以下のツイートです。 「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ — ふみ a.k.a.DJ Monad (@fumieval) May 29, 2023 このリプライや引用リツイート欄では、Trueを返すべき、Falseかな、例外を返すべき、要件による、といった意見がありました。 建設的な議論ができるコミュニティは素晴らしいと思う反面、同じコミュニティに属するエンジニアに対して「センスがない」「プログラマを辞めてほしい」と言っている人がいて非常に残念です。 そのように敢えて煽り他人へのリスペクトが欠如している人が一番センスがないという話です。 元ネタと反応 「「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡
ベトナム人元技能実習生に逆転無罪判決 死産児遺棄の罪 最高裁 | NHK
3年前、熊本県芦北町で死産した双子の赤ちゃんを自宅に遺棄したとして、死体遺棄の罪に問われたベトナム人の元技能実習生の裁判で、最高裁判所は執行猶予のついた有罪とした1審と2審の判決を取り消し、逆転で無罪を言い渡しました。 無罪を言い渡されたのは、ベトナム人のレー・ティ・トゥイ・リンさん（24）です。 リンさんは、技能実習生だった2020年11月、死産した双子の赤ちゃんの遺体を段ボール箱に入れて芦北町の自宅に放置したとして死体遺棄の罪に問われました。 死産したあとの行動が死体遺棄罪の「遺棄」に当たるかが争点で、24日の判決で、最高裁判所第2小法廷の草野耕一裁判長は「習俗上の埋葬とは認められない形で死体などを放棄したり隠したりする行為が『遺棄』に当たる」という考え方を示しました。 そのうえで、リンさんの行為について「自宅で出産し、死亡後まもない遺体をタオルに包んで箱に入れ、棚に置いている。他者が
ドイツ政府 ウクライナに戦車「レオパルト2」供与と発表 | NHK
ドイツ政府は25日、ウクライナに対してドイツ製の戦車「レオパルト2」を供与すると発表しました。また「レオパルト2」を保有している国がウクライナへ供与することを認める方針も示しました。 ドイツ政府は25日に声明を発表し、ウクライナに対してドイツ製の戦車「レオパルト2」を供与すると発表しました。 それによりますと、ドイツ政府はウクライナに向けた「レオパルト2」の2個大隊を速やかに編成することを目標にしていて、その第1段階としてまず、ドイツ軍から14両をウクライナに供与するとしています。 また、「レオパルト2」は攻撃力が高い戦車としてポーランドやフィンランドなどヨーロッパ各国が保有していて、「ヨーロッパのパートナー国からも順次、引き渡される」として「レオパルト2」を保有している国がウクライナへ供与することを認める方針も示しました。 そのうえで声明ではウクライナ軍の兵士に対する訓練をドイツ国内で速
『「AI学習禁止」を表明しても、現行の法律では対応できない？技術と著作物の今後について議論盛り上がる』へのコメント
著作権法第三十条の四のニが任意規定なのか強行規定なのかは学説が分かれてるし判例の蓄積も皆無なので、ちゃんとイラストの利用規約で学習への利用を禁止してオーバーライド問題で争えば良いじゃん。
「AI学習禁止」を表明しても、現行の法律では対応できない？技術と著作物の今後について議論盛り上がる
SmokingWOLF@片道勇者2開発中/ゲーム開発者 @WO_LF 「AI学習禁止」がトレンドに入っててすごい時代の風を感じる （※「自分のイラストを学習データに使わないで」という話題。個人のイラスト複数枚を入力することで画風をまねた顔イラスト画像を生成できるサービスが今日リリースされた影響） SF小説もびっくりのとんでもない世の中になってきた。 2022-08-29 22:21:26 おねねちゃん @OneneChan ぐああああｯｯｯ！！！悪用対策ｯｯｯ！！！！！！！転載禁止ｯｯｯ！！！自作発言✕ｯｯｯ！！！トレパク✕ｯｯｯ！！！！ …………AI学習禁止ｯｯｯ！！？？！？(𝗻𝗲𝘄) ｷﾞｬｧｧｧｧｧｧｧｧｧｧｧｧめんどくせえ""""ぇぇえええッヅッ！！！！！！！！！！！！！！！！！！""""" pic.twitter.com/82NGOLoRTD 2022-08-29 18:5
ほんわかしたPC大作ゲームがやりたい
追記： 人気エントリになってる！トラバやブコメめっちゃ参考にしますありがとう。 PCは何でもあると思っていたら任天堂ハードで出てるゲームみたいなのが （技術的には可能なはずなのに）出てないのが意外だったんですよね SFの話は主題が混ざってすみません ショートサーキットとかWALL-Eみたいなかわいいのがもっとあってもいいのにな ----------------------------------------- ゲームが下手なのであまり触れてこない人生だったのだが Detroit: Become HumanがやってみたくなりゲーミングPCを購入した。 終わって満足しさすがにそれだけではもったいないので色々調べてみたのだが せっかくのPC性能を活かせそうなゲームだと 銃/剣、中世/世紀末、ソンビ/エイリアン、クライム系みたいなのが大半で 暴力、血、グロが苦手な自分に向いてそうなものが少なくて残
名作アドベンチャーゲーム『Myst』リメイク版8月26日頃発売へ。Unreal Engineにて再構築し美しく蘇る、日本語対応 - AUTOMATON
デベロッパーの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
Jun Makino on Twitter: "ワクチンを打つと健康になる、という仮説はとらないとすれば、接種者と未接種者ではそもそも健康状態の違いがあって、そのことが接種したかしなかったかに影響している、と考えられるわけで、つまりランダムサンプリングになってない。"
ワクチンを打つと健康になる、という仮説はとらないとすれば、接種者と未接種者ではそもそも健康状態の違いがあって、そのことが接種したかしなかったかに影響している、と考えられるわけで、つまりランダムサンプリングになってない。
ソシャゲにありがちな「キャラがプレイヤーに好いてくれる」のがマジ
20数年オタクとして生きてきてはいるけど、かつての艦これ全盛期からアイマス系統、最近のウマ娘でも「キャラがプレイヤーを好く（恋愛感情をもつ）」がマジで気持ち悪すぎて無理なんだけど同じような気持ちになるオタクっているのかな？ こんなこと言ってるけどその昔は艦これはやっていて、それでも提督（プレイヤー）を好く艦娘が無理すぎてボイス関係全部切ってたくらいなんだけど、友人のオタクがやってるアイマス、シャニマス、ウマ娘とか割とストーリーが重要（物語性がある？やってないからアレだけど）なゲームだとそういうの飛ばすと遊んでると言い難い気がして手を出せずにいる。 アイドルをプロデュースして舞台に上がらせるのが目的ってゲームならただのビジネスパートナーとして最初から最後まで完結できないんだろうか？ ウマ娘をトレーニングさせてレースで勝利させるのが目的ってゲームならただのビジネスパートナーとして最初から最後ま
知っておきたかったLinuxサーバ設計、構築、運用知識まとめ - hiroportation
サーバ業務周りの管理、運用について役に立ちそうなナレッジをまとめました。 長期的に書いているため用語に統一性がなかったり、不足分など随時修正したいと思います。 1. サーバ設計 サーバスペックはどうするべき？ 使用するOSは？ CentOS開発終了について MWは何を使うべきか Webサーバ構築にはどちらを使うべき？Apache？Nginx？ サーバセキュリティで最低限押さえておきたいことは？ listenするポートは最小限にしましょう ファイアウォール設定で送受信IPアドレス、ポートの通信制御はしておきましょう 外部に出る際にはプロキシサーバを経由するようにする 随時パッチを当てるようにする linuxでのアンチウイルスソフトの検討 個人アカウントで変更系コマンドは実行させないようにする ログについて考えること ストレージ容量には気をつける データベースはどう決めたら良いか MySQLか
チームにいると頼りになるソフトウェアエンジニア
チームにいると頼りになるソフトウェアエンジニアのメモです。自分のロールモデルでもあります。私のキャリアはほぼウェブブラウザ開発一筋なので、その辺に生息している人たちを思い浮かべながら書いてます。思いついたら随時更新します。 コードマニア コードやドキュメントを読むのが好きで、暇があれば適当なレビューに飛び入り参加したり、自分のプロジェクトとは関係ないコンポーネントもひたすら探検している。不穏なコードを見つけるとなんとリファクタリングもしてくれる。コードサーチがお友達。 やたらコードに詳しいので、何か分からないときはとりあえず聞きに行く。チームに一人いるとレビューが捗るし、コードベースも綺麗になる。コードマニアはコードベースを広く熟知している上に未知のコードに対する耐性も高いので、プロジェクトを移動してもすぐに活躍できる。 コードマニアの亜種にスペックマニアもいる。こちらはウェブやネットワー
ひとり、都会のバス停で～彼女の死が問いかけるもの｜NHK
その1枚の写真に、私たちは衝撃を受けた。 去年11月、都内のバス停で路上生活者の60代の女性が男に突然殴られ、死亡した事件。 カメラに向かって微笑みかける写真の女性が、亡くなったその人だった。 撮影されたのは1970年代。 当時は劇団に所属し、希望に満ちた日々を過ごしていたという。 しかし、亡くなった時の所持金は、わずか8円だった。 彼女にいったい何があったのか。バス停にたどり着くまでの人生を追った。 （社会部記者 徳田隼一・岡崎瑶） 「女性が路上で倒れているのが見つかった」 去年11月16日の午前11時ごろ。先輩記者から連絡を受けた私（徳田）は、急いで東京・渋谷区の現場へ向かった。 京王線の笹塚駅から北東に400メートル余り離れた、幹線道路沿いのバス停。 周囲にはマンションや店舗などが建ち並んでいる。 ここで、早朝に60代くらいの女性が倒れていたという。 女性は搬送先の病院で亡くなってい
西山茂行『ウマ娘・Twitter炎上の真相』
4/24(土) ゴルフと競馬の土曜日。 しかし、前夜の金曜日にTwitterが炎上して、深夜までツイートを続けてしまった。 土曜日の朝、色々な人からラインが。 「(西山オーナー)がTwitterで１位になっていますよ。」 見たらわしの夜中のTwitterのツイートに４万５千のイイネ。 まさにバズった。(笑) そのうちにまた 「何があったんですか？」 の問い合わせが多数。 続いて 「ウマ娘のセイウンスカイやニシノフラワーが可愛いから使わせてあげてください。」 朝、湘南ＣＣへ行く森 秀雄副社長運転の車中で寝て行こうと思ったけど、寝る暇がなかった。 金曜日の深夜のドタバタを説明します。 まず、西山茂行はいつものスタンスで 「どうぞ、わしの馬の馬名はご自由にお使いください。セイウンスカイやニシノフラワーをそれで想い出してくれたら嬉しいものです。」 とTwitterで絡んでくる方には返信(ツイート)
キャンプ始めようと思って５ｃｈの登山キャンプ板を覗いて衝撃を受けた
とにかく暗黙の了解が多いと思った。 「ワークマン着てキャンプしてる奴見ると許せない」 「性能が同等以上だからってピコグリル買わずに値段1/3のパクリ安物グリル使ってる奴が許せない」 「家族で来たキャンプ場にソロキャンパーがいると殺意沸く」 こういう奴がめちゃくちゃいた。 なにより「いやいや、個人の自由だろそれ」みたいな指摘した人が相当旗色悪かったことに衝撃を受けた。 あとユーモアに障害ある人ばっかりだった。 「キャンプ場行く前に近所の精肉店にモツ肉の買い出し行ったら売り切れてて災難だった」みたいな書き込みに対して、 「OK、とりあえずお前が持ってるその〇〇製の安物ナイフで自分の腹割いてモツ取り出してみようか」みたいな返しを堂々とする奴いたんだけど、 一事が万事そんな調子で「なんでそんな寒いことを痛い文体で書いちゃうの？」って感じの人がウヨウヨいて気持ち悪かった。
今後、まんがタイムきららに日常系アニメを期待するのはやめろ
ごちうさの3期が終わり、『ゆるキャン』と『のんのんびより』へと続く。これから少なくとも3ヶ月先は移住先を探すこともない安泰な日々が続く。 しかし、ここから先はどうなるのか。さらに先に『まちカドまぞく』の2期があるが、1期より作風が変わると聞く。ひょっとすれば、『NEW GAME!』のようにいざこざの多い作品に変わっていくかもしれない。日常系アニメの新作がないかと不安になっている人がいるはずだ。 そういえば、アニメ化が発表されたきらら原作漫画は『球詠』だったよな。この作品を最後にアニメ化の発表がされた作品が現れなくなって1年半も経つ。 しかしながら、これからアニメ化の発表がされるきらら原作漫画が増えていくだろう。だが、それと同時にきらら原作アニメに対して「自分が期待していたものと違う！」という批判が急増していくと思う。 なぜなら、まんがタイムきららからきらら系と呼べるような日常系が減ってきて
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【西川和久の不定期コラム】 ローカルで画像生成AIや大規模言語モデルを動かしたい！Google ColabからRTX 3070 Ti+GPU Boxへ乗り換え!?
うみゆき@AI研究 on Twitter: "なにやら中国の方が作られた音声合成AI「MoeGoe」の2891人の日本アニメキャラの音声モデルが公開されてしまった！！Hugging Faceでデモが試せる！早速まどマギの５人に喋ってもらった！！うわうわうわ！ヤバいよヤバい本当… https://t.co/IsmQsTS8is"
事務員G on Twitter: "我孫子市(千葉県)を車で走ってたら「妻子原」って交差点があって。「妻と子の原…？何か歴史的な逸話が？」ってそれから毎日ずっと気になっちゃって、ついに東京の大きめの図書館の専門資料室行って膨大な資料を調べたんだけど結局分からず。 諦… https://t.co/u8XY9MkTIY"
同人作家同士が奇跡的に出会って結ばれる「34歳低所得オタクが婚活する漫画」
