1. 如果每个程序都可以归约到规范形式,则这个类型论被成为是“规范化”的(或“弱规范化”的)。

全てのプログラムが正規形に還元可能なら、その型理論は「正規化; normalising」(あるいは弱正規化)されていると言える。

2. 1918年,他引入了规范(gauge)的概念,并给出了规范理论最早的例子。

1918年に、彼はゲージの概念を導入し、現在ゲージ理論として知られている最初の例を与えた。

3. 虚拟国际规范文档(英语:Virtual International Authority File,VIAF)是一个国际性的规范文档。

バーチャル国際典拠ファイル(バーチャルこくさいてんきょファイル、英: Virtual International Authority File、VIAF)とは、国際的な典拠ファイルである。

4. 可是,他提醒我们一切人为的道德规范都是脆弱的,后来有可能被其他规范所取代。

しかし,そう言いながらもキュビリエは,人間に立脚した道徳律はいずれももろく,後に他のものに取って代わられやすいことを指摘しています。

5. 「朝鲜语规范集」增加有关词汇的规范,此后多次扩充内容,并于1984年制作了一部修正版。

「朝鮮語規範集」は語彙に関する規範を加え、さらに一部を加筆・修正した改訂版が1984年に作られた。

6. 媒体代理机构负责收集网站规范。

広告代理店がサイト仕様の収集を担当します。

7. 第三类之商),也成为商法的规范对象。

第三種の商)についても、商法の対象になるとされるようになった。

8. IEEE-488 是一种用于短程通信的总线规范。

IEEE 488とは、短距離デジタル通信バス仕様である。

9. 除需遵守 Google AdSense 合作规范外,您还必须同意以下针对 AdSense 自定义搜索广告的补充合作规范,才能参与 AdSense 计划。

AdSense カスタム検索広告(CSA)をご利用になる場合、Google AdSense のプログラム ポリシーに加えて、以下の補足ポリシーへの同意も必要となります。

10. 历史给我们的教训是,人类曾经订立各种不同的道德规范,但时日一久,这些规范就受人质疑、更改或甚至遗忘。

人間は様々な道徳律を考え出しましたが,それらは時たつうちに疑問視され,変えられ,忘れ去られたというのが歴史の教訓です。

11. 这些修订将于 2019 年 9 月生效,届时帮助中心和合作规范中心将会更新,并详尽载述所有的合作规范和限制。

2019 年 9 月の施行とともに、ヘルプセンターとポリシー センターにも上記のポリシーおよび制限事項の詳細が反映されます。

12. 他们也提供一套明确的道德规范,作为思想和行为的指南。” 这里所提及的“指引”和“道德规范”都是以圣经为根据的。

エホバの証人は,日常生活に当てはめるべき明瞭かつ率直な秩序体系,すなわち思考や行動の指針となる厳しい規範を与えている」。

13. 非交换规范理论现在用很多不同的方法处理。

非可換ゲージ理論は、今では、多くの方法により扱われている。

14. 第一个量子化的规范理论是量子电动力学(QED)。

最初に量子化されたゲージ理論は量子電磁力学(QED)であった。

15. 紧随着TrueType的发布,Adobe就公开了Type 1字体的规范。

TrueTypeがアナウンスされると直ちに、アドビはType 1フォント形式の仕様を公開した。

16. 这套“语法”规范了DNA的指令怎样组成,以及怎样执行。

簡単に言えば,DNAには“文法”つまり語の並び方の決まり事があり,指令を出して実行させる過程が厳密に決められているのです。

17. 本文围绕以下几条重要准则来陈述合作规范要求:

ポリシーの主な要件は次のとおりです。

18. 到目前为止,该物质尚未受到美国环境保护署规范。

現在、この化合物は米環境保護庁によって規制されていない。

19. 这的确是任何渴望享有整洁家居环境的人的一个规范。

身の回りを散らかさないようにしたいと思っている人にとって,これはきっとよい模範となるでしょう。

20. 孩子是需要管教的,有明确的指引和规范,孩子才能健康成长。

子どもは懲らしめを必要としています。 はっきりした指針,境界線,限界が設けられるなら,それに添ってすくすくと育ってゆきます。

21. 及为他的机构筹款。我需要合作伙伴 把这个活动合法规范地做出来

財団に届けるという計画を話し 正式にやるために 提携を組みたいと告げました

22. M.2,前身为Next Generation Form Factor (NGFF),是计算机内部扩展卡及相关连接器规范。

M.2(エムドットツー)(旧称: Next Generation Form Factor、NGFF)は、コンピュータの内蔵拡張カードのフォームファクタと接続端子について定めた規格である。

23. 马丁·路德翻译的圣经为德语书面语奠下了规范,并为后世普遍采用。

ルターの聖書が一助となって,標準的な書き言葉の基礎が据えられ,ドイツ全土で受け入れられるようになりました。

24. 另一部辞典解释,无耻的行为是指“伤风败俗,违反一切社会规范”的行为。

別の辞典によると,みだらな行ないとは,「社会的に許容される事柄の範囲を全く逸脱した」行ないです。

25. 本节介绍了桌面版视频标头各个组件的详细规范以及兼容的浏览器。

このセクションでは、デスクトップ ビデオ マストヘッドの各要素の詳しい仕様と、推奨ブラウザについて説明します。

26. 这个规范由NGTRANS IETF工作组制订,草案由Sun Microsystems的E. Nordmark于2000年2月作为RFC 2765发布。

仕様はNGTRANS IETFワーキンググループによるもので、最初にサン・マイクロシステムズのE.Nordmarkによる RFC 2765 として、2000年2月にドラフトが発表された。

27. 本世纪初,该行业在基础设施、通信、监管规范和人才培训方面仍面临严重限制。

2000年代初、サービス産業の成長はいまだにインフラストラクチャー、通信、規制、人員の教育などの点で深刻な限界に直面している。

28. 想成为英雄的话,你一定要学会成为一个"异类", 因为你得总是与群体规范相左。

ヒーローになるには はみ出し者になることを学ぶ必要があります なぜなら あなたはいつもグループの服従に逆らうことになるからです

29. 有些人建议设立一套‘普世道德规范’,但对于以谁的道德定义为标准却莫衷一是。

ある人たちは『普遍的道徳律』を提唱しましたが,道徳に関してだれの定義を規準にするかという点で意見の一致を見ることができませんでした。

30. 不过,您有时需要先制作广告素材或模型,然后才能获得最终媒体策划或网站规范。

ただし、場合によっては、最終メディアプランの作成やサイト仕様の入手の前に、クリエイティブやモックアップを作成する必要が生じることがあります。

31. 最初的Shipworm规范制作的最终版Teredo协议也支持对称NAT,但最终由于安全考虑而放弃。

Shipworm 仕様の初期ドラフト段階では最終的に対称NATもサポートされる予定だったが、セキュリティ上の懸念からキャンセルされた。

32. AUTOSAR 的开发成果可以分为三个阶段: 第一阶段(2004-2006):标准规范的初步开发阶段(1.0、2.0 和 2.1版) 第二阶段(2007-2009):标准规范中的架构及其方式的补充阶段(3.0、3.1 和 4.0版) 第三阶段(2010-2013):维持和部分改进阶段(3.2、4.1 和 4.2版) 2013 年 AUTOSAR 始终努力维持着现有标准规范,并对部分标准加以改进(包括 R4.2 版和验收测试标准 1.0)。

AUTOSARのClassic Platformの活動は、次の3つのフェーズに分類することができる: 第1フェーズ(2004~2006年):標準の基礎開発(リリース1.0、2.0、2.1) 第2フェーズ(2007~2009年):アーキテクチャとメソドロジー標準の拡張(リリース3.0、3.1、4.0) 第3フェーズ(2010~2013年):保守と部分的な改善(リリース3.2、4.1、4.2) AUTOSARコンソーシアムは業界標準の保守と改善のため、2013年から継続的な活動へと移行している(リリース4.2 およびアクセプタンステスト1.0のリリースを含む)。

33. 可是,属上帝的人必须“靠着在基督耶稣里的信心和爱心,常常紧守......纯正话语的规范”。(

信仰は,今日非常に広く見られる,水で薄められたような軽信と混同すべきものではありません。

34. 在销售复杂的产品时——例如对工作能力的调查,最常用的是规范合法性和认知合法性。

作業能力の調査などの複雑な成果を納得させる場合、合法的、規範的、認識的な方法が一般的であった。

35. 提摩太后书3:4)“性解放成了道德改革,旨在推翻基督教的道德规范。”——网络杂志《无极限》

テモテ第二 3:4)「性の解放は道徳改革運動となっており,キリスト教道徳が敵視されている」。 ―「バウンドレス」(英語),インターネット雑誌。

36. 1996年,柯斯嘉德出版了《规范性的来源》一书,这是她“坦纳人类价值观讲座”的修订讲稿。

1996年、コースガードは『義務とアイデンティティの倫理学(The Sources of Normativity)』を出版したが、これは人間の価値に関するタナー講義を改訂したものである。

37. 你要是年纪不轻,可忆想1945年的情况,那么,就道德规范来说,你有没有察觉到任何改变呢?“

あなたが1945年当時のことを覚えておられる年齢なら,規範や道徳の面で何らかの変化を目にしてこられましたか。

38. 我们将及时为您介绍新产品和新功能,提供活动邀请、本地资讯及合作规范的相关信息。

新しいサービスや機能の情報、イベントのご案内、地域別のお知らせ、プログラム ポリシーに関する情報などをお知らせいたします。

39. 2004年,服务数据对象的技术规范最初由BEA和IBM合作开发,并通过了Java社群过程的批准。

2004年、BEAシステムズとIBMが共同で開発し、Java Community Process が承認した。

40. 2017年9月30日,北京市城市管理委员会根据《中华人民共和国广告法》、《北京市市容环境卫生条例》和《北京城市总体规划》发布了修订后的《北京市牌匾标识设置管理规范》,废止2007版《北京市牌匾标识设置管理规范》。

2017年9月30日に、 北京市市営委員会 が中華人民共和国広告法"、"北京市街の外観環境衛生規則"、"北京市都市全体計画プラン について、「北京市看板設置管理規範」を修正して、2007年の「北京市看板設置管理規範」を廃棄した。

41. 根据 AdSense 条款及条件的规定,因违反合作规范而被停用帐号的发布商不能再得到任何付款。

AdSense の利用規約に基づき、ポリシー上の理由により無効になったサイト運営者様は今後のお支払いを受け取ることはできません。

42. 2007年6月,Active Endpoints, Adobe, BEA, IBM, Oracle和SAP共同发布了BPEL4People和WS-HumanTask规范,描述了BPEL过程中如何进行人员的交互。

2007年6月、Active Endpoints、アドビシステムズ、BEAシステムズ、IBM、オラクル、SAP はBPEL4People および WS-HumanTask 仕様をリリースした。

43. 《世界人权报告》中另有三篇文章,讨论人权面临的其他威胁。 第一篇文章说明 规范全球企业营运

世界人権年鑑には、そのほかの人権課題を論じたエッセイも3本掲載されている。

44. 您收到的通知中应该包含相应合作规范问题的详细信息,以及出现该问题的一个示例网页。

お送りした通知には、ポリシー違反に関する詳細と、Google で見つけた違反の一例が記載されています。

45. 埃门动物园(荷兰文Noorder Dierenpark)是一个与别不同的动物园,它是按照现代化的动物园管理规范而设计的。

エメン動物園はオランダ語でノーデル・ディーレンパルクと呼ばれています。 これは極めて特殊な動物園で,現代的な管理方針にしたがって造られています。

46. 在PDF语法术语中被称为“PDF-2.0”,ISO 32000-2是第一个完全经ISO委员会(TC 171 SC 2 WG 8)发展而更新的PDF规范。

"PDF-2.0" として知られる ISO 32000-2 はPDF仕様を最初からISO内部のコミュニティプロセス (TC 171 SC 2 WG 8)で開発した最初のアップデートである。

47. 印度教徒相信,只要严守社会公认的行为规范,同时努力修行,最后他们就能与梵合一,获得解脱。

それを達成する方法は,社会に受け入れられる振る舞いをするよう,またヒンズー教の特別な知識を得るよう励むことであると信じられています。

48. 她接着说:「这儿的人几乎不需要表达任何意见或观点,尤其你只要跟随社会规范,生活就会受到保障。」

彼女はこう続けた―「日本では、波風立てずに普通にしていたら安心して暮らせるから、自分の意見を主張したりする必要がないのよ」

49. 因此,您必须努力监控广告流量,以确保自己的帐号符合我们的合作规范,而且没有产生无效流量。

このため、広告のトラフィックを念入りに監視して、アカウントが AdSense ポリシーに準拠し、無効なトラフィックが発生していないことを確認する作業が不可欠です。

50. 每年九月,北半球的大量大学新生开始访问Usenet,並花一些时间学习和适应网络的行为规范和“网络礼仪”。

そこでは、毎年9月、多くの新入生が初めてUsenetにアクセスし、Usenetの行動規範や「ネチケット」に慣れるということが繰り返されていた。

51. 这种极尽歪曲之能事,以求为法庭的判决辩解的报道手法创下了先例,成为各新闻媒介争相仿效的规范。

裁判所の行動を正当化するためのこの事実の歪曲は,全国で踏襲される先例となりました。

52. 在律法之约订立以前,纳妾的事早已存在。 摩西律法虽然容许人纳妾,但也加以规范,以保障妻妾的权益。(

そばめの制度は律法契約以前から存在しており,律法によって認められ,また規制されました。 律法は妻とそばめ双方の権利を保護しました。(

53. 研究发现,主观规范是可持续志愿活动的唯一决定因素,也是其他变量作用于未来志愿行为的潜在中介。

主観的規範は持続したボランティアにおける排他的な決定因として、他の作用変数を潜在的に用いてボランティア活動として表された。

54. 多数起源于古代的宗教中也有许多限制日常食物及饮酒、性行为,保持清洁等维护健康的规范和教义。

古代に起源をもつ宗教の多くは、日常の食物や飲酒・性的関係の制限、清浄さの維持など、健康のための習慣づけを規範や教義として内包していることが少なくない。

55. 这些传教士却万万料不到,他们的工作意义重大,成了日后南太平洋区不少语言用来制定文字的规范。

当人たちは,その取り組みが後に,南太平洋の他の多くの言語の手本となるなど夢にも思いませんでした。

56. 他们用的宣传策略本来就是要煽动情感,夸大缺乏安全感的心理,借用模棱两可的话,肆意歪曲逻辑的规范。

プロパガンダは,感情をかき立て,不安に付け込み,何とでも取れる言い回しを利用し,論理を曲げることによって,そのような近道をするよう促します。

57. 人们之前在1926年迈阿密飓风过后就发现了这样的规律,1928年的这场风暴终于让建筑规范的改善落到了实处。

同じような傾向が注目された1926年のマイアミ・ハリケーンに続き、この1928年のハリケーンの結果により、建築基準法を改定することになった。

58. 弥迦书2:12;西番雅书3:9)这种“纯洁的语言”包括统一的道德和宗教规范,甚至在现今它已经使人们团结一致。

ミカ 2:12。 ゼパニヤ 3:9)道徳的および宗教的な共通の価値観を含むこの「清い言語」は,現在でさえ人々を一致させています。

59. 与提交无服务合约、以固定价格销售的手机类似,预付费 SIM 卡的商品数据也应遵循商品数据规范的标准要求。

固定価格で販売される、サービス契約なしのモバイル デバイスを登録する場合と同じように、プリペイド SIM カードの商品データは商品データ仕様の標準要件に沿って登録する必要があります。

60. 许多欧洲学者都认为这一概念化过于狭义;然而,表示这还应包含合作、共同社会,以及近年的“社会企业”和社会规范。

多くのヨーロッパの学者は、この概念は狭義であると考えており、協同組合、相互の社会、近年、「社会的企業」として社会規範も含めるべきだと主張する。

61. 二次大战期间,民生极其困苦。 在这段时期,人们不再谨守一直受人重视的传统道德规范,相反,各人自定行为准则。《

第二次世界大戦という忌まわしい状況の中で,人々は長く続いてきた優先順位の規準を固守するのではなく,独自の行動の規範を取り入れました。「

62. 集团服务范围包括针对各行业顾客或行业特殊要求的审核以及超过100 个国际或国家认可的标准和规范的认证。

グループサービスの領域は、顧客への産業毎あるいは産業固有の要求に基づくアセスメントや、100カ国以上で国際的に承認された国際規格と仕様に基づく認証が含まれている。

63. 2003年10月,诺基亚、摩托罗拉,ProSyst和其他OSGi成员组建了Mobile Expert Group(MEG)为下一代智能手机规范业务平台,做为对MIDP和CDC的补充。

2003年10月、ノキア、モトローラ、ProSyst などのOSGiメンバー企業が新たにモバイル専門グループ(Mobile Expert Group)を結成し、MIDPに基づいた新世代携帯電話向けのサービスプラットフォームの策定を行っている。

64. 西方一句古老的谚语说:“人人都有价可沽。” 这句古语暗示,只要给的钱够多,就连正派的人也会肯做违反道德规范的事。

「金に目がくらむ」と言われるとおり,大金を積まれると,良い人でも品性や道徳性を無視した行動をしてしまう場合があります。

65. 久而久之,这种观念就会在平民百姓心中扎根。 面对仇族,他们就有如脱缰之马,不再受道德规范约束,结果极尽残暴之能事。”

一旦そういうことになると,普通の人たちは,普段そうした恐ろしい行為をとどめている道徳的抑制力から解放される」。

66. 批准的广告素材会被推送到关联的 Campaign Manager 广告客户的广告素材库进行投放管理,除非您使用邮件内容规范用语另作了说明。

承認されたクリエイティブは、メッセージ コードで別途指定した場合を除き、関連付けられたキャンペーン マネージャー広告主のクリエイティブ ライブラリに入稿のためにプッシュされます。

67. 这让我感到惊奇, 因为这些化学污染物,根据我的研究, 我发现他们对哮喘病人的健康 有极其负面的影响 因此应该被列入规范中

これは驚くべきことです 揮発性有機化合物は 喘息患者の肺の健康にとても悪い影響があると 研究を通して分かったからです これは規制してしかるべきです

68. 本项研究在英国一家普通慈善机构中的现有年轻志愿者样本中测验了扩展TBP模型,在此模型中,个人规范和自我认同为认知变量。

本研究では、イギリスの一般的な慈善活動における現代の若いボランティアのサンプルを用いて、認知変数:個人的規範と自己アイデンティティを含む拡張TBPモデルを調査した。

69. 1973年]](昭和48年)12月12日,最高裁判所大法庭作出判决,明确主张“宪法的规定与该法第三章中其他自由权的保障性规定一样,其目的在于保障个人的基本自由和平等免受国家或公共团体的统治行为侵害,均为规范国家或公共团体与个人之间的关系之准则,并非直接规范个人之间的相互关系的规定。

1973年(昭和48年)12月12日、最高裁判所は、大法廷において、「憲法の規定は、同法第三章のその他の自由権的基本権の保障規定と同じく、国または公共団体の統治行動に対して個人の基本的な自由と平等を保障する目的に出たもので、もっぱら国または公共団体と個人との関係を規律するものであり、私人相互の関係を直接規律することを予定するものではない。

70. 我们可能暂时停用您的帐号,让您借此机会全面审查网站所有内容,对违规行为加以修正,并采取适当的保护措施确保将来能够遵守合作规范。

その場合アカウントは一時的に停止されますが、これはポリシーの準拠に向けてコンテンツ全体を見直し、違反を修正し、安全措置を講じていただくためです。

71. 對O型環在低溫下将會失效提出警告的工程師罗杰·博伊斯乔利,辭去了他在莫顿·塞奥科公司的工作,並且成為了工作场所道德规范的一位發言人。

低温がOリングに与える影響について警告した技術者であるロジャー・ボージョレー(英語版)は、サイオコール社を退職し職場倫理について訴える言論人となった。

72. 1943年下半年,负责进行通商贸易船队保护的海上护卫总司令部(日语:海上護衛総司令部)成立,对护航船队的组成以及护航战术的研究正式进入规范化。

1943年(昭和18年)後半になって通商保護を担当する海上護衛総司令部が創設され、護送船団の編成と護衛戦術の研究が本格化した。

73. 2008年4月,法國原子能安全委員會(Autorité de sûreté nucléaire,缩写:ASN)报告说,二次安全壳钢衬里检查的焊缝中有四分之一与规范不符,并且在混凝土基层发现了裂缝。

2008年4月、フランス原子力安全局(ASN)は点検済みの2次格納容器の鋼製ライナーの溶接の4分の1が規範に準拠せず、割れ目がコンクリートの基礎に見つかったと報告した。

74. 局限或许是最不可能 驾驭创造力的方式,但或许是 局限或许是最不可能 驾驭创造力的方式,但或许是 使我们跳脱框架的最佳方法 重新进行规划,挑战既有规范

制約の中では 創造性を 生かすのが難しいかも知れません でもマンネリから抜け出し カテゴリーを再検討し 一般に認められた規範を疑う 最高の方法でしょう

75. ......战乱期间,生命转瞬即逝,世事变幻无常,令人惶恐不安,道德规范也因此被抛诸脑后;许多生活在后方的人,看来跟战场上的人一样,都觉得生命朝不保夕,毫无价值。”

......時を経ずして,戦時の緊迫感と興奮が道徳上の抑制力を弱め,多くの家庭でも命が戦場での命と同じほど価値の低いもの,短くてかまわないものとみなされるようになった」。

76. 亚马逊发展与环境事务委员会声称,要保护亚马逊雨林,就必须“重新确立一套道德规范,人人都晓得团结一致、彼此公平对待。 惟有这样,雨林区的发展才会有所改善”。

アマゾン流域開発環境委員会によれば,アマゾン地方を保護するために必要なのは,ほかならぬ「地球的な規模の新たな倫理観,つまり人間の連帯感と公正に立脚した,進んだ開発方法を生み出す倫理観」なのです。

77. 本篇不仅面向教职工,也面向学者, 这些教职工为非盈利机构的管理编写课程,而这些学者则想要解决社会各层面治理描述性理解方式和规范性理解方式之间存在的差异。

本論文は、社会におけるすべてのレベルでガバナンスを理解するために、非営利団体の管理におけるカリキュラムの構築に関わる構成員と、記述的で標準的なアプローチの介在を打開することに関心を持つ学識者に提案するものである。

78. 然而,中国没有全国监控框架以规范城管职权,也未有统一的城管培训要求或城管行为守则,也未对城管滥权的控诉进行系统监督查处,导致城管管制均为临时性且因地而异。

しかし、“城管”の職務範囲を定めた包括的な国の規制枠組みが存在せず、統一された訓練義務や行動規定もない上に、組織的な管理監督もなく、“城管”が関与した疑いのある人権侵害の捜査も行われていない。 その結果、場当たり的な“城管”の管理と規制しか行われていない。

79. 历史一再证明,“那些相信上帝绝对可靠或坚信自己的行为规范是正确的人较为平衡和快乐,......信仰予人指示,使人有理由作出承担,实行自律,有正当的工作而避免胡作非为。”——2,3段。

「自分たちの神の絶対性あるいは自分たちの持つ特定の行動規準を信じている人は,比較的平衡が取れていて,幸福である[ことを歴史は再三証明してきた]。

80. 我们假定,尽管这五个国家在几个特性上都存在不同,但是学生人口 – 他们非常年轻,教育水平高,并接触过全球观念和规范 – 的环境和慈善事业行为,以及此类行为的决定因素方面彼此相对类似。

5ヶ国はいくつかの特性によって異なると仮定して、若くて教養があり、グローバルなアイデアと規範をもつ学生人口は、そのような行動の環境社会貢献活動の決定要素において比較的類似している。