萩原学
52.1K posts

萩原学
@QRJAM
数学・情報数理学(古典&量子の誤り訂正符号)の研究者。クラフトビール好き過ぎて大学内に醸造施設立ち上げ、酒類製造免許付与、醸造責任者。企業コラボで千葉大ビールのプロデュース。著書:符号理論、進化する符号理論、Coq/SSReflectなど。符号理論とクラフトビールの二分野で受賞:例 IBC2025カテゴリーチャンピオン
263-0022 千葉市稲毛区弥生町 Entrou em Mart 2009
1.1K Seguindo2.3K Seguidores
Tweet fixado
萩原学 retweetou

【好評既刊】
植松友彦・著
『イラストで学ぶ 情報理論の考え方 改訂第2版』
🔷🔹「これ1冊ですべてがわかる」と評判の定番テキストがパワーアップ!🔹🔷
⭐️初版発行から多くの学校で採用されている定番テキストの改訂版
⭐️改訂第2版では、フルカラー化で紙面をより見やすく!
⭐️情報量、通信路容量、エントロピーや相互情報量などの記述で、直感的な説明や例を追加したので、よりわかりやすく!
【目次】
第1章 情報理論の概要
1.1 情報源の符号化
1.2 通信路の符号化
第2章 情報の表現
2.1 集合
2.2 2進数
2.3 アルファベットと符号化
2.4 ASCII符号
第3章 確率の基礎
3.1 事象と確率
3.2 条件付き確率と事象の独立性
3.3 確率変数と確率分布
3.4 平均と分散
第4章 情報量
4.1 エントロピー
4.2 同時エントロピーと条件付きエントロピー
4.3 ダイバージェンスと相互情報量
第5章 情報量の性質
5.1 エントロピーの加法性
5.2 相互情報量の性質
5.3 イェンゼンの不等式とその応用
5.4 ダイバージェンスの性質とその応用
5.5 対数和不等式とその応用
第6章 情報源のモデルとエントロピーレート
6.1 情報源のモデル
6.2 マルコフ情報源
6.3 エントロピーレート
6.4 英文の情報源モデル
6.5 定常情報源のエントロピーレート
第7章 典型系列とその性質
7.1 大数の法則
7.2 漸近等分割性と無記憶情報源の典型系列
7.3 典型系列の応用
第8章 情報源の符号化
8.1 符号の例
8.2 クラフトの不等式
8.3 平均符号語長の限界
第9章 ハフマン符号とLZ符号
9.1 ハフマン符号
9.2 LZ符号
第10章 通信路のモデルと通信路容量
10.1 情報通信のモデル
10.2 通信路
10.3 通信路容量
10.4 対称通信路の通信路容量
第11章 通信路符号化定理
11.1 通信路符号と通信路符号化定理
11.2 同時典型系列とその性質
11.3 通信路符号化定理の証明
11.4 ファノの不等式と通信路符号化逆定理
第12章 誤り訂正符号
12.1 2元体
12.2 単一パリティ検査符号と線形符号
12.3 ハミング符号
12.4 最小距離と誤り訂正能力
12.5 復号誤り率が零に収束する符号列の構成法

日本語
萩原学 retweetou

『数学セミナー』2026年5月号 特集=「かっこいい数式」が好評です。
一見すると関係ないように見える左辺と右辺を結び付けてしまう「オイラーの公式」(辻順平氏)、「この上なく単純であるにもかかわらず,その内容が想像を超えるほど深いものに対して」「特に「かっこいい」と感じる」関真一朗先生の選んだ「バーゼル問題」。
大型連休にぜひ!


日本評論社@nippyo
『数学セミナー』5月号、本日発売です! ◉ここに注目! 数学を学ぶ人々が感じる数式の「かっこよさ」とは。 あなたのおすすめの数式はありますか? ・オイラーの公式…辻 順平(tsujimotter) ・バーゼル問題…関 真一朗 ・ガウスの発散定理…久我健一 ほか nippyo.co.jp/shop/magazine/…
日本語
萩原学 retweetou
萩原学 retweetou
萩原学 retweetou

試飲ビール1杯目🍺
CURAFT(@cu_beer_project)さんの新作、門出のガーネット😋
桃とさくらんぼの甘い香りと濁りのある色合いから想像した甘ったるさはなく、苦味もかなり控えめ。なので香り、見た目と反してスイスイ飲める🍺でした!
苦いの苦手、甘ったるいの苦手の両者に飲んでもらいたい🍺


日本語
萩原学 retweetou
萩原学 retweetou


千葉駅隣接、ペリエ本館5階でバーベキューしました。
120分、飲み放題、食べ放題で5000円。
お手頃だと思います!
昨日の参加者は、教員、職員、大学院博士・修士、学部生と多様でした。所属は理学、工学、医学。
理学の事務職員で4月退職の方がいて、送別会を企画しました。
萩原学@QRJAM
バーベキュー 千葉駅
日本語












