{"id":21478581,"url":"https://github.com/kayhide/sfja","last_synced_at":"2025-06-26T08:04:08.737Z","repository":{"id":73160473,"uuid":"143443339","full_name":"kayhide/sfja","owner":"kayhide","description":null,"archived":false,"fork":false,"pushed_at":"2019-02-10T08:11:40.000Z","size":1861,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-06-18T15:52:34.952Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Coq","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/kayhide.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2018-08-03T15:22:23.000Z","updated_at":"2019-01-13T15:45:56.000Z","dependencies_parsed_at":"2023-06-03T19:30:34.368Z","dependency_job_id":null,"html_url":"https://github.com/kayhide/sfja","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/kayhide/sfja","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kayhide%2Fsfja","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kayhide%2Fsfja/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kayhide%2Fsfja/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kayhide%2Fsfja/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/kayhide","download_url":"https://codeload.github.com/kayhide/sfja/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kayhide%2Fsfja/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":260797864,"owners_count":23064873,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-23T11:18:51.965Z","updated_at":"2025-06-26T08:04:08.731Z","avatar_url":"https://github.com/kayhide.png","language":"Coq","funding_links":[],"categories":[],"sub_categories":[],"readme":"発起人の片山です。4章までの翻訳を行いました。\r\n\r\n以下は、梅村氏との質疑で出た、現状の翻訳方針です。\r\n決定事項というわけではありませんが、特に「こうしたほうがいい」という\r\nことがなければ、当面文体などはこの方針でお願いいたします。\r\n\r\n\r\n・文体は「ですます」調。ただし定理の主張の訳や、証明に直接付加され \r\n  た説明は、「示す」「とする」「になる」等の文体とする。また、 \r\n　練習問題は、「しなさい」という命令調のほうが気分がでるのでそう\r\n　する。ただし、練習問題の説明はですますで書く。\r\n\r\n・句読点は「、」「。」 (「，」「．」ではないという意味) \r\n　 \r\n　 \r\n・英語版の.vのソースファイル上では、半角80で改行が入っていますが、 \r\n　日本語のコメントでこれをやってしまうとhtmlに変換した際に半角 \r\n　スペースが入ってしまうので、日本語の.vファイルでは改行をいれずに \r\n　ダラダラ書いてください。 \r\n\r\n・原文冒頭の (* $Date: ...$ *) はそのまま(もとの日付のまま)残す \r\n　（いつの版の翻訳か分かるように）。 \r\n\r\n　 \r\n・原文で _XXX_ という部分は、その場所ごとに適切に対処（オリジナル\r\n　ではイタリック体にする記号だが、最初の4章までは無視している\r\n　（日本語がアンダーラインに続くとうまくcoqdocが処理してくれない\r\n　　ため）。\r\n　 \r\n・原文の\"XXX\" は基本的には,中のXXXは訳すがダブルクォートはそのまま \r\n  残して\"YYY\"とする。ただし、日本語にして違和感がある場合は \r\n　「」で置き換えてもかまわない。 \r\n　 \r\n・原文の[XXX]は中のXXXも訳さずにそのまま[XXX]とする。たいていは\r\n　ソースの中のキーワードや変数名などに使われているので、必然的に\r\n　そうなると思います。\r\n・ダッシュ (-) で始まる行はなるべく原文のままの形のインデントを残す。 \r\n\r\n・コメントではない部分は基本的に原文のままとする。\r\n\r\n\r\n他にも何か気づいたことがあれば追加してください\r\n（以上：2011/10/01　片山）\r\n\r\n\r\n同じところを同時に複数の人が翻訳してしまう悲劇を防ぐため、念のため、\r\n自分が翻訳を開始している章は、Wiki上に「＊＊＊＊が翻訳中」と\r\n記述するようにして下さい。\r\n\r\nまた、翻訳方針などについて、統一を求めたい場合はこのファイルに追記\r\nしてください。\r\n\r\n単語の訳語の統一については、Wikiのほうで単語帳を管理することにしましょう。\r\n（例：tactic →　タクティク ×　タクティック ○　など）\r\n\r\n(以上：2011/10/02　片山)\r\n\r\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkayhide%2Fsfja","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fkayhide%2Fsfja","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkayhide%2Fsfja/lists"}