Yukihiro Oda
Specially appointed research fellow at Tohoku Univ.
Logic/Software verification/Cyclic proofs
@wtsnjp.com
∈ Ph.D. in Computer Science ∩ Researchers ∩ Software Engineers ∩ NLPers ∩ TeXperts 🏚 https://wtsnjp.com
@okumura.bsky.social
Professor Emeritus, Mie University, Japan https://okumuralab.org/~okumura/
@golden-lucky.net
Lambda Note Ltd. https://twitter.com/golden_lucky 「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26
@naaa000usa.bsky.social
artist Kyoto Uiversty of the Arts Japanese painting Ｍ２ Instagram: https://www.instagram.com/naaa.000_usa?igsh=MWdtbnJ0bDJtcmFiMQ%3D%3D&utm_source=qr 展示依頼、作品依頼はご連絡ください [email protected]
@frieren.websunday.net
週刊少年サンデー連載中『葬送のフリーレン』（原作：山田鐘人／作画：アベツカサ）の原作公式アカウントです。更新情報などを編集部員がつぶやきます。第14巻&特装版発売中！TVアニメ第2期2026年1月放送。
@tmaehara.bsky.social
https://tmaehara.gitlab.io/; TCS Researcher & ML Engineer. Brilliant British Foods: https://bsky.app/profile/did:plc:dqxsa5cjfrzulhalom4kuyd2/feed/aaaiqwjhlzavy Bluesky Bots https://gitlab.com/tmaehara/bluesky-newsbots
@arxiv-math-nt.bsky.social
Mathematics -- Number Theory (math.NT) source: export.arxiv.org/rss/math.NT maintainer: @tmaehara.bsky.social
@arakencloud.bsky.social
生活習慣を改善したい飯アカウント。 雲研究者・気象庁気象研究所主任研究官・学術博士。防災・減災のために、雲の仕組みを研究しています。気象監修：映画 天気の子。情熱大陸／ドラえもん／おはスタなど出演。著書：すごすぎる天気の図鑑シリーズ／読み終えた瞬間、空が美しく見える気象のはなし／天気の写真えほんシリーズ／てんきのしくみ図鑑／雲の教室／雲を愛する技術など。発信は個人見解です
@tokyosogensha.bsky.social
【アイコンは公式マスコットキャラの「くらり」です】 創元推理文庫・創元ＳＦ文庫・創元文芸文庫の出版社、東京創元社の公式アカウントです。個別のお問い合わせは下記までお願いいたします。 http://www.tsogen.co.jp/otoiawase.html
@hayakawa-online.co.jp
出版社・早川書房の公式blueskyです。中の人は今のところ2名。お問い合わせはこちら https://www.hayakawa-online.co.jp/contact から
@iwanami-ns.bsky.social
岩波書店自然科学書編集部の公式アカウントです。 https://www.iwanami.co.jp/science/ https://twitter.com/IwanamiNatura
@kawade.co.jp
出版社・河出書房新社の公式アカウントです。広報運営。過剰なほどの本好きが集まった会社です。 5月より神楽坂駅ほど近くに引っ越しました。 twitterの投稿を移植（して文字を増やしたり）するので投稿は遅れ気味。
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]