Coherence

ナショナルジオグラフィックでトラに関する記事を読んだので、「密漁の原因と解決策」をテーマにIELTSのTask2を想定しエッセイを書きました。 エッセイ Some animals are traded illegally on the black market because they can be highly profitable. In fact, worldwide, illegal wildlife trade can climb up to 19 billion dollars every year. In addition, they have traditionally sup…

春期講習が一区切りついたので、英検1級・IELTSのTask2を想定して1つ英作文を書いてみました。トピックは春期講習でも扱った「救急車の使用に料金が課されるべきか」です。指導しながら「自分だったらこう書くかな」とイメージしていて、具体的な語彙や構成は今日の行き帰りの通勤中に考えながら、そして仕事が終わった後実際に英文を書きました。 英文 Ambulances are an essential in our daily life. Hundreds and thousands of lives are saved in Japan every year. This can be achieve…

カプチ／マイヤース〈Matteo Capucci, David Jaz Myers〉の依存アクテゴリーは、アクテゴリーと二重圏の中間にある、ほど良い感じの概念的フレームワークです（「依存アクテゴリーが面白い」参照）。まだ定義さえハッキリしない状態ですが、僕は期待してます。「依存アクテゴリーに向けて」より： 事例がないと何していいか分からないので、事例を探すことにします。 けっこう良い例が見つかった！ 別に新しいモノではなくて、昔から僕が使っていた構造です。が、依存アクテゴリーだと思って眺めると、新しい側面が見えて新鮮です。$`\newcommand{\mrm}[1]{ \mathrm{#1} …

「依存アクテゴリーに向けて」において： 当然に、アクテゴリーは依存アクテゴリーの事例となります。その他に良い事例はないでしょうか？ 「最近の型理論： 拡張包括構造を持ったインデックス付き圏」で概要を述べた包括圏〈comprehension category〉が、依存アクテゴリーの事例になりそうです。 「最近の型理論： 拡張包括構造を持ったインデックス付き圏」は、バート・ジェイコブス〈Bart Jacobs〉の包括圏〈comprehension category〉というより、ファミリー付き圏と局所デカルト閉圏を若干抽象化した圏を想定して書いていたようです。 型理論では、型の意味論としてファミリー…

「依存アクテゴリーが面白い」という記事を書きました。実際僕は「面白い」と思っています。プロセスやシステムの記述と計算に使えそうだ、というところが心惹かれる理由でしょうかね。依存アクテゴリーはけっこう複雑な構造なので、定義を書き下すだけでもそれなりの準備が必要です。とりあえず思いついたこと／気になることを、割と取り留めもなく記します。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\In}{\text{ in }} \newcommand{\hyp}{\text{－} }…

WSR-2533DHPLSに続き、こちらも大体構成できたので投入テスト。 DHPLS同様、Image1 (Kernel)に書き込まれて再起動し、U-BootがImage1と2のチェックを行い、データが異なるのでImage1から2へのコピーが発生する。ブートはImage1。 NAND Flash上のOpenWrtで使用できる領域がWSR-2533DHPLSの2倍以上なので、OpenWrtブート後に利用可能な領域も大きい。ただしRAMは半分の128MiB。 The tail length is 46! Update len to 11796724! decodesize 11796480... c…

ファームウェアの生成や取り扱い周りを大体実装し終わったので、いくつかの投入方法でテストしたうちのWebUIからfactoryイメージを投入したもの Flash内のImage1 (Kernel)に書き込まれ再起動した際、U-Bootによって2つのOSイメージがチェックされ、Image1とImage2で異なるのでImage1から2へコピーされた上でImage1からブートしている hostsacd_daily_proc(145):HSAC-DBG:DATE[2024/3/30 9:45:32] 1711759532 154 154280(4) loggerdb:1319 The tail lengt…

しばらく前に市川大野のハードオフに行った際に見付け、MT7621であることを把握しており少し悩んで確保したもの。 他のデバイスを弄っていて放置していたら別の方によりPRがオープンされていたものの、弄っていくのでメモ。 Switch zone WAN LAN port (WSR-2533DHPLS) INTERNET LAN1 LAN2 LAN3 port (MT7530) port0 port1 port2 port3 MAC LAN: 90:96:F3:xx:xx:30 (board_data, mac (hex)) WAN: 90:96:F3:xx:xx:30 (board_data, m…

**会話の記憶の曖昧さに関する数値データ** **再認の正確さ:** * Graesser、Nakamura、およびGoldman (1999) による研究では、参加者は、スキーマに一致する会話とスキーマに一致しない会話を提示されました。スキーマに一致する会話の再認率は 82% であったのに対し、スキーマに一致しない会話の再認率は 65% でした。 **想起の正確さ:** * Bartlett (1932) の古典的な研究では、参加者はインディアンの民間伝承の物語を聞かされ、その後繰り返し再話してもらいました。物語の最初の再話は元の物語の 70% が正確に思い出されたのに対し、7 回目の再話は…

２１世紀になってすぐに、リチャード・E・マイヤーが提唱した「マルチメディア教材デザインの７原理」が話題になり、e-Learning を行う際の基本概念のように扱われたことがありました。 今でも e-Learning業者などでは結構自慢げに話す人たちもいます。 ということで、今回は ”「マルチメディア教材デザインの７原理」の前に” をテーマで考えてみます。 （マルチメディア教材デザインの７原理） マルチメディア教材デザインの７原理は、教育学者であるリチャード・E・マイヤーが提唱した教材設計に関する理論。 インタラクティブな学習環境を作るためのガイドラインとなっており、学習者が情報を効果的に理解、…

【英単語】kingpinを徹底解説！意味、使い方、例文、読み方kingpinは【特定の組織内で最も重要な人物】の意味として使われています。 和訳：【キングピン】読み方はˈkɪŋ.pɪnです。豊富な例文及び運用法を通して「kingpin」の意味を学びましょう!例文Current technology allows the chip in its various forms to be the kingpin of new information-gathering systems.現在の技術により、さまざまな形のチップが新しい情報収集システムの要となることができます。例文Clause 2, ho…