senooken JP Social
  • FAQ
  • Login
senooken JP Socialはsenookenの専用分散SNSです。
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Timeline for it list by senooken, page 71

せのお (妹尾 賢) senooken it Friday, 30-Nov-0001 09:18:59 LMT
  • Subscribe
Listed 8 Subscribers 0
  1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 15-Mar-2022 11:41:20 JST きゅーけー きゅーけー
    in reply to

    具体的には car には (All (a b) (-> (Pairof a b) a)) って型が付いてるんだけど first には (All (a b) (-> (Pairof a (Listof b)) a)) っていうリスト操作を意識した型がついている。

    これは first と rest を意図通りに使っている限りは気づかないやつだな。car の型と比べると first の型は狭くなっている。よって Typed Racket ではこの二つは同じものではないといえる。

    In conversation Tuesday, 15-Mar-2022 11:41:20 JST from mastodon.tojo.tokyo permalink
  2. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 15-Mar-2022 11:39:20 JST きゅーけー きゅーけー

    おー、Typed Racket の car と first って型違うのかー。これだとリスト操作するときは first と rest 使った方がよさそうだな。

    (-> (Listof a) a) の型を排除する作業をしていたおかげで気づいた。これはプログラミングのスタイルが変わってくるな。`car` `cdr` 原理主義から離れるきっかけになりそうだ。

    In conversation Tuesday, 15-Mar-2022 11:39:20 JST from mastodon.tojo.tokyo permalink
  3. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 14-Mar-2022 12:27:09 JST きゅーけー きゅーけー

    Typed Racket の car の型を (ALL (A B) (-> (Pairof A B)) A) だけに書き換えて使ってるんだけど、毎回これやるの面倒だしデフォルトでこれにして欲しいんだけど、まあそんな変更をいきなりすることもできないし、既存の動的型のコードにうまく型付けをするという考えにも沿わない感じするので仕方がない感じがする。

    久しぶりに Racket で新しい lang の定義方法を調べて、car と cdr の型を書き換えた。

    (そもそもなんで、そんなことをしているかというと、Typed Racket の car には (-> (Listof A) A) という型もついてて、これだと空リストに対して適用したときに型エラーにならないのでつらい問題がある。型を一個減らすだけで解決するやつなんでデフォでこっちにして欲しい。型を一個減らすだけで網羅性をチェックできるようになるというのに……)

    In conversation Monday, 14-Mar-2022 12:27:09 JST from mastodon.tojo.tokyo permalink
  4. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 03:45:29 JST きゅーけー きゅーけー

    普段は助動詞とか副詞句とかいう概念について意識することなんてないけど、分かち書きをするにあたっては重要だと分かったわ。あれは分かち書きをする人にとっては意味のある勉強だったんだ。

    Hudan wa zyodôsi toka hukusiku tokaiu gainen ni tuite isiki suru koto nante naikedo, wakatigaki o suru ni atatte wa zyûyo dato wakattawa. Are wa wakatigaki o suru hito ni totte wa imi no aru benkyô dattanda.

    In conversation Sunday, 13-Mar-2022 03:45:29 JST from mastodon.tojo.tokyo permalink
  5. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 03:38:44 JST きゅーけー きゅーけー
    in reply to

    ルールに例外がたくさんあってつらいんだけど、言っていることはよく分かるんだよなあ。

    第1期国語審議会で真剣にローマ字の分かち書きについて議論されたであろうことがよく分かる。

    In conversation Sunday, 13-Mar-2022 03:38:44 JST from mastodon.tojo.tokyo permalink
  6. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 03:36:19 JST きゅーけー きゅーけー

    ローマ字の分かち書きについてだいたい分かってきた。いままではちょっと細かく分け過ぎていた感じがする。睡眠時間を犠牲にして一通り学習した価値はあったと思う。

    Rômazi no wakatigaki ni tuite daitai wakattekita. Imamade wa tyotto komakaku wakesugiteita kanzi ga suru. Suimin-zikan o gisei ni site hitotôri gakusyû sita kati wa attato omô.

    In conversation Sunday, 13-Mar-2022 03:36:19 JST from mastodon.tojo.tokyo permalink
  7. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 03:10:01 JST きゅーけー きゅーけー

    ni が付くことで副詞句になるかどうかで ni を付けるかどうかを分けるとかいう指針難しいんだけど、言われてみるとたしかにって感じがしてすごい。

    In conversation Sunday, 13-Mar-2022 03:10:01 JST from mastodon.tojo.tokyo permalink
  8. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 03:08:47 JST きゅーけー きゅーけー

    やばいな、ローマ字の分かち書きについて調べすぎて生活リズムが崩れそうだ。

    Yabaina. rômazi no wakatigaki ni tuite sirabesugite seikatu-rizumu ga kuzuresôda.

    In conversation Sunday, 13-Mar-2022 03:08:47 JST from mastodon.tojo.tokyo permalink
  9. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 00:31:59 JST きゅーけー きゅーけー

    ローマ字についてはめっちゃ審議したけどあんま使われてないってことがなんか分かったわ。

    In conversation Sunday, 13-Mar-2022 00:31:59 JST from mastodon.tojo.tokyo permalink
  10. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 00:28:27 JST きゅーけー きゅーけー

    分かち書きは第一期国語審議会の結果を採用するのでいいか。

    In conversation Sunday, 13-Mar-2022 00:28:27 JST from mastodon.tojo.tokyo permalink
  11. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 00:22:42 JST きゅーけー きゅーけー

    > 特殊音の書き表わし方は自由とする

    なるほど、自由か。じゃあ「ふぁ」は fa でいいかなー。

    文化庁 | 国語施策・日本語教育 | 国語施策情報 | 内閣告示・内閣訓令 | ローマ字のつづり方 | そえがきhttps://www.bunka.go.jp/kokugo_nihongo/sisaku/joho/joho/kijun/naikaku/roma/soegaki.html

    In conversation Sunday, 13-Mar-2022 00:22:42 JST from mastodon.tojo.tokyo permalink
  12. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 00:20:32 JST きゅーけー きゅーけー
    in reply to

    つづり方はこれでよさげだな。分かちがきはどうなったんだろ。

    文化庁 | 国語施策・日本語教育 | 国語施策情報 | 内閣告示・内閣訓令 | ローマ字のつづり方https://www.bunka.go.jp/kokugo_nihongo/sisaku/joho/joho/kijun/naikaku/roma/index.html

    In conversation Sunday, 13-Mar-2022 00:20:32 JST from mastodon.tojo.tokyo permalink
  13. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 00:19:12 JST きゅーけー きゅーけー

    国語審議会めっちゃ行われてんな。結局どうなったかのまとめだけ載ってるところ探さないと。

    In conversation Sunday, 13-Mar-2022 00:19:12 JST from mastodon.tojo.tokyo permalink
  14. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 13-Mar-2022 00:08:16 JST きゅーけー きゅーけー
    • 相鉄・東京メトロの回数券終了

    @hadsn わりとどうでもいいかつ私特有の話なんですけど、私はローマ字を綺麗に書けるんで書いてて楽しいんですよね。それに対して、カタカナ・ひらがな(そして漢字)はバランスよく書けないという問題があるんです。おそらく字を正方形っぽい形に書くのが苦手なんですよね。

    In conversation Sunday, 13-Mar-2022 00:08:16 JST from mastodon.tojo.tokyo permalink
  15. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 12-Mar-2022 23:59:22 JST きゅーけー きゅーけー
    in reply to

    どうせ他の人に見せることはないしテキトーで良いとは思うんだけど書くときの迷いは減らしたい。

    In conversation Saturday, 12-Mar-2022 23:59:22 JST from mastodon.tojo.tokyo permalink
  16. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 12-Mar-2022 23:58:11 JST きゅーけー きゅーけー

    漢字書き取りの学習に失敗してしまった私にとっては、手書きメモの水準を他の人と同等レベルにするにはローマ字の獲得が必要で、分かち書きの仕方の指針は私には必要なんだよな。

    In conversation Saturday, 12-Mar-2022 23:58:11 JST from mastodon.tojo.tokyo permalink
  17. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 12-Mar-2022 23:47:04 JST きゅーけー きゅーけー
    in reply to

    IME の開発がうまくいかなかった場合の世界線では SNS で日本語のローマ字が飛び交ってたかもしれんな。

    In conversation Saturday, 12-Mar-2022 23:47:04 JST from mastodon.tojo.tokyo permalink
  18. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 12-Mar-2022 23:44:14 JST きゅーけー きゅーけー
    in reply to

    とりあえず国語の授業に入れれば広まるというものでもないということなんかな。

    In conversation Saturday, 12-Mar-2022 23:44:14 JST from mastodon.tojo.tokyo permalink
  19. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 12-Mar-2022 23:43:08 JST きゅーけー きゅーけー

    現実にはローマ字広まってなくて草。

    文化庁 | 国語施策・日本語教育 | 国語施策情報 | 第1期国語審議会 | 7 ローマ字教育の問題https://www.bunka.go.jp/kokugo_nihongo/sisaku/joho/joho/kakuki/01/bukai07/01.html

    In conversation Saturday, 12-Mar-2022 23:43:08 JST from mastodon.tojo.tokyo permalink
  20. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 12-Mar-2022 23:40:17 JST きゅーけー きゅーけー
    in reply to

    実際にローマ字を使い始めるとすぐに気付くことかと思うんだけど、どこで分かち書きすればいいのかは最大の問題になってるので、これは重要。

    In conversation Saturday, 12-Mar-2022 23:40:17 JST from mastodon.tojo.tokyo permalink
  • After
  • Before

User actions

  • Subscribe
  • List
せのお (妹尾 賢)

せのお (妹尾 賢)

Tokyo-to

https://senooken.jp

『「覚悟」とは暗闇の荒野に進むべき道を切り開くことだッ!』 『いきつづけたいという いし… うんめいを かえたいという つよいきもち。わたしは この ちからを… 「ケツイ」と よぶことにした。』 『不運、不幸、不ヅキ、運命、境遇、障害、不平、不正。すべてをねじ伏せオレは勝つ……!』 投資: @senooken_money 実験的にGoogle Adsense広告を設置中。

Tags
  • #asd
  • #gnusocial
  • #ingress
  • #mtgjp
More details...

    Listed

    • Ryusei
    • mecab✅
    • h12o
    • 東海りな@東海道らぐ広報部
    • LibreOffice
    • あわしろいくや
    • きゅーけー
    • 出雲伊月

    Subscribers

      (None)

      Feeds

      • Activity Streams
      • RSS 2.0
      • Atom
      • Help
      • About
      • FAQ
      • TOS
      • Privacy
      • Source
      • Version
      • Contact

      senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

      Creative Commons Attribution 3.0 All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.