投稿

技術季報 vol.1

技術季報 vol.1 こちらは運営側として宣伝します。 いわゆる「カタログ」に相当するパートもあるんですが、個人的にはそれ以外の各種の「企画」に力が入っているところに注目頂きたいところ。 単なるカタログとしてだけでなく、独立した1冊の書籍として、是非手にとって見て欲しいです。サークルさんの寄稿部分もありまして、従来の意味での「同人即売会のカタログ」とは一線を画しています。 いや、これ、なんか色々すごいんだよ。

技術書典2 あ-03 『もわねっとのPythonの本』

イメージ
『もわねっとのPythonの本』 30p弱の薄い本。会場での販売予定価格は600円です。 エモい言い方をすれば「 Pythonを学び始めた当時の私が欲しかった本 」を目指しました。 先日、角川アスキー総研のご協力で Python講座 を担当させていただきまして、おかげさまで大変な盛況でした。次回についてのお話も前向きに検討いただいているようです。ご興味の方いらっしゃいましたら、一言いただければ開催のご案内くらいまでは出来ると思います。 講座にご参加頂いた方の顔ぶれも幅広く、個別にお話を伺った限りでも、プログラミング入門者から日々データサイエンスに勤しんでいるような方までいらっしゃったようです。Pythonという言語がより広い分野でプログラミングの入り口になってきたことを感じます。 ところで「Pythonは直感的なプログラミング言語」などと紹介される一方、落とし穴も、もちろんあります。それも、なまじ「直感的」っぽいもんだから、ハマると「アルェー?」というのが。言ってみればPythonの特徴みたいなもん。 Pythonを「新しい言語」と勘違いしている方もいらっしゃるんですが、結構歴史がある言語です。Pythonで新しいのは「Deep Learning」みたいな今まさに発展途上の応用分野とそのライブラリであって、Pythonそのものではないです。むしろ、プログラミング言語として歴史があって人気もあり、科学者等のコミュニティからのサポートも含めて足場がしっかりしているからこその今のブームなんじゃないかとも思うわけです。 で、歴史がある言語ってのは大抵、歴史的経緯があってそれに伴う「罠」もあるものです。知ってる人からすると経緯が分かるからする〜っと抜けちゃうところ、初学者とか他の言語から入った人だと「なんだよそれ」みたいな挙動があるのは確かです。 一方、Python入門書では「Pythonらしい特徴」はすっ飛ばされることもあり、プログラミング入門者だけでなく他のプログラミング言語経験者でも、使いはじめてから「あれ?」と思うこともしばしばではないかなと思います。 最初にPythonを学び始めた頃のことを全部覚えているわけでもないのですが、Java言語の本で「OOPって、こういうもの」みたいなドグマティックな説教を読んだあとにPythonのカ...

Civ6

長いことやりたくてやってなかったので少しやってみた。難易度はまだ「王子」(ハンデ・逆ハンデなし) いわゆる「制覇勝利」だとつまらんかなーと思って科学とか文化もやってみるが、極論すると「科学でぶっちぎって素直に殴る」やれば他の勝利もついてくるんじゃね、みたいな気持ち。非暴力宗教とか意図すると今度は無駄に辛い。難易度を上げようと思ったところで時間切れ。おしまいまたね。

マリオラン個人的まとめ

イメージ
とりあえずの目標として以下を設定した。 コインをすべて取る ケーキを取る (キノピオ = 2000:1000:1000:500:500) で、昨年(2016)末に達成した。 ※ 1.1でキノピオの取得難易度などに調整が入ったとのこと (2017年1月31日)。この記事はそれよりも前に書かれているので参考程度に。 ワールドツアー ワールドツアーのコイン取得については、一つずつとり方を確認しながらやっていくだけ。先にやっておくとキノピオラリーの安定度は上がる。はてなブロックやボーナスステージの家を王国に配置してそれなりの頻度で使っておけばキノピオラリーのチケット不足になることはほぼないので「ワールドラリー → キノピオラリー」と順番にやりこんでも不都合はあまりない。強いて言えば、飽きる。 キノピオラリー 自分の場合、ブラックコイン取得時点では(確か)次のような状態だった。 ここからキノピオラリーの「ケーキ取得」を目標にした。赤:青:緑:紫:黃 = 2000:1000:1000:500:500 獲得すれば良い。ピーチ城の完成には総数4000人いれば良いので、この過程でこちらは勝手に達成できる。 各ステージを一通り試した後、人数の比率で赤:青:緑:紫:黄=4:2:2:1:1の状態に持っていき、後半「平野」「クッパ城」「空中戦艦」に集中することにした。「平野」は赤キノピオ、「クッパ城」は赤、青、緑、「空中戦艦」は全色を取得するのに使う。比率を固定にしたのは、ピノキオ数の管理を楽にするためと、嫌いなステージをやる手間を避けるため。全部まんべんなくやっても結果としてケーキは手に入るが、回り道になる。 #ステージ名称の正式名称が良くわからないのでここでは勝手に名前を付けた。「平野」「洞窟」「おばけ屋敷」「空」「砂漠」「クッパ城」「空中戦艦」と呼ぶ。 キノピオラリー全体の傾向として「スターが強すぎ」という問題があると思う。固定のスターが取れるかどうかで勝敗が決まるのも辛いが、むしろ、ランダムにアイテムを得られるブロックでスターが出るかどうかで勝敗が決まるケースのほうが気持ち的に辛い。後者は運以外の何物でもなく、一度相手にやられるとこちらが少々うまい程度では劣勢をひっくり返せない。 ...

2016年末

○ みんなみんな英雄 なるほどAU こういうのは紅白見ていて良いなぁと思う。 ○ 48とジャ 「多すぎだねー」と思う2大巨塔。そんなにいなくても良いと思う。 ○ PPAP 「注目浴びる舞台で堂々としていられるだけでもすごい」というコメントを聞いてなるほどと思った。武田アナを動かしたのも功績だ。 ○ シンゴジラ@紅白 むしろヤシマ作戦の曲が紅白に使われたことにウケた。良く色々引受けてくれたな周囲の人……w ○ 恋ダンス と 愛の賛歌 どっちかに投票しろと言われましても…… 紅白の「歌合戦」というフォーマットに疑問を感じた。 ○ 星野源 バックダンサーと振り付け合わせる瞬間がピタッと合いすぎててスゲェと思った……ってそこ見てる人あんまりいないか。 ○ 結果 「恋ダンス と 愛の賛歌」と同じで、なんでやってんだろ、という気持ち。惰性。 ○ 君は薔薇より美しい (山崎育三郎) 上手いなぁと思って勢いでアルバム買ってしまった。しかしアルバムだとあまりオーラがなかった。 ○ ダッタン人の踊り お、おう

ロスト・ユニバースの先進性

AIネタを色々眺めているときに地味に先進的だと思い至ったのが、1990年の小説およびアニメ作品『ロスト・ユニバース』のキャナルだ。 今だと『ロスト・ユニバース』という存在そのものがロストしかけており、今ではヤシガニという謎の一単語以外記憶にない人も多いかもしれない。キャナルは宇宙船の制御システムで、今で言う汎用AIと考えて良い。後は素直にWikipediaでも見よう。 強いAIそのもので、90年代のアニメで声が林原となると概ねどういうキャラ立てなのかは割と分かるかもしれない (ただし綾波レイを想像してしまうとまずい)。ロスト・ユニバースと同じ原作者でリナ=インバースというキャラもいるので、余計に「ああ同じ声」となってしまうのは当時アニメ好きだった人の悪い癖だ。ちなみに記憶の限り、キャナルはリナほど横暴ではない。 で、作中で主人公がこのAI娘とチェスをする。AIが圧倒的に強いのであればそんなに驚きはないが……AIが途中でこっそりレベルを上げているという設定は、今考えると興味深い。 このAI、接待するどころか負けたくないという自我まであり、さらにレベルを上げていることをごまかすのである。SFなのでAI側のアルゴリズム的な能力が強力無比なのまでは分かるとして、そこまで人間臭くなくていーじゃねーか、と思う。 なお、同世代のAIには他にも例えば「オモイカネ」というのもいるのだけど、あっちはそういう面ではモラルがありすぎて語るものがない。ヒロインをサポートするために艦内設備使うのもアレだが、ヒロインと口論するくらいのAIの方がより問題が多そうだ。 #なお、このエピソードは私のふるーい記憶にもとづいているので、本当にそのシーンが小説・アニメ双方もしくは片方にでも実在するかはちょっと未確認だ。今確認するには当時の作品は全体的につらすぎる。

冬コミ (C91) の寄稿情報: mypyだよ

コミックマーケット91 新刊情報と予約開始 The Web Explorer 3 雑誌の寄稿の話なんていう話も特にないので、今冬も粛々とTechBooster推しです。 今回はプログラミング言語Pythonのサポートツールの一つとして急成長している「mypy」について書きました。 http://mypy-lang.org/ Mypy is an experimental optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing. Mypy combines the expressive power and convenience of Python with a powerful type system and compile-time type checking. Mypy type checks standard Python programs; run them using any Python VM with basically no runtime overhead. mypyはPython向けの実験的・オプショナルな静的型チェッカーです。動的型付け(いわゆる「ダックタイピング」)と静的型付け双方の利益をPythonにもたらすことがこのプロジェクトの目的です。mypyによって、Pythonの高い表現力・記述の容易さと、強力な型システム・コンパイル時型チェックを組み合わせることが出来ます。mypyは標準的なPythonプログラムに対して(事前に)型チェックを行います。任意のPython VMを用いて型チェックを実行可能で、それに伴う実行時オーバーヘッドは基本的に発生しません。 2016-11-21 に本体が更新されるとか、まさに執筆中の最中で実にいい感じです。ガチで「開発段階」であるということで、 使ってたら必要に駆られて関連プロジェクトにパッチを送る羽目になったでござる というほどです。まぁよくある、のかな。 これだけガチに「開発段階」だと、本来は本番とかで使うとヤケドする印象なんですが、mypyだとそれがほぼないので、...