2017年1月 アーカイブ
2017年1月11日 19時34分45秒 (Wed)
1月10日の活動
ども。新年になったので会記初投稿ですボストンパックです。本年もよろしくお願いいたします。
新年になったからといって我々の活動に何の変化もなく、通常通りの対戦会となりました。そういえば、このサイトは顔文字が入れられるようなので、積極的に入れていこうと思います。
なにぶん初めてなもので、至らないところもあるかもしれませんがご容赦ください。
今回の参加者：Ryo-piη、ときつ、ボストンパック、nPr、＋10、まろん、fippu
9本先取
対戦会の結果は以上のようになりました。今回の表にも名もなき玉なる人物が掲載されているのですが、一体誰なのでしょうね。
そういえば、私の名前が表にないような気がしますが、まあいいでしょう。
新年になったからといって我々の活動に何の変化もなく、通常通りの対戦会となりました。そういえば、このサイトは顔文字が入れられるようなので、積極的に入れていこうと思います。
なにぶん初めてなもので、至らないところもあるかもしれませんがご容赦ください。今回の参加者：Ryo-piη、ときつ、ボストンパック、nPr、＋10、まろん、fippu
9本先取| と | 玉 | ま | f | n | + | R | |
| ときつ |  |
9-5 | 9-8 | 9-0 | 9-3 | 9-5 | |
| 玉 |  |
 |
 |
 |
 |
 |
|
| まろん | 5-9 |  |
5-9 | 9-3 | 9-4 | 7-9 | |
| fippu | 8-9 |  |
9-5 | 9-4 | 9-3 | 9-8 | |
| nPr | 0-9 |  |
3-9 | 4-9 | 3-9 | 1-9 | |
| +10 | 3-9 |  |
4-9 | 3-9 | 9-3 | 2-9 | |
| Ryo-piη | 5-9 |  |
9-7 | 8-9 | 9-1 | 9-2 |
対戦会の結果は以上のようになりました。今回の表にも名もなき玉なる人物が掲載されているのですが、一体誰なのでしょうね。
そういえば、私の名前が表にないような気がしますが、まあいいでしょう。対戦会中は愛媛県のゆるキャラ「
なーしくん」と「
みきゃん」の熱い議論が交わされました。その際に描かれた四国の地図が以下の通りです。
私の知っている地名を埋めていった結果、高知県だけ高知市しか埋めらないという結果に。
高知県の各市町村はゆるキャラ出してプッシュしていけばこの地図に書き込まれる日が来るやもしれません。
対戦会の後は某ラーメン？屋にいきました。
私は野菜マシマシで注文したのですが、思ったよりマシマシではなかったので、今度はマシマシマシマシくらいで頼みたい。
追記：coq-IDEのin_app_iffとbeq_nat_false_iffの解き方がわかる方、
のコメント欄にヒントお願いします。
なーしくん」と「みきゃん」の熱い議論が交わされました。その際に描かれた四国の地図が以下の通りです。私の知っている地名を埋めていった結果、高知県だけ高知市しか埋めらないという結果に。高知県の各市町村はゆるキャラ出してプッシュしていけばこの地図に書き込まれる日が来るやもしれません。対戦会の後は某ラーメン？屋にいきました。
私は野菜マシマシで注文したのですが、思ったよりマシマシではなかったので、今度はマシマシマシマシくらいで頼みたい。追記：coq-IDEのin_app_iffとbeq_nat_false_iffの解き方がわかる方、
のコメント欄にヒントお願いします。カテゴリー
アーカイブ
2026年
携帯用QRコード
- アクセス数
- ページビュー数
