まい/Μίττον/MIT@言語垢

言語を作ったり眺めたりするのが好き/nefepaskadaleravertzen jujoleraver skurlavenija.mavija(máwija kúḷawenija)/Izertii=Nesteriu/筆橋樽/かじか みと アイコンは1巻表紙絵のアルトちゃん(かわいい)

[まい/Μίττον/MIT@言語垢 @mai_lang0]

私は産業革命時代の英国王族・上級貴族の口語英語の記述をいつでもお待ちしております

[まい/Μίττον/MIT@言語垢 @mai_lang0]

Now reading: Formal semantics in modern type theories with coercive subtyping https://t.co/Ae0YSIne2t

[まい/Μίττον/MIT@言語垢 @mai_lang0]

型理論ベースの形式意味論に強くなるスレ

[まい/Μίττον/MIT@言語垢 @mai_lang0]

Now reading: Types and Type Theories in Natural Language Analysis https://t.co/D6s9Xrjp1k

[LN_へるぷ.exe@ゆうぎり高校 @LN_Help_exe]

というわけでPONしちゃったけど、横動画上がりました!

頑張って作ったので動画見てね👀ﾖﾛｼｸ

【panipani】2時間で身につく人工言語、本当に2時間で身につくのか検証してみた【実写あり】
▽https://t.co/MqXZ3140RL

[なしみかん @Misaki_muuuchan]

正規の教育を受けておらず我流で学んできた人間が困るポイントの一つは、専門用語を日本語でなんて言うかわからない点なのではないかと最近よく思うようになった…(attested formに対応する在証形という日本語があるのを最近知った)

[まい/Μίττον/MIT@言語垢 @mai_lang0]

【フランス語とフラニ語を両方フラ語と呼ぶ弊害】
「私フラ語やってるんですよね〜」
「どっちの？」
「ギニア湾沿岸で広く通用する方の」
「どっちの？」
「ラテン文字を拡張して必要を満たしている方の」
「どっちの？」
「名詞に接頭するクラス標識がある方の」
「どっちの？」

[まい/Μίττον/MIT@言語垢 @mai_lang0]

>RT
トキポナの文にちょくちょく違和感があるが、最近あまりトキポナができておらず直観にそこまで自信がないので、もう少しちゃんと見たい。その後に違和感をまとめるかも。

[Jounlai Cho 趙俊来 @jounlai]

🌍 LangMap 公開しました！

世界の言葉の「語順」をインタラクティブな地図で見られるサイトです🗺️ 英語・中国語・フランス語など各国の言語から、日本各地の方言、さらには江戸時代や平安時代の日本語まで比較できます

👉 https://t.co/vUN6eP47ai

#LangMap #言語学 #多言語

[まい/Μίττον/MIT@言語垢 @mai_lang0]

空間を「土偏 + 甲乙丙…」と書くように部首を有効活用したい

[Ziphil “Ziphineko” Shaleiras 🐈 @Ziphil]

必要なのは文字の多さではなくて文字の「レベル」の多さなので、小文字と大文字の区別があるラテン文字はこの点では向いている方で、むしろ漢字はただ量が多いだけで向いてない。

[まい/Μίττον/MIT@言語垢 @mai_lang0]

@Ziphil extensionalな理論に限定されていますが、私の最近読んだMaietti "Modular correspondence between dependent type theories and categories including pretopoi and topoi" (https://t.co/uprXIWb2uL) はmodularでよいです

[まい/Μίττον/MIT@言語垢 @mai_lang0]

Grammatical Framework (GF)、そういうのもあるのか（自然言語の文法を記述することを目的としたMLTTベースの函数型言語）
https://t.co/wZgq77srO2

[まい/Μίττον/MIT@言語垢 @mai_lang0]

五体満足のアラビア文字

[まい/Μίττον/MIT@言語垢 @mai_lang0]

https://t.co/qXxlDlyabZ

[MIT(Μίττον)@大学垢 @mit00042]

TeXにブチ切れる荒洲「赤信号を放つコンパイラに耳を貸してみても、執筆者の神経を騒ぎ立てるのは意味を持たぬ譫言ばかりであり、只管に泣き叫ぶ赤子の模倣という一点に注力したのであろう開発者の満足気な顔を思い浮かべるより他に成しうることもない」

[まい/Μίττον/MIT@言語垢 @mai_lang0]

隣にTeXに発狂しながら作業している人がいて、「TeXにブチ切れる荒洲シリーズ」面白いんじゃなかろうかの気持ち

[Αρετή @AreteSeleukos]

・アムリタ(サンスクリット語、不老不死の甘露)
・アンブロシア(ギリシア語、神々の食べ物)
これらが同語源だという話で、サンスクリット語研究者の友人と盛り上がりました。

いずれも「死」を表すmr-という語の前に否定のaがついたものですが、ギリシア語ではmrという子音の連続を許容しないため↓

[Mitchara @Mitchara]

「語源を意識したかかる表記は、〈歴史主義的表記〉と称呼されます」これよ。こういうのが現代日本語の書き言葉よ。みんなこういう文章をもっと書きましょう

[Omizan Sakamoto @omi_info3]

「人生の時間が無限にあったら学びたい言語を数世紀掛けて全部モノにしたい」
「数世紀経ったら言語変わり果ててまっせ」
という脳内漫才を繰り広げてる

[まい/Μίττον/MIT@言語垢 @mai_lang0]

>RT
脳筋ギリシア語すぎる

[Qui @slet_ikke]

• τὸ τί ἦν εἶναι（何であったかのこと＝本質）
• τὸ καθ’ αὑτό（それ自体に即してのこと＝本質的属性）
• τὸ οὗ ἕνεκα（それのためにのこと＝目的因）
• τὸ ὡς ἐπὶ τὸ πολύ（大抵の場合におけるようになこと＝蓋然性）

みたいなアリストテレスが使うアホのギリシア語，好き。

[まい/Μίττον/MIT@言語垢 @mai_lang0]

少し癪だがやっぱimpredicative Propがあった方が言語らしい気がする

[まい/Μίττον/MIT@言語垢 @mai_lang0]

構文論が依存型理論リスペクトな言語を作りたくなってきたので、ロジバンを真面目に勉強するかもしれない（m年ぶりn回目）

[まい/Μίττον/MIT@言語垢 @mai_lang0]

>RT
toki pona li toki pona!
（トキポナ勢向けの文脈共有：MinecraftのRTAで用いられるsearch craftingというテクニックは言語設定を変えると大幅にやりやすくなることがある）