PSL (@PSL_Quantum) header
PSL (@PSL_Quantum) profile picture

量子競プロQCoder Writer / 統計検定1級(数理•応用)最優秀成績賞 / 京大卒 / ストリング図

Joined August 2024
Photo by PSL (@PSL_Quantum)Photo by PSL (@PSL_Quantum)Photo by PSL (@PSL_Quantum)Photo by PSL (@PSL_Quantum)Photo by PSL (@PSL_Quantum)Photo by PSL (@PSL_Quantum)Photo by PSL (@PSL_Quantum)Photo by PSL (@PSL_Quantum)Photo by PSL (@PSL_Quantum)Photo by PSL (@PSL_Quantum)
ノーベル物理学賞は量子回路のハードの話っぽいですね 量子回路のアルゴリズムを学びたい人はQCoderをやりましょう! ショアやグローバーのアルゴリズムを学べます
2
3
2
61
6,475
全部解いたら魔法状態蒸留のアイデアを完全マスターできると思います ぜひ参加してください!
【QPC007】QCoder Programming Contest 007 を開催します! 🗓 日時:11月15日(日)16:00〜18:30(2.5時間) 📚 問題数:9問 ✍️ 作問:PSL 🏆 賞品もご用意しています! 今回は「魔法状態蒸留」をテーマにした問題を出題します。 ぜひご参加ください! qcoder.jp/contests/QPC007
119
「量子ソフトウェアの作り方」勉強会を開きます 日時・場所: 11/04(水) 20:00〜 オンライン 講師として、理研の鈴木さん、阪大QIQBの束野さんをお呼びしています。 鈴木さんは量子誤り訂正や量子コンピュータの命令セット、量子回路シミュレータまで幅広く開発している研究者です。 束野さんは量子クラウド基盤OQTOPUSを開発している未踏ターゲット修了生です。 コンピュータアーキテクチャの観点から量子ソフトウェアを開発しているガチの講師陣にお話を伺えるめちゃくちゃ貴重な機会です! ぜひご参加下さい! mitoutg.connpass.com/event/4…
42
3
123
7,325
[お知らせ] 量子懸賞金事業 "NEDO Challenge" のQoL部門で準優勝をいただきました! とっても嬉しいです qc-challenge.nedo.go.jp/seas… 賞金は量子プログラミングコンテストQCoderの活動資金に充てようと思います! そろそろコンテストが開催される予定なので皆さま奮ってご参加ください〜
16
2
79
6,187
現状AIはエレファントな証明を好み過ぎてるのが良くないと思う 自分も証明とか解説書かせたりすると無駄な変数をたくさん用意してきて認知負荷高い(内容は間違ってない) 多分一流数学者のレベルでも同じだと思う
107
あーノーベル物理学賞、カミオカンデみたいなやつか
2
240
KEKなう
3
93
#C108 #評論情報系同人誌告知 明後日16日の夏コミは、量子コンピュータの理論面を紹介する既刊3冊を持っていきます。当日はお気軽にお立ち寄りください。よろしくお願いします。
1
12
1
17
1,411
Linear Attention知った時に、これチャンク化してFull Attentionみたいに使ったら最強なんじゃねと思いつつも定式化できなかったやつ、富士通がやってた 成功したらいいな youtu.be/huoR2hSkbP4?si=vRtp…
1
1
8
2,154
正規部分群の図的イメージのアニメーションを作りました 交代群 A₄ の各元を12個の頂点、3つの生成元による移動を3色の矢印で表してます 赤緑で閉じた、(単位元を含む)4頂点ブロックは部分群。 さらに各4頂点ブロックを1点に縮めても、青の辺の行き先がブロックごとに定まるので正規部分群だとわかる
僕が代数が嫌いになった理由は「図的に想像ができないから」やったな 正規部分群って何さ
2
27
1
131
21,869
アニメーションgif
5
1
20
4,775
オープンAIがこのコンテストに何円分の計算資源使ったか教えてほしいな それで人類の方がまだまだ圧倒的に安いという安心を得たい
3
24
2,872
遅延セグ木をストリング図で説明するアニメーションを作りました
1
5
23
2,960
この例は横のモノイド演算がmax、縦の作用がadd(縦の作用同士の合成もadd) クエリは「区間[l,r)にxをaddしてついでにその区間のmaxをとる」をしている この図がwell-defindであるには代数構造は作用つきモノイドでなければならない
1
4
222
対象を定義する事で、 モノイド→圏 作用→対象を変えない関手 に緩めることはできます このアニメーションは、『ストリング図で学ぶ圏論の基礎』を読んで思いつきました
4
264
五月祭なう 面白そうな符号
5
254
codexでsvg形式の綺麗な図を出力できた 3B1Bみたいなアニメーション作ろうと頑張ったけどそれはまだうまくいってない
118
B問題、原案見た時からずっと褒めてる めっちゃ面白い問題なのでみんなやってください
Bの作問を担当しました! 実はB2B3の問題名はダジャレになってたりします #QCoder
3
230
今回の問題は量子コンピュータを作るためのアルゴリズムというテーマでしたが、 Aは量子誤り訂正、Cは万能量子計算についての問題でした! 参加者の皆さんお疲れ様でした #QCoder
1
8
1,094
コンテストお疲れ様でした!18時40分から表彰・解説放送を行います:youtube.com/live/kWm5_7I7I40
開始36分全完が2人出ました!コンテスト終了まで残り2時間弱です!
1
4
10
2,923