Isidia
Tìm kiếm
Bí mật
Lời nhắn
Trạng thái vượt quá số lượng tối đa cho phép trả lời
Isidia → bangbang1412
Tính gửi tin nhắn cho em mà trang web bảo em không nhận tin nhắn mới.
16-02-2019 - 04:36
Isidia → bangbang1412
Em ráng học ngoại ngữ, nếu thích skype anh có thể giúp em được gì thì giúp. Lục lọi diễn đàn thấy có các anh Nẫm, Tuấn đều thành danh, thiệt cũng mong em và sư huynh quyết chí Tây du.
30-10-2017 - 10:56
-
bangbang1412
Bây giờ em cũng có đi học thêm Tiếng Anh cho vui, nói chung so với một năm trước mù tịt thì giờ đỡ hơn nhiều rồi. Nếu anh có facebook anh em ta trao đổi tiện hơn.
30-10-2017 - 16:05
Isidia → bangbang1412
Hi em! Sao tự nhiên trình Latex thể hiện của anh có vấn đề vậy?
05-10-2017 - 09:31
Isidia → bangbang1412
Chào bạn! I "Gần đây , ông quan tâm về type-theoritic formalizations" Cụm này theo mình có thể dịch thành: type-theoritic formalizations: ông quan tâm đến "các phương pháp hình thức hóa lý thuyết kiểu". Type theory có nhiều từ đồng nghĩa trong tiếng Việt nếu mình không nhầm. Mình đã từng thấy có người dịch là "lý thuyết kiểu mẫu". Vấn đề này chắc bạn rành hơn mình vì đây là phân nhánh chuyên môn của bạn.
02-10-2017 - 06:05
-
-
-
Isidia
Sent you an email, saw your blog. Pretty impressive, but also quite lopsided.
Hope that doesn't hurt your feeling.
02-10-2017 - 10:18
Isidia
Chào bạn! I "Gần đây , ông quan tâm về type-theoritic formalizations" Cụm này theo mình có thể dịch thành: type-theoritic formalizations: ông quan tâm đến "các phương pháp hình thức hóa lý thuyết kiểu". Type theory có nhiều từ đồng nghĩa trong tiếng Việt nếu mình không nhầm. Mình đã từng thấy có người dịch là "lý thuyết kiểu mẫu". Vấn đề này chắc bạn rành hơn mình vì đây là phân nhánh chuyên môn của bạn.
02-10-2017 - 06:04
