某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ(議論が詰まった時のブロックバスター)というのはぼんやりながら固まってました(笑)
![旧限界数学ゼミガール](https://cdn-ak-scissors.b.st-hatena.com/image/square/57f86f21bc8880ec678c617a20a28ba523eaf281/height=288;version=1;width=512/http%3A%2F%2Fsemigirls.conohawing.com%2Fwp-content%2Fuploads%2F2020%2F05%2Fsemigirls_1_1-1.png)
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ(議論が詰まった時のブロックバスター)というのはぼんやりながら固まってました(笑)
友だちのことが気になるあなた。仲間と力をあわせてがんばったり、友だちを一生懸命助けようとしたりする“友情まんが”がよく似あうよ。 好きな人と両思いになれたらとっても嬉しいよね。ラブレターを想像したあなたはすてきな男の子が登場したり、思い切って告白したりする“恋愛まんが”がよく似あうよ。
コミックナタリー Power Push - 清水茜「はたらく細胞」 赤血球にも、白血球にも、キラーT細胞にも仕事(ドラマ)がある!細胞擬人化マンガを描く新鋭、“キャラ設定の秘密”を語る 「細胞の数だけ仕事(ドラマ)がある!!」をキャッチフレーズに、赤血球や白血球など細胞たちが働く姿を描く細胞擬人化マンガ「はたらく細胞」。7月に発売された1巻をコミックナタリーで紹介したところ、新人のデビュー作としては異例の1万RT以上を記録した(参照:細胞擬人化した「はたらく細胞」1巻、赤血球たちの知られざるドラマを描く)。 作者の清水茜について知るべく、コミックナタリーではインタビューを実施。初披露となるキャラクター設定の秘密や、独特なデッサン練習法などについて語ってもらった。 取材・文 / 平松梨沙 撮影 / 三木美波 ありがとうございます。こんなに反響をいただけて、非常にうれしいです。 ──擬人化され
アルマビアンカが運営する通販サイト「AMNIBUS」(アムニバス)が、「メイドインアビス」のコラボ商品「ナナチ&ミーティ チェンジングマグカップ」の予約受付を開始しました。商品名から嫌な予感が漂いますがまさにその通りで、カップに書かれた人間姿のナナチとミーティがお湯を入れると“成れ果て”へと変化します。作った人絶対ボンドルドですよね? 発想が前線基地(イドフロント)のそれ 「メイドインアビス」は、つくしあきひとさん(@tukushiA)が竹書房のWebコミックサイト「WEBコミックガンマ」で連載中の漫画、およびテレビアニメ。底知れぬ巨大な縦穴「アビス」の底を目指す少女リコと、ロボットのレグの冒険が描かれます。 今回のマグカップに描かれているナナチとミーティは、アニメ終盤に登場するキャラクターです。もとは人間の子どもでしたが、探窟家であるボンドルドの非情な実験により人間性を喪失。ナナチは半獣
こうの史代『この世界の片隅に』上・中 ※下巻の感想はこちら 下巻で完結するまで言及しない方がいい、と自戒していたのだが、またもや書いてしまう。「またもや」というのは上巻が出た段階でがまんしきれずに「赤旗」の連載で紹介してしまったからだ(そのあと連載は終わってしまったので、赤旗読者には紹介できる最後の機会になったので、ぼくとしてはほっとしている)。 「もう下巻まで書かんぞ」と思っていたのだが、またもや中巻が出た段階でウズウズして書いてしまった。なんという作品。 戦時下の広島県・呉市に嫁いだ北條すず(旧姓・浦野)の物語で、昭和18年——1943年の12月から本編がはじまる。呉は歴史上、1945年7月に市街地が無差別に爆撃される大空襲を受ける。こうのがそれを描くのかどうかは単行本しか読んでいないぼくは知らないのだが、物語はその日時へとむかってゆっくりと進んでいることは間違いない(すでに中巻の終り
出会い系サイトで妹と出会う話。 https://t.co/pXL0gcAH0H
NEW GAME! のコマ検索 - みずぴー日記で作っていたソフトウェアのうち、画像以外の部分を公開した。 レポジトリ https://github.com/mzp/EagleJumpSystem 検索機能 NEW GAME! のコマ検索 - みずぴー日記で述べたように 台詞 登場キャラクター によって該当するコマを検索できる。 入力補助機能 検索機能を実現するために、各コマにはメタデータ(台詞、登場キャラクター)を入力する必要がある。 このメタデータの入力を補助する機能もいくつか実装した。 コマ分割 ページを取り込む際に、画像をコマごとに分割する。これはゆゆ式を無限に楽しみたかった話 〜 ゆゆ式 Advent Calendar 2014 20日目 〜 - non117's diaryのツールをほぼそのまま利用している。 テキストの自動認識 Google CloudVisionAPIにより
NEW GAME! のコマ検索 - みずぴー日記の成果を用いて、iPhoneからNEW GAME!のコマ検索を行なえるようにした。 経緯 ニコニコでやっているアニメの一挙放送を見ると、PCの前に4〜6時間ほど拘束される。 そのときに、なんとなくXcodeを立ちあげてコードを書きはじめてしまった。 桜Trick、一挙放送みながらiOSアプリつくってたら、だいぶ便利な感じがでてきた。 pic.twitter.com/UIzmPc98DF— mzp (@mzp) February 21, 2016 機能 コマのインクリメンタル検索 NEW GAME! のコマ検索 - みずぴー日記に各コマのセリフを入力済みなので、それを移植してインクリメンタルに検索できるようにした。 またUIActivityViewControllerを用いたアプリ間連携も行なえる。 Spotlight対応 App Search
NEW GAME!の全コマをインクリメンタルに検索できるツールを作った。*1 経緯 NEW GAME! 3巻を読んだためNEW GAME熱が上ったので、ゆゆ式を無限に楽しみたかった話 〜 ゆゆ式 Advent Calendar 2014 20日目 〜 - non117's diaryのツール*2を移植し、コマ分割およびアノテーションの付与を行なった。 最初はコマの分割だけのつもりだったが、気がついたら各セリフの入力とキャラのタグづけも行なってしまった。 入力には一週間くらいかかっている。 アノテーションの付与が完了したので、各コマを検索するツールを作成した。 機能 セリフによるインクリメンタル検索 セリフによってコマをインクリメンタルに検索できる。また、該当のコマが単行本のどのあたりに登場しているのかも表示する。 また、すべてのセリフを入力しているため、セリフがないコマの検索もできる。 キ
ある日のこと、後輩たちがこんなことを言いました。 「ゆゆ式のコマをランダムに並びかえたら無限にゆゆ式が楽しめるのでは?」 真面目に計算してみると、10の15乗くらいの組み合わせができることがわかりました。 この記事ゆゆ式アドベントカレンダー20日目は、そんな無限にゆゆ式をたのしむためのシステムを真面目に作ってみた話をします。 コマの切り出し 漫画のコマを並び替えるためには、コマがバラバラな画像として存在していなければなりません。 なので、まずは自炊で電子化された書籍をコマの線にそって切り出していく処理を自動化することにしました。 上の図がふつうの4コマの1ページですね。これの枠線を識別して、1ページから8枚のコマを取り出してくる方法を考えます。 ハフ変換で直線検出 OpenCVという画像処理のライブラリに直線を検出するツールがあったので、まずこれを試してみました。 が、結果はこのとおり。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く