jun
@nahcnuj.bsky.social
like: Perl🐫 / TypeScript / 型 / 東山奈央🌈 / ナナシス / 芹沢モモカ🍭
Reposted by jun
こんにちは日本🇯🇵
投稿（まだプロフィールではない）内の日本語テキストを検索するためにいくつかの変更を加えました。 あなたがどう思うか興味があります！
[この投稿は機械翻訳を使用しました]
投稿（まだプロフィールではない）内の日本語テキストを検索するためにいくつかの変更を加えました。 あなたがどう思うか興味があります！
[この投稿は機械翻訳を使用しました]
April 12, 2024 at 5:36 PM
こんにちは日本🇯🇵
投稿（まだプロフィールではない）内の日本語テキストを検索するためにいくつかの変更を加えました。 あなたがどう思うか興味があります！
[この投稿は機械翻訳を使用しました]
投稿（まだプロフィールではない）内の日本語テキストを検索するためにいくつかの変更を加えました。 あなたがどう思うか興味があります！
[この投稿は機械翻訳を使用しました]
Lean 4、アプデするたびに既存コードのどこかしらでエラーが出る
github.com/nahcnuj/lean...
github.com/nahcnuj/lean...
April 7, 2024 at 3:46 PM
Lean 4、アプデするたびに既存コードのどこかしらでエラーが出る
github.com/nahcnuj/lean...
github.com/nahcnuj/lean...
March 28, 2024 at 3:57 PM
March 23, 2024 at 12:56 PM
March 20, 2024 at 12:01 PM
March 12, 2024 at 1:31 PM
Blueskyアプリアップデートでハッシュタグ対応されたようなのでテスト #yapcjapan
はてなブログに投稿しました
YAPC::Hiroshima 2024に行ってきた - 純ブログ nahcnuj.hatenablog.jp/entry/2024/0...
YAPC::Hiroshima 2024に行ってきた - 純ブログ nahcnuj.hatenablog.jp/entry/2024/0...
YAPC::Hiroshima 2024に行ってきた - 純ブログ
YAPC::Hiroshima 2024の前夜祭と本編に行ってきました。 別のことにかまけていたらブログを書くのが遅くなってしまいました...。 YAPCに現地参加したのはコロナ禍前のYAPC::Tokyo 2019以来2回目です。 What I Like YAPC::Hiroshima 2024のテーマが「What You Like」ということで、 私のお好みは... What I like.....
nahcnuj.hatenablog.jp
February 29, 2024 at 3:19 AM
Blueskyアプリアップデートでハッシュタグ対応されたようなのでテスト #yapcjapan
Reposted by jun
📢 App Version 1.70 is rolling out now (1/6)
Hashtags! You can now use #hashtags in your posts. When you tap them, you’ll get a menu with lots of handy options:
Hashtags! You can now use #hashtags in your posts. When you tap them, you’ll get a menu with lots of handy options:
February 28, 2024 at 11:52 PM
📢 App Version 1.70 is rolling out now (1/6)
Hashtags! You can now use #hashtags in your posts. When you tap them, you’ll get a menu with lots of handy options:
Hashtags! You can now use #hashtags in your posts. When you tap them, you’ll get a menu with lots of handy options:
はてなブログに投稿しました
YAPC::Hiroshima 2024に行ってきた - 純ブログ nahcnuj.hatenablog.jp/entry/2024/0...
YAPC::Hiroshima 2024に行ってきた - 純ブログ nahcnuj.hatenablog.jp/entry/2024/0...
YAPC::Hiroshima 2024に行ってきた - 純ブログ
YAPC::Hiroshima 2024の前夜祭と本編に行ってきました。 別のことにかまけていたらブログを書くのが遅くなってしまいました...。 YAPCに現地参加したのはコロナ禍前のYAPC::Tokyo 2019以来2回目です。 What I Like YAPC::Hiroshima 2024のテーマが「What You Like」ということで、 私のお好みは... What I like.....
nahcnuj.hatenablog.jp
February 28, 2024 at 3:04 PM
はてなブログに投稿しました
YAPC::Hiroshima 2024に行ってきた - 純ブログ nahcnuj.hatenablog.jp/entry/2024/0...
YAPC::Hiroshima 2024に行ってきた - 純ブログ nahcnuj.hatenablog.jp/entry/2024/0...
高級スーパー、ものは高いけど体験は良い感じある（紀ノ国屋に寄った）
February 27, 2024 at 10:53 AM
高級スーパー、ものは高いけど体験は良い感じある（紀ノ国屋に寄った）
Reposted by jun
Bluesky APIを叩くことで、さらに沢山の 23♀/東京/看護師 の情報が得られました。よろしくお願いします。
February 27, 2024 at 4:35 AM
Bluesky APIを叩くことで、さらに沢山の 23♀/東京/看護師 の情報が得られました。よろしくお願いします。
アイマス新ブランドティザーPV，アイマスの新ブランドが発表されることがわかった
February 26, 2024 at 10:08 AM
アイマス新ブランドティザーPV，アイマスの新ブランドが発表されることがわかった
Lean 4だいぶわかってきた（画像は aconite-ac.github.io/theorem_prov... の練習問題を解いたやつ）
February 24, 2024 at 4:55 AM
Lean 4だいぶわかってきた（画像は aconite-ac.github.io/theorem_prov... の練習問題を解いたやつ）
複数当たってもなぁと素直に弾数を減らしたら当たりませんでした（倍率を考えろ）
February 23, 2024 at 5:33 AM
複数当たってもなぁと素直に弾数を減らしたら当たりませんでした（倍率を考えろ）
Lean 4完全に理解しつつある（
Theorem Proving in Lean 4の4章演習問題を倒した）
Theorem Proving in Lean 4の4章演習問題を倒した）
February 20, 2024 at 3:43 PM
Lean 4完全に理解しつつある（
Theorem Proving in Lean 4の4章演習問題を倒した）
Theorem Proving in Lean 4の4章演習問題を倒した）