「これはいいものだ。こうすればもっと良くなる」というコーチングのあれは、叩き要素をゼロに出来る状況を講師がつくりだした時にのみ通用する。お手本の模写で序列の下位に甘んじた子供をつかまえて、「これはいいものだ」とほめたところで、その空疎さを見抜かれる
「これはいいものだ。こうすればもっと良くなる」というコーチングのあれは、叩き要素をゼロに出来る状況を講師がつくりだした時にのみ通用する。お手本の模写で序列の下位に甘んじた子供をつかまえて、「これはいいものだ」とほめたところで、その空疎さを見抜かれる
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
How to implement dependent type theory I 08 November 2012 Andrej Bauer Type theory, Programming, Software, Tutorial I am spending a semester at the Institute for Advanced Study where we have a special year on Univalent foundations. We are doing all sorts of things, among others experimenting with type theories. We have got some real experts here who know type theory and Coq inside out, and much mo
うちの子供たちの話題といえば、サッカーかお笑いばっかり。最近だと「ワンピース」が少し入るくらい。 ところが、次男が『素数ゼミの謎』という本を読みだして、 素数ゼミの謎 作者: 吉村仁出版社/メーカー: 文藝春秋発売日: 2005/07/12メディア: 単行本購入: 6人 クリック: 85回この商品を含むブログ (66件) を見る 次男：「おにいちゃん、素数って知ってる？」 長男：「あー？ なんか、そんなん習った気もするなー」 次男：「約数って知ってる？」 長男：「なんか、あったような気もするなー」 次男：「あのね、…(説明)…」 それを聞いていて、最近話題の次のアニメーションを思い出して、iPadで見せてあげた。 Animated Factorization Diagrams - Data Pointed 予想よりずっとウケた。次男は「おーっ、素数きた！」「次くるぞ、素数うー」とか騒いでい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
