金野裕希

@yuuki___0517

View broadcasts Watch LIVE
Joined October 2009
Born May 17, 1994
11 Photos and videos Photos and videos

You may also like

·

Tweets

You blocked @yuuki___0517

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @yuuki___0517

  1. 7 minutes ago

    I've started learning Japanese Mahjong. I completed thirteen orphans on Tengokuhai (played against computers).

    Undo
  2. Jul 7

    Baka to Test to Shoukanjuu Season 1 Episode 1 - Anime Math Blog

    Undo
  3. Jul 7

    I just started a blog to solve math problems that appear in anime.

    Undo
  4. Jul 6

    The logarithm properties are often proved by substitution such as M = log_b(x), but formally they can be proved in one line assuming that a logarithm is the inverse of an exponential function, i.e. x = b^(log_b(x)) = log_b(b^x) (i.e. x = f(f^-1(x)) = f^-1(f(x))).

    Undo
  5. Jul 6

    Today I calculated π using Monte Carlo integration in BASIC. This program can be compiled with FreeBASIC as fbc -lang deprecated pi.bas. The boundary has Lebesgue measure zero so it doesn't matter for the sake of integration.

    Undo
  6. Jul 5

    I just created my profile so people who searched for my old handles can reach me.

    Undo
  7. Jul 2

    *them

    Show this thread
    Show this thread
    Undo
  8. Jul 2

    Started a new project: A calculator app that aims to be a free/libre and open source software replacement for Wolfram|Alpha. Also, I organized my old modules, never use it though.

    1 reply
    Show this thread
    Show this thread
    Undo
  9. Jul 1

    Undo
  10. Jul 1

    Wrote a SAT solver in MIT/GNU Scheme. Enderton (2001, p. 23) says "ν satisfies φ iff ν̅(φ) = T" and I realized that the satisfiability problem (SAT) is to check whether a Boolean formula can be true. I knew SAT is NP-complete but I didn't know what SAT is.

    Undo
  11. Jun 30

    Created an online Scheme formatter / beautifier here:

    Undo
  12. Jun 29

    Doing symbolic differentiation in MIT/GNU Scheme as described in SICP 2.3.2. Ended up with something like term rewriting. I don't know how to do this elegantly in Scheme.

    1 like
    Undo
  13. Jun 23

    JavaScriptで集合を表現した SICP第2章2.3節2.3.3項にも集合の表現が載っている 分出公理はfilter、置換公理はmapに対応し、{x ∈ U | φ(x)}はU.filter((x) => /* ... */)、{ψ(x) | x ∈ A}は((x) => /* ... */)に等しい

    1 like
    Undo
  14. Jun 22

    いや、非定数回の総和、総乗は四則演算とは言えなかった

    Show this thread
    Show this thread
    Undo
  15. Jun 22

    アイバーソンの記法の性質を翻訳した これを使うとn番目の素数p_nはベルトランの仮説によりp_n ≤ 2^nが成り立つので次のように四則演算と累乗で表せる また、包除原理の式は1 - (1 - A)(1 - B)(1 - C)のような多項式を展開すると得られる ジェガールキン多項式というものも

    1 reply
    Show this thread
    Show this thread
    Undo
  16. Jun 21

    完全解析プログラムで得られた金銀歩の9マス将棋の詰将棋 双玉で、余詰、駒余り、無駄駒があるかもしれないという意味で実戦詰将棋でもある

    Undo
  17. Jun 21

    スタティックメソッドは static I(n) { // ... } と書くべきだった あと equals(B) { const A = this; return String(A) === String(B); } を忘れた

    Show this thread
    Show this thread
    Undo
  18. Jun 21

    JavaScriptのMathオブジェクトのメソッドをJavaScriptで再実装し、ついでにいろんな関数を付け加えた

    Undo
  19. Jun 20

    JavaScriptで有理数を表現した SICP第2章2.1節2.1.1項にも有理数の表現が載っている このプログラムによるとMath.PI === 884279719003555/281474976710656らしい

    Undo
  20. Jun 20

    JavaScriptで複素数を表現した SICP第2章2.4節2.4.1項にあるように直交形式と極形式を使い分けた 複素初等関数の実部、虚部、絶対値、偏角がどのように表されるか気になる

    Undo

@yuuki___0517 hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.