【!】[質問1] 数学用語をロジバンに訳しています。まだ、暫定的ですが以下…

【!】[質問1] 数学用語をロジバンに訳しています。まだ、暫定的ですが以下…

[質問1] 数学用語をロジバンに訳しています。まだ、暫定的ですが以下…

[質問1]
数学用語をロジバンに訳しています。まだ、暫定的ですが以下に訳を載せるので、改善した方が良い所など教えてほしいです。 ロジバンのオンライン辞書もあるようなので、ロジバンの事をよく知らない方でも、何か良い案が思い付いたらぜひ教えてください。特に今思いつかなくて困っているのが、単射、全射、全単射、有理型、極などの用語です。
[質問2]
ロジバンで書かれた数学の論文は存在しますか?ロジバンで書かれた数学の定理や証明が見てみたいです。
[質問3]
ロジバンで数学の定理や証明を考える(書く)ことに何か意味はあると思いますか?
ロジバンの辞書
s://la-lojbangithubio/sutysisku/en/
s://la-lojbangithubio/sutysisku/ja/
数学用語(英語とロジバン 冠詞は省略 まだまだ途中 未整理)
[pure mathematics] cuvycmaci (curve cmaci)
[applied mathematics] facplicmaci (fatci pilno cmaci)
[elementary mathematics] sapcmaci (sampu cmaci)
[arithmetic] mekcmaci (mekso cmaci)
[algebra] snicmaci (sinxa cmaci)
[geometry] tamcmaci (tarmi cmaci)
[analysis] lalcmaci (lanli cmaci)
[calculus] cnecmaci (cenba cmaci)
[statistics] cuncmaci (cunso cmaci)
[set theory] selcmicmaci (se cmima cmaci)
[combinatorics] cuxycmaci (cuxna cmaci)
[number theory] nacycmaci (namcu cmaci)
[graph theory] catcmaci (cartu cmaci)
[order theory] porcmaci (porsi cmaci)
[group theory] gricmaci (girzu cmaci)
[ring theory] jincmaci (djine cmaci)
[field theory] flocmaci (foldi cmaci)
[category theory] klecmaci (klesi cmaci)
[theory of computation] kajycmaci (kanji cmaci)
[trigonometry] jgacmaci (jganu cmaci)
[topology] sfecmaci (sefta cmaci)
[measure theory] mrecmaci (merli cmaci)
[game theory] jvicmaci (jivna cmaci)
[knot theory] jgecmaci (jgena cmaci)
[information theory] datnycmaci (datni cmaci)
[linear algebra] sirji snicmaci (sirji sinxa)
[abstract algebra] sucta snicmaci (sucta sinxa cmaci)
[fractal geometry] sezysmi tamcmaci (sevzi simsa tarmi cmaci)
[mathematical logic] cmacylogji (cmaci logji)
[Pythagorean theorem] pitagoras zei jetnu
[value] mekna’u (mekso namcu)
[constant] stona’u (stodi namcu)
[variable] cnena’u (cenba namcu)
[natural number >= 0] nonkacna’u (no kancu namcu)
[natural number >= 1] pavykacna’u (pa kancu namcu)
[integer] mulna’u (mulno namcu)
[rational number] pabna’u (parbi namcu)
[irrational number] nalpabna’u (na’e parbi namcu)
[real number] mrena’u (merli namcu)
[imaginary number] xarna’u (xanri namcu)
[complex number] lujna’u (pluja namcu)
[quaternion] voncmuna’u (vo jicmu namcu)
[octonion] bivycmuna’u (bi jicmu namcu)
[prime number] slena’u (selci namcu)
[composite number] nalslena’u (na’e selci namcu)
[perfect number] pa’erna’u (prane namcu)
[equation] dunme’o (dunli mekso)
[inequality] naldunme’o (na’e dunli mekso)
[identity] manfydunme’o (manfo dunli mekso)
[formula] jetme’o (jetnu mekso)
[polynomial] tefsujme’o (tenfa sumji mekso)
[differential equation] ra’irparbi dunme’o (ranji parbi dunli mekso)
[elementary] sampu
[pure] curve
[class] klesi
[field] klesi
[branch] klesi
[domain] klesi
[category] klesi
[equal] dunli
[proof] cipra
[prove] cipygau
[proposition] bridi
[theorem] jetnu
[contradict] natfe
[law] javni
[rule] javni
[regular] javni
[definition] vlavelcki (valsi ve ciksi)
[axiom] selru’a (se sruma)
[theory] terjva (te javni)
[corollary] selni’i (se nibli)
[conjecture] selsmadi (se smadi)
[hypothesis] seljinvi (se jinvi)
[counterexample] seldaumupli (se darlu mupli)
[element] cmima
[set] selcmi (se cmima)
[subset] paurselcmi (pagbu se cmima)
[superset] vaurselcmi (vasru se cmima)
[domain] selfancu (se fancu)
[codomain] terfancu (te fancu)
[kernel] paurselfancu (pagbu se fancu)
[image] paurterfancu (pagbu te fancu)
[axiom of choice] cuxselru’a (cuxna se sruma)
文字数制限のため、私のサブIDであるofg123qtcで続きを投稿します。

アンサー

>[質問1]
>数学用語をロジバンに訳しています。まだ、暫定的ですが以下に訳を載せるので、改善した方が良い所など教えてほしいです。
>ロジバンのオンライン辞書もあるようなので、ロジバンの事をよく知らない方でも、何か良い案が思い付いたらぜひ教えてください。特に今思いつかなくて困っているのが、単射、全射、全単射、有理型、極などの用語です。
これは翻訳/造語作業にあたるので数学に明るいロジバニスタンでないと協力は難しいですね。
しかし、ロジバニスタンは比較的数学には明るい方が多いのでコミュニティを当たれば協力者は見つかると思います。
なお、造語したlujvo(合成後/複合語)はjbovlaste(下記)という辞書サイトで検索/登録できます。
://jbovlastelojbanorg/
>[質問2]
>ロジバンで書かれた数学の論文は存在しますか?ロジバンで書かれた数学の定理や証明が見てみたいです。
私は存在を知りません(あるかもしれません)。
論理的な言語として知られるロジバンですが…、
数学の世界には既に「数式」という強力な論理的言語が存在しています。
そのため、ロジバンで記述された論文の需要は多くないように思います。
(私自身は数学に明るくないので憶測です。)
プログラミングの世界でも同様です。
仕様書の記述には有益だと思いますが、実装技術としては既に各種のプログラミング言語が存在しているため、全くといって良いほど需要がありません。
(こちらはプログラマーとしての自分の意見です。)
個人的には法律記述の分野が最も実力を発揮できるのではないかと考えています。
>[質問3]
>ロジバンで数学の定理や証明を考える(書く)ことに何か意味はあると思いますか?
ロジバンは「使用言語は現実世界の把握に影響を与える」という、「サピア=ウォーフの仮説」と呼ばれる仮定を確かめるべく開発された人工言語です。
少なくともロジバンで数学の定理や証明を考える行為は、この言語の本来の使用目的に合致しています。
結果の如何に関わらず、実証実験に参加するという意味があります。
◆>ロジバニスタンは比較的数学には明るい方が多いので
>コミュニティを当たれば協力者は見つかると思います。
私の知るロジバンクラスタの方々に、
この質問の存在をお知らせておきますね。
◆[group] girzu
[ring] djine
[field] foldi
[distinct] frica
[sieve] julne
[expand] preja
[dependent] lacri
[independent] nalylacri (na’e lacri)
[prime] selci
[coprime] simsle (simxu selci)
[arithmetic mean] sujna’o (sumji cnano)
[geometric mean] pi’irna’o (pilji cnano)
[commutative property] cajykai (canja ckaji)
[associativity property] gumkai (gunma ckaji)
[distributive property] fairkai (fatri ckaji)
[reflexivity] mirkai (minra ckaji)
[symmetry] mirlaxykai (minra lanxe ckaji)
[transitivity] ki’icnekai (ckini cenba ckaji)
[equivalence class] panrylei (panra klesi)
[equivalence relation] panryki’i (panra ckini)
[partially ordered set] paurpoiselcmi (pagbu porsi se cmima)
[totally ordered set] mulpoiselcmi (mulno porsi se cmima)
[ziro element] noncmi (no cmima)
[identity element] pavycmi (pa cmima)
[quotient group] dilcygri (dilcu girzu)
[plane] plita
[point] mokca
[line] linji
[curve] kruvi
[space] canlu
[angle] jganu
[dimension] cimde
[similar] simsa
[congruent] mintu
[measure] merli
[sphere] bolci
[cone] konju
[triangle] cibjgatai (ci jganu tarmi)
[radius] mijdi’esirji (midju dirce sirji)
[diameter] mijgresirji (midju pagre sirji)
[circle] cuktai (cukla tarmi)
[ellipse] gancuktai (ganra cukla tarmi)
[parabola] selrerkru (se renro kruvi)
[hyperbola] backemselrerkru (bancu ke se renro kruvi)
[compass] cukyxratci (cukla pixra tutci)
[straightedge] lijyxratci (linji pixra tutci)
[acute angle] kiljga (kinli jganu)
[obtuse angle] kadjga (kandi jganu)
[straight angle] sirjga (sirji jganu)
[manifold] vricytai (vrici tarmi)
[connected space] jonca’u (jorne canlu)
[locally connected space] klojonca’u (diklo jorne canlu)
[complete] mulno
[limit] jimte
[continuous] ranji
[smooth] xutla
[harmonic] sarxe
[function] fancu
[general] kampu
[countable] kacka’e (kancu kakne)
[absolute value] nacnilbra (namcu ni barda)
[operator] mekfancu (mekso fancu)
[derivative] cneparbi (cenba parbi)
[differential] ra’irparbi (ranji parbi)
[integral] ra’irsumji (ranji sumji)
[special function] tecfancu (steci fancu)
[holomorphic function] multaifancu (mulno tarmi fancu)
[uniformly continuous] manfyra’i (manfo ranji)
[differential form] ra’irpabytai (ranji parbi tarmi)
[vector] nacmei (namcu mei)
[matrix] nacmeimei (namcu mei mei)
[regular matrix] javni nacmeimei (javni namcu mei mei)
[branch point] jicmokca (jimca mokca)
[branch cut] jicka’a (jimca katna)
[residue] velvi’u (ve vimcu)


質問タグ:ロジバン,sucta snicmaci,sirji snicmaci,bi jicmu namcu,valsi ve ciksi

【Q&A】Xperiaのso-04hを使用しています SDがいっぱいになってきたので容量の…

Xperiaのso-04hを使用しています SDがいっぱいになってきたので容量の…

Xperiaのso-04hを使用しています
SDがいっぱいになってきたので容量の多いSDに変えようと思い、写真と動画を一度パソコンに移し、新しいSDに写真と動画を入れてスマホにセットしたらアルバムで 写真を見れなくなってしまいました
極一部の写真だけは見れますが…
ファイルコマンダーではSDに写真と動画全て入っていることは確認出来ますがアルバムでは見れません…
使い慣れているのでアルバムで見れるようにしたいのですがどうしたらよいのでしょうか?ちなみに元々入れていたSDを再度入れてみましたが(写真などは未消去状態)そちらもアルバムで見ることは出来ないようになってしまいました…
同じような質問もあったのですが大変困っているので新たに質問させていただきますm(__)m

アンサー

同じ機種を使っています。当方も他の機種で記録したMicroSDを入れアルバムアプリで見ようとしたら画像は認識しなくなりました。その後、元々使っていたMicroSDに変えても認識しなくなり、ファイルコマンダーでは見れたことがあります。
当方は、設定→アプリと通知→アプリの情報→アルバム→ストレージ→キャッシュ削除&データ消去したら元に戻りました。
データ消去っていうのはアルバムアプリの設定のデータ消去っていう意味で、保存データではありませんので。
80OREOで説明しています。
◆ありがとうございます
やってみましたがダメでした(;_;)
◆「アルバム」の左上に「三」みたいのがあるので、それをタップ
すると「設定」が開きます
その「問題の発見と解決」を行って見てください


質問タグ:so-04h,アルバム,ファイルコマンダー,極一部,動画

コメント