|
|
|
|
|
||
|
||
1 vote
28 views
11
asked 5 hours ago
29 views
asked 16 hours ago
52 views
asked Jan 31 at 16:13
A short story where an underground alien civilization sends a cube and projects a mind to Earth
Is there a word for 'cities with tall buildings?'
Why are Capital punishment methods so difficult to institu
810,457 hits
WordPress.com Blog.
.NET Core 3.0 の単一実.. .NET Core 3....
at Friday, February 14, 2014 32 comments:
2023-02-02
続・カリー／ハワード／ランベック対応の辞書
雑記／備忘
「カリー／ハワード／ランベック対応の辞書」の続きです。カリー／ハワード／ランベック対応〈Curry-Howard-Lambek correspondence〉は、細部まで対応が行き届いているので、論理の推論規則の対応物を見てみます。論理では、「導入規則と除去規則が“きれいに…
続・カリー／ハワード／ランベック対応の辞書
寝具更新。疲れてるから、で諦めてきたことができるかも！
マットレスという船
寝るのが苦手だ。 苦手というか、そもそも寝ることについてそこまでの執着がないし、寝るよりも動いてる方が楽しいし、寝て嫌な夢を見ることも多いので優先順位が下がる。そういう意味で「寝れない前提」がある深夜バスの方が安心してむしろ眠れる。かと言って、じゃあ…
えす、えぬ、てぃ
ブログで「感情を一つ一つ確かめるように書き殴る」
20230129-
2023年1月29日(日) 久々に会う友人と朝から竹橋で落ち合って、東京国立近代美術館に大竹伸朗展を見に行った。朝の早い時間にも関わらず会場には老若男女多くの来場者がいて、その視線の
2023/01/29
【C# 12 候補】コレクション リテラル
広告ビジネス ソリューションGoogle についてGoogle.com
2023-01-30
AtCoder Beginner Contest 287 D
https://atcoder.jp/contests/abc287/tasks/abc287_d
前と後ろがどこまで合っているかを調べるだけですね。
zipが、
S.chars().zip(T.chars())
より
zip(S.chars(), T.chars())
のほうが気持ちいいのですが、これも手元ではコンパイルできたのにAtCoderではエラーが出ました。
// Match or Not #![allow(non_snake_case)] //////////////////// library /
情報省大活躍：ハナツカシオリ「焼いてるふたり」、山口譲司「おしとね天繕」「不倫食堂」、糸川一成「今日もベランダで」、いつまちゃん「来世ではちゃんとします」 ― 2023年01月25日 23時11分27秒
もう無料で読める期限が来てしまうので、あわてて書く。
先に行く前に、情報省を知らない人は、
http://iiyu.asablo.jp/blog/2022/05/23/9493426
情報省とは何か。日本の支配者、いや、地球の支配者、いや、宇宙の創造主だった＼(^O^)／
をどうぞ。
■焼いてるふたり」
ハナツカシオリ「焼いてるふたり」の1巻、2巻が、2023/1/26 23:59 まで無料で
みんなのお題(β版)
アカウント設定
トップ
購読リスト
グループ
トピック
みんなのお題(β版)
お知らせ エンジニア必見！ 400社以上の企業技術ブログをまとめて読めるページをオープンしました。
「奥の方に入れた食品が見えない」の解決法
冷蔵庫を整理する
食品の管理が得意ではない。もともと「ものが見えなくなると存在を忘れてしまう」という傾向があり（食品、服などがよく見えなくなる）、また家で食事をとることが不定期なのもあって、生まれてこの方ずっと冷蔵庫がカオス状態だった。 （以下、雑然とした家庭の冷蔵庫…
アオヤギさんたら読まずに食べた
暮らし
合計 138円。ハンバーグにはチーズがマスト！
記事を書く ダッシュボード
グループ
みんなのお題(β版)
こだわりブログ
ようこそブログ
法人プラン
はてなブログを楽しむヒント
トップ
購読リスト
グループ
トピック
みんなのお題(β版)
記事を書く ダッシュボード
お知らせ エンジニア必見！ 400社以上の企業技術ブログをまとめて読めるページをオープンしました。
"ありふれた名字が好きだった。藤を含むこの旧姓が"
藤の花枯れた
おそらく国内で上位10位くらいに入るだろう、ありふれた名字が好きだった。藤を含むこの旧姓が。 だからなのか、名字が変わることへの違和感に慣れるまでに、かなりの時間を要した。世間的には「結婚はおめでたいこと」であり
2023-01-18
IIJmio の e-SIM が便利だった
昨年11,12月と東京に滞在したときIIJMioのギガプランを利用した。Amazon.co.jp で事前にエントリーパッケージを買っておくと初期費用が抑えられて良い。
www.amazon.co.jp
iPhone 12 を使っていたので、e-SIM 対応のため物理 SIM カードは不要。APN の設定で新規にプロフィールを追加したりしないといけなかったけど、面倒なのはそのへんくらいだった。
iOS APN構成プロファイル | IIJmio
過去東京滞在中はデータSIMのみで乗り切ったこともあったが、今回は電話番号が欲しかったの
TailwindCSSのCDN版を試す
CSS (3)
TailwindCSS (1)
© Microsoft 2023
© Microsoft 2023
この広告は、90日以上更新していないブログに表示しています。
© Microsoft 2023
© Microsoft 2023
© Microsoft 2023
© Microsoft 2023
© Microsoft 2023
© Microsoft 2023
© Microsoft 2023
© Microsoft 2023
2023 著作権. 不許複製
記事を書く ダッシュボード
みんなのお題(β版)
こだわりブログ
ようこそブログ
法人プラン
トップ
購読リスト
グループ
トピック
みんなのお題(β版)
記事を書く ダッシュボード
お知らせ エンジニア必見！ 400社以上の企業技術ブログをまとめて読めるページをオープンしました。
野毛という場所、もっと早くから知っておくべきだった
個人的今年よかったもの2022
今年私が良いと感じたものを淡々と紹介していきます。人だったり店だったり食べ物だったり便利グッズだったり....。ジャンル不問。みうらじゅん賞のようなものです。(あくまでも私が今年良いと感じたものなので、2022年より前からあったもの
Copyright (C) 2001-2023 Hatena
Domeneshop AS © 2023
みんなのお題(β版)
トップ
購読リスト
グループ
トピック
みんなのお題(β版)
お知らせ エンジニア必見！ 400社以上の企業技術ブログをまとめて読めるページをオープンしました。
「書くことに対するエネルギー」にはてなスターを送る
20221215 夜
・購読リストの日記がたくさん更新されている。嬉しい。嬉しいし、みんな日記を書いていてえらいなと思う。別に日記じゃない文章でもえらいなと思う。日記を書いてない人がえらくないわけじゃないんですが。書いている文章と、書くことに対してエネルギーを使っている…
here and there
はてなブログPro
"最高だった。歴史に残った。教科書に載せ
みんなのお題(β版)
トップ
購読リスト
グループ
トピック
みんなのお題(β版)
4回目の透明少女、これで終わりだって皆わかってたと思う
2022/12/11
ナンバーガール無常の日を観た。2022年12月11日、ナンバーガールが解散したんです。5年前とかにそう言われたら本当に意味不明だ。クソつまらん謎のボケじゃんって思う。 今でも思い出す、2010年、夏休みに入る直前だったはずだから7月とか、当時明石高専に在学していた…
煙の中
お鍋に残ったお砂糖でつくる「しょうが紅茶」も最高！
身体ほかほかしょうがチップス
この季節になるとよく作るものがあります。 それは「しょうがチップス」です 出来立
Posted by Tao at 10:40 AM No comments:
Posted by Tao at 2:54 PM No comments:
Posted by Tao at 6:11 PM 1 comment:
Posted by Tao at 10:56 PM No comments:
Posted by Tao at 10:26 AM No comments:
Posted by Tao at 2:53 PM No comments:
Posted by Tao at 3:48 PM No comments:
2022-12-07
競技プログラミングとChatGPTを含むAIについて
はじめに
この記事は、ChatGPTを受けての競プロ周りの情報、およびchokudai個人の意見を発信したものです。基本的にはAtCoderの運営についても同方針を取る予定ですが、方針が変わり次第、AtCoderのHP/Twitter等で告知されます。
現在のAtCoderにおける競プロAIの実力についての事実
AtCoderのコンテストに対するソースコードはインターネット上に多くあり、おそらくそれを学習してChatGPTなどが作成されているため、過去問を利用して解ける/解けないを判定すると、過剰に解ける側に寄ってしま
投稿者 pokarim 時刻: 20:57 0 件のコメント:
はてなポイントシステム廃止スケジュールのお知らせ
はてなの日記 (635)
人力検索はてな 日記 (256)