論理プログラミング oor Viëtnamees

論理プログラミング

Vertalings in die woordeboek Japannees - Viëtnamees

lập trình logic

コンピュータプログラミングでの数理論理学の使用

voorbeelde

何世紀にもわたって,数多くの賢明な人々が,論理や理性,科学的な探求や,さらには霊感によって,真理を発見してきました。
Qua nhiều thế kỷ, nhiều người nam và người nữ khôn ngoan---qua tính hợp lý, lý luận, việc tìm hiểu bằng khoa học, và vâng, cả sự soi dẫn nữa---đã khám phá ra lẽ thật.

資料は様々な方法で論理的に配列することができます。
Tài liệu có thể được sắp xếp hợp lý bằng nhiều cách khác nhau.

そして1年以上の計画と 2週間のプログラミング さらに 大食いと徹夜仕事を経て トニーは7年ぶりに絵を描きました
Và sau hơn một năm thiết kế, 2 tuần viết chương trình, những ngày nhịn ăn và những đêm thức trắng, Tony đã vẽ trở lại, lần đầu tiên sau 7 năm.

本体論的証明を信じれば別ですが 良いものでもなく 信じていない方がいいのですが 神は論理のみで存在しないのです
Chúa không tồn tại chỉ bằng logic trừ khi bạn tin vào lý lẽ bản thể luận, và tôi hi vọng bạn không tin, bởi vì nó không phải là một lý lẽ tốt.

再構築機能を持ち プログラミング要素があり 完全に受動的なシステムです
Hệ thống sử dụng khả năng cấu hình và khả năng lập trình để tạo nên một hệ thống bị động hoàn chỉnh.

それで、芸術の授業を受けるようになり 彫刻を作るようになり それが、手を使って非常に正確に作業することと システムを経由したいろいろな種類の論理的なエネルギーの流れを結びつけました
Vì vậy tôi bắt đầu tham dự các khóa học nghệ thuật, và tôi học được cách tạo ra tác phẩm điêu khắc mà cùng mang đến sự say mê khi làm việc chính xác với đôi tay của mình cùng với sự đi lên với nhiều loại dòng năng lượng logic khác nhau qua một hệ thống.

しかし,より重要なこととして,クリスチャンは良い教育を受けることにより,聖書を読んで理解したり,様々な問題を論理的に考えて正しい結論に達したり,聖書の真理を明快かつ説得力のある方法で教えたりすることが,いっそう効果的にできるようになります。
Quan trọng hơn, nhờ có trình độ học vấn, tín đồ Đấng Christ có khả năng đọc và hiểu Kinh Thánh tốt hơn, biết phân tích các vấn đề để đi đến kết luận khôn ngoan, và dạy lẽ thật của Kinh Thánh một cách rõ ràng, đầy sức thuyết phục.

ナウアは ALGOL 60 プログラミング言語の定義に関する貢献に対して2005年のチューリング賞を授与された。
Năm 2005 Naur được giải Turing cho công trình ngôn ngữ lập trình ALGOL 60.

それでも,「イエス 道,真理,命」では,出来事を可能な限り論理的な順で紹介しています。
Nhưng sách Chúa Giê-su—Đường đi, chân lý, sự sống trình bày sự việc theo cách hợp lý và logic.

19,20 (イ)イエスはどんな積極的な方法で論理に訴えましたか。(
19, 20. (a) Chúa Giê-su dùng lý luận theo cách tích cực nào?

情報が論理的に提出されれば,聴く人にとっては,理解しやすく,受け入れやすく,記憶しやすくなる。
Khi bạn trình bày các thông tin theo một trình tự hợp lý, cử tọa sẽ hiểu, chấp nhận, và nhớ dễ dàng hơn.

そこで自律型システムの 研究をしている研究者は 哲学者と協業し 機械に倫理をプログラミングするという 複雑な問題を扱っています このことは 仮定のジレンマでさえも 現実世界との衝突が避けられない 場合もあることを証明しています
Vì thế các nhà nghiên cứu những hệ thống tự động đang hợp tác với các triết gia để xác định vấn đề phức tạp khi chạy chương trình đạo đức cho máy móc, điều đó cho thấy ngay cả những tình thế giả định cũng có thể xuất hiện trong thực tế.

マタイ 22:15‐21)簡潔な論理で十分だったのです。
(Ma-thi-ơ 22:15-21) Lý luận hợp lý, đơn giản đã đủ trả lời câu hỏi.

ルーチン的 ルール適用型 左脳的な仕事 ある種の会計 ある種の財務分析 ある種のプログラミングは 簡単にアウトソースできます 簡単に自動化できます
Việc sử dụng phần não bên trái theo thói quen, cứng nhắc đó, một số loại công việc kế toán, một vài công việc phân tích tài chính, một số công việc lập trình mày tính, đã trở nên khá dễ dàng để gia công ngoài và cũng khá dễ dàng để tự động hóa.

貧弱なコンピュータが数台あるだけだったなら、プログラミングは穏やかな問題になる。
Khi mới xuất hiện một vài chiếc máy tính chức năng kém thì việc lập trình bắt đầu gặp một vài khó khăn nho nhỏ.

このころ登場した一部の言語、特にBASIC(1963年)やLOGO(1967年)は教育向けとされ、コンピュータやプログラミングそのもの教育に使われた。
Một số ngôn ngữ lập trình trong giai đoạn này, đặc biệt BASIC (1963) và LOGO (1967), có thể dạy cho sinh viên và những người mới làm quen với máy tính.

これは、多くのUnix系システムで動作可能な移植性の高いデバッガであり、Ada、C言語、C++、FORTRAN、FreeBASICといったプログラミング言語に対応している。
Nó là một trình gỡ lỗi di động có thể chạy trên nhiều hệ điều hành dạng Unix và có thể dùng cho nhiều ngôn ngữ lập trình như Ada, C, C++, Objective-C, Free Pascal, Fortran, Java...

CA:ビヨルン=ロンボルグの論理に対する答えになると思いますが つまり 彼は CO2の問題にすべての資源をつぎ込んでしまえば 貧困問題やマラリア対策など 他の目標をすべて達成することができなくなる という論理で 他に私たちができることがあるのに この問題にお金を出すのは 馬鹿げた無駄遣いだろうというのです
CA: Và, đó sẽ là câu trả lời của ông đối với những tranh luận Bjorn Lomborg, rằng về cơ bản nếu ông đầu tư tất cả vào năng lượng này để cố gắng giải quyết vấn đề CO2, nó có thể sẽ làm sụp đổ những thành tựu khác của ông trong việc cố gắng để tiến đến một thế giới không nghèo đói, sốt rét, vân vân. Thật là một sự lãng phí ngu ngốc các nguồn tài nguyên của Trái Đất khi vung tiền vào đó khi mà chúng ta có thể làm rất nhiều thứ tốt đẹp hơn.

「いつも物事を論理的に考えるようにしています。 人間の脳についても同じです。
Ông giải thích: “Tôi luôn cố gắng hiểu tính chất hợp lý của mọi thứ, gồm bộ não người.

コンテンツ グループでは、サイトやアプリのコンテンツをお客様の目的に合せた論理構造に分類した後、グループ名ごとに集計した指標を表示して比較でき、さらに掘り下げて個々の URL、ページのタイトル、スクリーン名を確認することもできます。
Tạo nhóm nội dung cho phép bạn nhóm nội dung vào cấu trúc logic phản ánh cách bạn nghĩ về trang web hoặc ứng dụng của mình, rồi xem và so sánh số liệu tổng hợp theo tên nhóm ngoài việc có thể xem chi tiết URL riêng lẻ, tiêu đề trang hoặc tên màn hình.

私の学んできた 数学、科学 そしてプログラミングのすべてが これらの世界とキャラクターを作り出し ストーリーで繋ぎ合わせるのに 使えるという考えは 魔法のように感じられました
Ý tướng mà cả Toán, Khoa Học và Lập Trình mà tôi đã được học tới cùng một lúc để tạo nên những thế giới và nhân vật với những câu chuyên tôi kết nối lại, là sự kì diệu trong tôi.

この時点でまだ行なっていなければ,資料を論理的な順番に配列してください。
Đến đây, hãy sắp xếp tài liệu theo trình tự hợp lý, nếu chưa thực hiện điều này.

TypeScriptはMicrosoft Visual Studio 2013 Update 2以降でfirst-classプログラミング言語として、C# やその他のマイクロソフト言語群とともに含まれるようになった。
TypeScript lần đầu được gắn sẵn như một ngôn ngữ lập trình trong Microsoft Visual Studio 2013 Update 2 và các phiên bản sau đó, cùng C# và các ngôn ngữ khác của Microsoft.

論理 的 に は 彼 を 殺 す 事 が 人道 的 だ
Tớ nghĩ không giết hắn mới là trái đạo đức.

両者は異なるツールキットを採用したことにより異なるプログラミング手法が取られ、さらにドイツの非営利組織であるKDE e.V.(英語版)とアメリカの非営利組織であるGNOME Foundationという異なる2つのグループによって支援された。
Cả hai sử dụng một bộ công cụ cơ bản khác nhau và do đó liên quan đến lập trình khác nhau và được tài trợ bởi hai nhóm khác nhau,, tổ chức phi lợi nhuận tại Đức KDE e.V. và tổ chức phi lợi nhuận tại Mỹ GNOME Foundation.