kikx (@kikx) | Aguea

888 Photos and videos

Tweets

Jun 14

出先でタブレットしかないけど今からやるか

青い厚揚げ @aoiatuage

Jun 14

【6月早解き大会①（ヤジリン）】 docs.google.com/forms/d/e/1F… 【参加方法】上記フォームにてご回答下さい総当たり防止に、最も早かった回答のみ有効とさせて頂きますので、慎重にお答え下さい回答受付は23時迄とさせて頂き、集計が終わり次第正解者様の順位を発表させて頂きます。ご了承下さい

1

81

kikx retweeted

青い厚揚げ @aoiatuage

Jun 14

【6月早解き大会①（ヤジリン）】 docs.google.com/forms/d/e/1F… 【参加方法】上記フォームにてご回答下さい総当たり防止に、最も早かった回答のみ有効とさせて頂きますので、慎重にお答え下さい回答受付は23時迄とさせて頂き、集計が終わり次第正解者様の順位を発表させて頂きます。ご了承下さい

6月早解き大会①（ヤジリン）

docs.google.com

1

6

10

1,214

Jun 13

棋桜そろそろ配信された？

191

Jun 12

棋桜くんサーバーがわの同期処理ががばがばで他人の状態がどんどん入ってくる感じなんでしょうな。直すには最低でも1か月ぐらいかかるっしょ。AIに聞けばすぐ直るって

241

Jun 12

手番はしゃーなし譲ってやるって聞こえてきた

やすくんけ @yaskunke

Jun 12

棋桜飛車３つあるの熱い。

2

642

Jun 12

そろそろandroid版出たかね？

56

Jun 12

よくわからんが謎のリリース方法だ

51

Jun 12

そろそろリリースされたんかな？

46

Jun 12

定義が意味わからんという話。以下のチューリング機械と万能チューリング機械と停止性の定義は一見意味がわからないが、ちゃんと読んで深く理解してみると万能チューリング機械が存在しないことが証明でき意味わからんで正解なことがわかる github.com/shinji-kono/autom…

automaton-in-agda/src/halt.agda at main · shinji-kono/automaton-in-agda

Automaton Theory in Agda. Contribute to shinji-kono/automaton-in-agda development by creating an account on GitHub.

2

99

Jun 12

なんでセットで復活させないといけないのか理由も説明してくれないとさっぱりわからないのだが

This tweet is unavailable

1

313

Jun 11

問題を論理式で書く能力が足りないならAgdaなんてやめればいいのに github.com/shinji-kono/autom…

automaton-in-agda/src/halt.agda at main · shinji-kono/automaton-in-agda

Automaton Theory in Agda. Contribute to shinji-kono/automaton-in-agda development by creating an account on GitHub.

1

85

Jun 11

詰めチャレなんか一線を越えたら4級の手の広い鬼のような問題がでなくなったんだけど

78

Jun 11

実数の公理からℝは同型をのぞいてただ一つに定まると思うんですけど、彼は何を言ってるんだ？

2

80

Jun 10

飛車切りから叩いて桂を打たせてからバックすると57桂がなくなるから詰まないけど66桂が当たらない位置にちゃんとバックしないと死ぬと見た

グリーミング @gleaming_2415

Jun 10

手番は後手ですどっちが勝ちだと思いますか？

128

Jun 10

詰めちゃれなんで自分のレートより上の問題が全くでないんだろう1しか上がらんから苦行でしかないんだが

53

Jun 10

さようなら日本ケアサプライ 3倍になったよ TOBで4000はない

329

Jun 10

何がいいのかわからない。xという関数は突然どこからでてきたのか

This tweet is unavailable

1

603

Jun 10

そして、f'(x)=1/f^{-1}'(f(x))のf(x)がほとんど消滅してて何をいれればいいのかもわからない

161

Jun 9

今気づいたんだけど私がもってる株が2日連続で寄らずS高になってる・・・？

82

Jun 9

百貨店ってTシャツ短パンでいっちゃだめだったのか！

83